Mutation Testing in UTP

Bernhard Aichernig, Jifeng He

Institute of Software Technology (7160)

Research output: Contribution to journal › Article › peer-review

1 results

Active
Formal Methods
Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.
1/01/95 → …
Project: Research area