Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

FLACK: Localizing Faults in Alloy Models., , , , , , und . ASE, Seite 1218-1222. IEEE, (2021)Boolean expression extender - A mutation operator for strengthening and weakening boolean expressions., und . CLEI, Seite 1-10. IEEE, (2017)Artifact of 'FLACK: Counterexample-Guided Fault Localization for Alloy Models'., , , , , , und . ICSE (Companion Volume), Seite 179-180. IEEE, (2021)ATR: template-based repair for Alloy specifications., , , , , , und . ISSTA, Seite 666-677. ACM, (2022)Artifact of Bounded Exhaustive Search of Alloy Specification Repairs., , , , , , und . ICSE (Companion Volume), Seite 209-210. IEEE, (2021)Stryker: Scaling Specification-Based Program Repair by Pruning Infeasible Mutants with SAT., , , , , , , und . CoRR, (2019)BeAFix: An Automated Repair Tool for Faulty Alloy Models., , , , , , und . ASE, Seite 1213-1217. IEEE, (2021)ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications., , , , , , und . ASE, Seite 55:1-55:13. ACM, (2022)FLACK: Counterexample-Guided Fault Localization for Alloy Models., , , , , , und . ICSE, Seite 637-648. IEEE, (2021)Bounded Exhaustive Search of Alloy Specification Repairs., , , , , , und . ICSE, Seite 1135-1147. IEEE, (2021)