Antoine Rollet

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 9

Top Topics

Mutation Testing

Top Venues

Formal Methods Syst. Des.

Math. Struct. Comput. Sci.

Publications

Saumya Shankar, Ankit Pradhan, Srinivas Pinisetty, Antoine Rollet, Yliès Falcone
Bounded-memory runtime enforcement with probabilistic and performance analysis. Formal Methods Syst. Des. 62 (1) (2024)
Maryam Barani, Yvan Labiche, Antoine Rollet
On factors that impact the relationship between code coverage and test suite effectiveness: a survey. ICSTW (2023)
Theo De Castro Pinto, Antoine Rollet, Grégoire Sutre, Ireneusz Tobor
Guiding Symbolic Execution with A-Star. SEFM (2023)
Saumya Shankar, Antoine Rollet, Srinivas Pinisetty, Yliès Falcone
Bounded-Memory Runtime Enforcement. SPIN (2022)
Matthieu Renard, Antoine Rollet, Yliès Falcone
Runtime enforcement of timed properties using games. Formal Aspects Comput. 32 (2-3) (2020)
Matthieu Renard, Yliès Falcone, Antoine Rollet, Thierry Jéron, Hervé Marchand
Optimal enforcement of (timed) properties with uncontrollable events. Math. Struct. Comput. Sci. 29 (1) (2019)
Omer Nguena Timo, Dimitri Prestat, Antoine Rollet
Multiple Mutation Testing for Timed Finite State Machine with Timed Guards and Timeouts. ICTSS (2019)
Matthieu Renard, Antoine Rollet, Yliès Falcone
Runtime enforcement using Büchi games. SPIN (2017)
Matthieu Renard, Antoine Rollet, Yliès Falcone
GREP: Games for the Runtime Enforcement of Properties. ICTSS (2017)
Matthieu Renard, Yliès Falcone, Antoine Rollet, Srinivas Pinisetty, Thierry Jéron, Hervé Marchand
Enforcement of (Timed) Properties with Uncontrollable Events. ICTAC (2015)
Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Nguena-Timo
Runtime enforcement of timed properties revisited. Formal Methods Syst. Des. 45 (3) (2014)
Hélène Collavizza, Nguyen Le Vinh, Olivier Ponsini, Michel Rueher, Antoine Rollet
Constraint-based BMC: a backjumping strategy. Int. J. Softw. Tools Technol. Transf. 16 (1) (2014)
Alexandre David, Kim G. Larsen, Marius Mikucionis, Omer Nguena-Timo, Antoine Rollet
Remote Testing of Timed Specifications. ICTSS (2013)
Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Landry Nguena-Timo
Runtime Enforcement of Timed Properties. RV (2012)
Sébastien Salva, Antoine Rollet
A pragmatic approach for testing stateless and stateful Web Service Robustness. Stud. Inform. Univ. 10 (2) (2012)
Sébastien Salva, Antoine Rollet
Automatic Web Service Testing from WSDL Descriptions. IICS (2011)
Omer Nguena-Timo, Antoine Rollet
Test Selection for Data-Flow Reactive Systems Based on Observations. ICST Workshops (2011)
Fares Saad-Khorchef, Ismail Berrada, Antoine Rollet, Richard Castanet
Automated Robustness Testing for Reactive Systems: Application to Communicating Protocols. IICS (2010)
Hacène Fouchal, Antoine Rollet, Abbas Tarhini
Robustness testing of composed real-time systems. J. Comput. Methods Sci. Eng. 10 (3-6) (2010)
Antoine Rollet, Sébastien Salva
Testing robustness of communicating systems using ioco-based approach. ISCC (2009)
Hacène Fouchal, Antoine Rollet, Abbas Tarhini
Robustness Testing on Composed Timed Systems. SEDE (2009)
Sébastien Salva, Antoine Rollet
Testabilité des services web. Ingénierie des Systèmes d Inf. 13 (3) (2008)
Antoine Rollet, Fares Saad-Khorchef
A Formal Approach to Test the Robustness of Embedded Systems using Behaviour Analysis. SERA (2007)
Fares Saad-Khorchef, Antoine Rollet, Richard Castanet
A framework and a tool for robustness testing of communicating software. SAC (2007)
Hacène Fouchal, Antoine Rollet, Abbas Tarhini
Robustness of Composed Timed Systems. SOFSEM (2005)
Abbas Tarhini, Antoine Rollet, Hacène Fouchal
A pragmatic approach for testing robustness on real-time component based systems. AICCSA (2005)
Hacène Fouchal, Sébastien Gruson, Ludovic Pierre, Cyril Rabat, Antoine Rollet
Integrated Tool for Testing Timed Systems. ISSADS (2005)
Hacène Fouchal, Cyril Rabat, Antoine Rollet, Abbas Tarhini
Experimental Test Generation for Real-Time Systems. IASSE (2004)
Antoine Rollet, Hacène Fouchal
Testing Protocol Robustness. IICS (2003)
Hacène Fouchal, Antoine Rollet
A Simple Testing Technique for Embedded Systems. OPODIS (2003)