Autor der Publikation

AI for Localizing Faults in Spreadsheets.

, , und . ICTSS, Volume 10533 von Lecture Notes in Computer Science, Seite 71-87. Springer, (2017)

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

From Ontologies to Input Models for Combinatorial Testing., und . ICTSS, Volume 11146 von Lecture Notes in Computer Science, Seite 155-170. Springer, (2018)Security Testing for Chatbots., und . ICTSS, Volume 11146 von Lecture Notes in Computer Science, Seite 33-38. Springer, (2018)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)Evolutionary propositionalization of multi-relational data., und . SEKE, Seite 629-628. KSI Research Inc. and Knowledge Systems Institute Graduate School, (2018)Model-Based Diagnosis or Reasoning from First Principles., und . IEEE Intelligent Systems, 18 (3): 32-37 (2003)Testing TLS using planning-based combinatorial methods and execution framework., , , , , , , und . Software Quality Journal, 27 (2): 703-729 (2019)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)Diagnosis and repair of dependent failures in the control system of a mobile autonomous robot., und . Appl. Intell., 36 (3): 511-528 (2012)Debugging VHDL designs using model-based reasoning.. AI in Engineering, 14 (4): 331-351 (2000)Automated debugging based on a constraint model of the program and a test case., , und . J. Log. Algebr. Program., 81 (4): 390-407 (2012)