C O N V E C S
Construction of Verified Concurrent Systems
Logo Inria Logo LIG Logo Grenoble INP Logo CNRS Logo UJF
 

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

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: Logo PDF

  • On Model-based Testing of GALS Systems
    funded by Région Auvergne-Rhône-Alpes  Logo Auvergne-Rhone-Alpes
    Lina Marsso
    PhD Thesis, Université Grenoble Alpes, December 2019.
    Full text: Logo PDF

  • Asynchronous Testing of Synchronous Components in GALS Systems
    funded by Région Auvergne-Rhône-Alpes  Logo Auvergne-Rhone-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: Logo PDF      Slides: Logo PDF

  • TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation
    funded by Région Auvergne-Rhône-Alpes  Logo Auvergne-Rhone-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: Logo PDF      Slides: Logo PDF

  • A Formal TLS Handshake Model in LNT
    funded by Région Auvergne-Rhône-Alpes  Logo Auvergne-Rhone-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: Logo PDF      Slides: Logo PDF
 
Last modified: 2021/03/08 19:26:12.