1 Inhalte
Stefan Fischer
- Author
- None
Dr. Stefan Fischer studierte Softwaretechnik und Informatik an der Johannes Kepler Universität Linz. Er arbeitet als Senior Researcher am Software Competence Center Hagenberg, Österreich. Seine Forschungsschwerpunkte sind Testen, Monitoring und Analyse von konfigurierbaren Softwaresystemen und Software-Produktlinien. Seine Forschungsergebnisse bilden die Basis für Test- und Analysewerkzeuge und unterstützen die Entwicklung robuster und sicherer Softwaresysteme.
Alle Artikel von Stefan Fischer
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 ..