Muriel Roger

According to our database, Muriel Roger authored at least 8 papers between 2001 and 2013.

Collaborative distances:

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

2013

Structural Unit Testing as a Service with PathCrawler-online.com.

Nikolai Kosmatov, Nicky Williams, Bernard Botella, Muriel Roger

Proceedings of the Seventh IEEE International Symposium on Service-Oriented System Engineering, 2013

2012

A Lesson on Structural Testing with PathCrawler-online.com.

Nikolai Kosmatov, Nicky Williams, Bernard Botella, Muriel Roger, Omar Chebaro

Proceedings of the Tests and Proofs - 6th International Conference, 2012

2011

Online Test Generation with PathCrawler: Tool Demo.

Nikolai Kosmatov, Bernard Botella, Muriel Roger, Nicky Williams

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

2009

Test Generation Strategies to Measure Worst-Case Execution Time.

Nicky Williams, Muriel Roger

Proceedings of the 4th International Workshop on Automation of Software Test, 2009

Automating Structural Testing of C Programs: Experience with PathCrawler.

Bernard Botella, Mickaël Delahaye, Stéphane Hong Tuan Ha, Nikolai Kosmatov, Patricia Mouy, Muriel Roger, Nicky Williams

Proceedings of the 4th International Workshop on Automation of Software Test, 2009

2005

Abstraction and resolution modulo AC: How to verify Diffie-Hellman-like protocols automatically.

Jean Goubault-Larrecq, Muriel Roger, Kumar Neeraj Verma

J. Log. Algebraic Methods Program., 2005

PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis.

Nicky Williams, Bruno Marre, Patricia Mouy, Muriel Roger

Proceedings of the Dependable Computing, 2005

2001

Log Auditing through Model-Checking.

Muriel Roger, Jean Goubault-Larrecq

Proceedings of the 14th IEEE Computer Security Foundations Workshop (CSFW-14 2001), 2001