Tests automatisch generieren und damit Fehler in der Software finden? Symbolische Ausführung machts möglich. Symbolische Ausführung ist in der Forschung zwar seit Langem bekannt, aber erst die Innovationen moderner Constraint-Solver, neue Suchalgorithmen und die breite Verfügbarkeit von Rechenleistung haben dem Ansatz zum Durchbruch in der Praxis verholfen. Testwerkzeuge auf Basis dieses Ansatzes ..

Für das Training von KI-Modellen sind sehr viele hochwertige Daten notwendig. So können etwa Verkehrskameras riesige Mengen an Bildern für Mautanwendungen sammeln; es ist jedoch teuer sowie zeitaufwendig und es erfordert besondere Fähigkeiten, diese zu annotieren. Auf der anderen Seite haben es Menschen im Autismusspektrum oft schwer, eine erfüllende Arbeit zu finden, die von ihren Fähigkeiten pro..