Eddie Jaffuel

According to our database, Eddie Jaffuel authored at least 6 papers between 2005 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2016

Achieving SCA Conformance Testing with Model-Based Testing.

Julien Botella, Jean-Philippe Delahaye, Eddie Jaffuel, Bruno Legeard, Fabien Peureux

J. Signal Process. Syst., 2016

2014

MBT for Global Platform Compliance Testing: Experience Report and Lessons Learned.

Gil Bernabeu, Eddie Jaffuel, Bruno Legeard, Fabien Peureux

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

2007

LEIRIOS Test Generator: Automated Test Generation from B Models.

Eddie Jaffuel, Bruno Legeard

Proceedings of the B 2007: Formal Specification and Development in B, 2007

Using B Machines for Model-Based Testing of Smartcard Software.

Eddie Jaffuel

Proceedings of the B 2007: Formal Specification and Development in B, 2007

Automatic generation of model based tests for a class of security properties.

Pierre-Alain Masson, Jacques Julliand, Jean-Chritophe Plessis, Eddie Jaffuel, Georges Debois

Proceedings of the 3rd Workshop on Advances in Model Based Testing, 2007

2005

Requirements traceability in automated test generation: application to smart card software validation.

Fabrice Bouquet, Eddie Jaffuel, Bruno Legeard, Fabien Peureux, Mark Utting

ACM SIGSOFT Softw. Eng. Notes, 2005