Autor der Publikation

From Ontologies to Input Models for Combinatorial Testing.

, und . ICTSS, Volume 11146 von Lecture Notes in Computer Science, Seite 155-170. Springer, (2018)

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

Error traces in model-based debugging of hardware description languages., und . AADEBUG, Seite 43-48. ACM, (2005)Model-Based Diagnosis or Reasoning from First Principles., und . IEEE Intelligent Systems, 18 (3): 32-37 (2003)Impact analysis of SCRs using single and multi-label machine learning classification., und . ESEM, ACM, (2010)The Right Choice Matters! SMT Solving Substantially Improves Model-Based Debugging of Spreadsheets., , , , , , und . QSIC, Seite 139-148. IEEE, (2013)Investigating the Effectiveness of Mutation Testing Tools in the Context of Deep Neural Networks., , und . IWANN (1), Volume 11506 von Lecture Notes in Computer Science, Seite 766-777. Springer, (2019)Using Model-Based Reasoning for Enhanced Chatbot Communication., und . IEA/AIE, Volume 11606 von Lecture Notes in Computer Science, Seite 791-798. Springer, (2019)Real-Time Diagnosis and Repair of Faults of Robot Control Software., , und . RoboCup, Volume 4020 von Lecture Notes in Computer Science, Seite 13-23. Springer, (2005)Using Modelica Programs for Deriving Propositional Horn Clause Abduction Problems., , und . KI, Volume 9904 von Lecture Notes in Computer Science, Seite 185-191. Springer, (2016)Fault Localization Based on Abstract Dependencies., und . IEA/AIE, Volume 3533 von Lecture Notes in Computer Science, Seite 357-359. Springer, (2005)Diagnosing Program Errors with Light-Weighted Specifications., und . IEA/AIE, Volume 4031 von Lecture Notes in Computer Science, Seite 639-649. Springer, (2006)