Generation of test sequences from formal specifications: GSM 11-11 standard case study
Bernard, Eddy, Legeard, Bruno, Luck, Xavier, Peureux, Fabien
Published in Software, practice & experience (01.08.2004)
Published in Software, practice & experience (01.08.2004)
Get full text
Journal Article
Mastering Test Generation from Smart Card Software Formal Models
Bouquet, Fabrice, Legeard, Bruno, Peureux, Fabien, Torreborre, Eric
Published in Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (2005)
Published in Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (2005)
Get full text
Book Chapter
Conference Proceeding
Controlling test case explosion in test generation from B formal models
Legeard, Bruno, Peureux, Fabien, Utting, Mark
Published in Software testing, verification & reliability (01.06.2004)
Published in Software testing, verification & reliability (01.06.2004)
Get full text
Journal Article
Preamble computation in automated test case generation using constraint logic programming
Colin, Séverine, Legeard, Bruno, Peureux, Fabien
Published in Software testing, verification & reliability (01.09.2004)
Published in Software testing, verification & reliability (01.09.2004)
Get full text
Journal Article
Boundary coverage criteria for test generation from formal models
Kosmatov, N., Legeard, B., Peureux, F., Utting, M.
Published in 15th International Symposium on Software Reliability Engineering (2004)
Published in 15th International Symposium on Software Reliability Engineering (2004)
Get full text
Conference Proceeding
Transformation of SysML Structure Diagrams to VHDL-AMS
Bouquet, F., Gauthier, J., Hammad, A., Peureux, F.
Published in 2012 Second Workshop on Design, Control and Software Implementation for Distributed MEMS (01.04.2012)
Published in 2012 Second Workshop on Design, Control and Software Implementation for Distributed MEMS (01.04.2012)
Get full text
Conference Proceeding
Grey-Box Testing and Verification of Java/JML
Dadeau, F., Peureux, F.
Published in 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (01.03.2011)
Published in 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (01.03.2011)
Get full text
Conference Proceeding