Model-based testing in industry: a case study with two MBT tools.

Monalisa Sarma, P. V. R. Murthy, Sylvia Jell, Andreas Ulrich

Browse the full ICSE paper archive.