Statistical Model Checking Meets Property-Based Testing

Bernhard K. Aichernig, Richard Alexander Schumi

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

Fingerprint

Untersuchen Sie die Forschungsthemen von „Statistical Model Checking Meets Property-Based Testing“. Zusammen bilden sie einen einzigartigen Fingerprint.

Computer Science