TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation.

Lina Marsso, Radu Mateescu, Wendelin Serwe

Browse the full TACAS paper archive.