When model-based testing fails

Bernhard Aichernig, Chris George

Institute of Software Technology (7160)

Research output: Contribution to journal › Article

1 results

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