Giving a Model-Based Testing Language a Formal Semantics via Partial MAX-SAT

Bernhard Aichernig, Christian Burghard*

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

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

Fingerprint

Untersuchen Sie die Forschungsthemen von „Giving a Model-Based Testing Language a Formal Semantics via Partial MAX-SAT“. Zusammen bilden sie einen einzigartigen Fingerprint.

Computer Science