Muriel Roger

Publication Activity (10 Years)

Years Active: 2001-2013
Publications (10 Years): 0

Top Topics

Online Learning

Structural Information

Top Venues

Publications

Nikolai Kosmatov, Nicky Williams, Bernard Botella, Muriel Roger
Structural Unit Testing as a Service with PathCrawler-online.com. SOSE (2013)
Nikolai Kosmatov, Nicky Williams, Bernard Botella, Muriel Roger, Omar Chebaro
A Lesson on Structural Testing with PathCrawler-online.com. TAP@TOOLS (2012)
Nikolai Kosmatov, Bernard Botella, Muriel Roger, Nicky Williams
Online Test Generation with PathCrawler: Tool Demo. ICST Workshops (2011)
Bernard Botella, Mickaël Delahaye, Stéphane Hong Tuan Ha, Nikolai Kosmatov, Patricia Mouy, Muriel Roger, Nicky Williams
Automating Structural Testing of C Programs: Experience with PathCrawler. AST (2009)
Nicky Williams, Muriel Roger
Test Generation Strategies to Measure Worst-Case Execution Time. AST (2009)
Jean Goubault-Larrecq, Muriel Roger, Kumar Neeraj Verma
Abstraction and resolution modulo AC: How to verify Diffie-Hellman-like protocols automatically. J. Log. Algebraic Methods Program. 64 (2) (2005)
Nicky Williams, Bruno Marre, Patricia Mouy, Muriel Roger
PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis. EDCC (2005)
Muriel Roger, Jean Goubault-Larrecq
Log Auditing through Model-Checking. CSFW (2001)