Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Error traces in model-based debugging of hardware description languages., and . AADEBUG, page 43-48. ACM, (2005)Impact analysis of SCRs using single and multi-label machine learning classification., and . ESEM, ACM, (2010)QR-Model Based Testing., , and . AST, page 17-20. ACM, (2008)Ontology-based Testing: An Emerging Paradigm for Modeling and Testing Systems and Software., , and . ICST Workshops, page 14-17. IEEE, (2020)Extending Automated FLTL Test Oracles with Diagnostic Support., and . ISSRE Workshops, page 354-361. IEEE, (2019)Asynchronous Input-Output Conformance Testing., and . COMPSAC (1), page 154-159. IEEE Computer Society, (2009)Efficient Model-Based Diagnosis of Sequential Circuits., , , , and . AAAI, page 2814-2821. AAAI Press, (2020)Spectrum Enhanced Dynamic Slicing for better Fault Localization., and . ECAI, volume 242 of Frontiers in Artificial Intelligence and Applications, page 420-425. IOS Press, (2012)Fault Detection in Multi-Threaded C++ Server Applications., and . TV@FLoC, volume 174 of Electronic Notes in Theoretical Computer Science, page 5-22. Elsevier, (2006)Conversational Recommendations Utilizing Model-based Reasoning., , and . ConfWS, volume 2467 of CEUR Workshop Proceedings, page 13-19. CEUR-WS.org, (2019)