Metamorphic Testing of Logic Theorem Prover

Oliver Tazl, Franz Wotawa

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original languageEnglish
Title of host publicationProceedings of the 33rd IFIP International Conference on Testing Software and Systems
PublisherSpringer
Publication statusPublished - 2021

Fields of Expertise

  • Information, Communication & Computing

Cite this