TESTOR (On-the-fly Conformance Test Case Generation)

• Download TESTOR 3.4 (February 2021)

Publications

• Automated Transition Coverage in Behavioural Conformance Testing
  Lina Marsso, Radu Mateescu, and Wendelin Serwe
  Proceedings of the 32nd IFIP International Conference on Testing Software and Systems (ICTSS'2020), Napoli, Italy, December 9-11, 2020.
  

  Full text:



• On Model-based Testing of GALS Systems
  

  funded by Région Auvergne-Rhône-Alpes

  Lina Marsso
  PhD Thesis, Université Grenoble Alpes, December 2019.
  

  Full text:



• Asynchronous Testing of Synchronous Components in GALS Systems
  

  funded by Région Auvergne-Rhône-Alpes

  Lina Marsso, Radu Mateescu, Ioannis Parissis, and Wendelin Serwe
  Proceedings of the 15th International Conference on Integrated Formal Methods (IFM'2019), Bergen, Norway, December 2-6, 2019.
  

  Full text:

  Slides:



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

  funded by Région Auvergne-Rhône-Alpes

  Lina Marsso, Radu Mateescu, and Wendelin Serwe
  Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'2018 (Thessaloniki, Greece), April 14-20, 2018.
  

  Full text:

  Slides:



• A Formal TLS Handshake Model in LNT
  

  funded by Région Auvergne-Rhône-Alpes

  Josip Bozic, Lina Marsso, Radu Mateescu, and Franz Wotawa
  Proceedings of the 3rd Workshop on Models for Formal Analysis of Real Systems and the 6th International Workshop on Verification and Program Transformation MARS/VPT'2018 (Thessaloniki, Greece), April 20, 2018.
  

  Full text:

  Slides: