Adrien De Kermadec

According to our database, Adrien De Kermadec authored at least 4 papers between 2008 and 2010.

Collaborative distances:

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

2010

Building a Test-Ready Abstraction of a Behavioral Model Using CLP.

Pierre-Christophe Bué, Frédéric Dadeau, Adrien De Kermadec, Fabrice Bouquet

Proceedings of the Tests and Proofs - 4th International Conference, 2010

Assessing the Quality of B Models.

Adrien De Kermadec, Frédéric Dadeau, Fabrice Bouquet

Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

2009

Automated UML models merging for web services testing.

Vincent Pretre, Adrien De Kermadec, Fabrice Bouquet, Christophe Lang, Frédéric Dadeau

Int. J. Web Grid Serv., 2009

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