The Java2CSP Debugging Tool Utilizing Constraint Solving and Model-Based Diagnosis Principles

Franz Wotawa*, Vlad Andrei Dumitru

*Korrespondierende/r Autor/-in für diese Arbeit

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

Fingerprint

Untersuchen Sie die Forschungsthemen von „The Java2CSP Debugging Tool Utilizing Constraint Solving and Model-Based Diagnosis Principles“. Zusammen bilden sie einen einzigartigen Fingerprint.

Biochemistry, Genetics and Molecular Biology

Computer Science