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

Lina Marsso, Radu Mateescu 0001, Wendelin Serwe. TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation. In Dirk Beyer 0001, Marieke Huisman, editors, Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II. Volume 10806 of Lecture Notes in Computer Science, pages 211-228, Springer, 2018. [doi]

Authors

Lina Marsso

This author has not been identified. Look up 'Lina Marsso' in Google

Radu Mateescu 0001

This author has not been identified. Look up 'Radu Mateescu 0001' in Google

Wendelin Serwe

This author has not been identified. Look up 'Wendelin Serwe' in Google