Régis Tissot

According to our database, Régis Tissot authored at least 8 papers between 2008 and 2012.

Collaborative distances:

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

2012

Scenario-based testing using symbolic animation of B models.

Frédéric Dadeau, Kalou Cabrera Castillos, Régis Tissot

Softw. Test. Verification Reliab., 2012

2011

Generating tests from B specifications and dynamic selection criteria.

Jacques Julliand, Pierre-Alain Masson, Régis Tissot, Pierre-Christophe Bué

Formal Aspects Comput., 2011

Test Generation Using Symbolic Animation of Models.

Frédéric Dadeau, Fabien Peureux, Bruno Legeard, Régis Tissot, Jacques Julliand, Pierre-Alain Masson, Fabrice Bouquet

Proceedings of the Model-Based Testing for Embedded Systems, 2011

2009

jSynoPSys - A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines.

Frédéric Dadeau, Régis Tissot

Proceedings of Fifth Workshop on Model Based Testing, 2009

2008

A B Formal Framework for Security Developments in the Domain of Smart Card Applications.

Frédéric Dadeau, Marie-Laure Potet, Régis Tissot

Proceedings of The IFIP TC-11 23rd International Information Security Conference, 2008

Generating Security Tests in Addition to Functional Tests.

Jacques Julliand, Pierre-Alain Masson, Régis Tissot

Proceedings of the 3rd International Workshop on Automation of Software Test, 2008

Generating Tests from B Specifications and Test Purposes.

Jacques Julliand, Pierre-Alain Masson, Régis Tissot

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance.

Frédéric Dadeau, Adrien De Kermadec, Régis Tissot

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008