Metamorphic Testing of Logic Theorem Prover

Oliver Tazl, Franz Wotawa

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalspracheenglisch
TitelProceedings of the 33rd IFIP International Conference on Testing Software and Systems
Herausgeber (Verlag)Springer
PublikationsstatusVeröffentlicht - 2021

Fields of Expertise

  • Information, Communication & Computing

Dieses zitieren