Der Einfluss künstlicher Intelligenz (KI) auf die Gesellschaft und auch die Software Entwicklung wird kontrovers diskutiert. KI wird immer häufiger in Software Systeme eingebaut und auch in der Software Entwicklung genutzt. Daraus folgt aus Sicht der Software-Qualität die Frage wie die Korrektheit von Software mit eingebauter KI geprüft werden kann und die zweite Frage, wie mit KI entwickelte Software überprüft wird.