Régis Tissot

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

4 Frédéric Dadeau, Régis Tissot: jSynoPSys - A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines. Electr. Notes Theor. Comput. Sci. 253(2): 117-132 (2009)

2008

3 Jacques Julliand, Pierre-Alain Masson, Régis Tissot: Generating Tests from B Specifications and Test Purposes. ABZ 2008: 139-152

2 Frédéric Dadeau, Adrien De Kermadec, Régis Tissot: Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance. ABZ 2008: 153-166

1 Frédéric Dadeau, Marie-Laure Potet, Régis Tissot: A B Formal Framework for Security Developments in the Domain of Smart Card Applications. SEC 2008: 141-155

	2009
4		Frédéric Dadeau, Régis Tissot: jSynoPSys - A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines. Electr. Notes Theor. Comput. Sci. 253(2): 117-132 (2009)
	2008
3		Jacques Julliand, Pierre-Alain Masson, Régis Tissot: Generating Tests from B Specifications and Test Purposes. ABZ 2008: 139-152
2		Frédéric Dadeau, Adrien De Kermadec, Régis Tissot: Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance. ABZ 2008: 153-166
1		Frédéric Dadeau, Marie-Laure Potet, Régis Tissot: A B Formal Framework for Security Developments in the Domain of Smart Card Applications. SEC 2008: 141-155

Coauthor Index