Antoine Rollet

According to our database, Antoine Rollet authored at least 31 papers between 2003 and 2023.

Collaborative distances:

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

2023

Guiding Symbolic Execution with A-Star.

Theo De Castro Pinto, Antoine Rollet, Grégoire Sutre, Ireneusz Tobor

Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023

On factors that impact the relationship between code coverage and test suite effectiveness: a survey.

Maryam Barani, Yvan Labiche, Antoine Rollet

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023

2022

Bounded-Memory Runtime Enforcement.

Saumya Shankar, Antoine Rollet, Srinivas Pinisetty, Yliès Falcone

Proceedings of the Model Checking Software - 28th International Symposium, 2022

2020

Runtime enforcement of timed properties using games.

Matthieu Renard, Antoine Rollet, Yliès Falcone

Formal Aspects Comput., 2020

2019

Optimal enforcement of (timed) properties with uncontrollable events.

Matthieu Renard, Yliès Falcone, Antoine Rollet, Thierry Jéron, Hervé Marchand

Math. Struct. Comput. Sci., 2019

Multiple Mutation Testing for Timed Finite State Machine with Timed Guards and Timeouts.

Omer Nguena Timo, Dimitri Prestat, Antoine Rollet

Proceedings of the Testing Software and Systems, 2019

2018

Runtime Failure Prevention and Reaction.

Yliès Falcone, Leonardo Mariani, Antoine Rollet, Saikat Saha

Proceedings of the Lectures on Runtime Verification - Introductory and Advanced Topics, 2018

Voyage (dans le temps) autour de la vérification, du test, et au delà. ((Time) travel across verification, testing, and beyond).

Antoine Rollet

, 2018

2017

Runtime enforcement using Büchi games.

Matthieu Renard, Antoine Rollet, Yliès Falcone

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

GREP: Games for the Runtime Enforcement of Properties.

Matthieu Renard, Antoine Rollet, Yliès Falcone

Proceedings of the Testing Software and Systems, 2017

2015

Enforcement of (Timed) Properties with Uncontrollable Events.

Matthieu Renard, Yliès Falcone, Antoine Rollet, Srinivas Pinisetty, Thierry Jéron, Hervé Marchand

Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

2014

Constraint-based BMC: a backjumping strategy.

Hélène Collavizza, Nguyen Le Vinh, Olivier Ponsini, Michel Rueher, Antoine Rollet

Int. J. Softw. Tools Technol. Transf., 2014

Runtime enforcement of timed properties revisited.

Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Nguena-Timo

Formal Methods Syst. Des., 2014

2013

Remote Testing of Timed Specifications.

Alexandre David, Kim G. Larsen, Marius Mikucionis, Omer Nguena-Timo, Antoine Rollet

Proceedings of the Testing Software and Systems, 2013

2012

A pragmatic approach for testing stateless and stateful Web Service Robustness.

Sébastien Salva, Antoine Rollet

Stud. Inform. Univ., 2012

Runtime Enforcement of Timed Properties.

Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Landry Nguena-Timo

Proceedings of the Runtime Verification, Third International Conference, 2012

2011

Automatic Web Service Testing from WSDL Descriptions.

Sébastien Salva, Antoine Rollet

Proceedings of the 11th International Conference on Innovative Internet Community Services (I²CS 2011), 2011

Test Selection for Data-Flow Reactive Systems Based on Observations.

Omer Nguena-Timo, Antoine Rollet

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

2010

Robustness testing of composed real-time systems.

Hacène Fouchal, Antoine Rollet, Abbas Tarhini

J. Comput. Methods Sci. Eng., 2010

Automated Robustness Testing for Reactive Systems: Application to Communicating Protocols.

Fares Saad-Khorchef, Ismail Berrada, Antoine Rollet, Richard Castanet

Proceedings of the 10th International Conference on Innovative Internet Community Services (I²CS), 2010

2009

Robustness Testing on Composed Timed Systems.

Hacène Fouchal, Antoine Rollet, Abbas Tarhini

Proceedings of the 18th International Conference on Software Engineering and Data Engineering (SEDE-2009), 2009

Testing robustness of communicating systems using ioco-based approach.

Antoine Rollet, Sébastien Salva

Proceedings of the 14th IEEE Symposium on Computers and Communications (ISCC 2009), 2009

2008

Testabilité des services web.

Sébastien Salva, Antoine Rollet

Ingénierie des Systèmes d Inf., 2008

2007

A Formal Approach to Test the Robustness of Embedded Systems using Behaviour Analysis.

Antoine Rollet, Fares Saad-Khorchef

Proceedings of the 5th ACIS International Conference on Software Engineering Research, 2007

A framework and a tool for robustness testing of communicating software.

Fares Saad-Khorchef, Antoine Rollet, Richard Castanet

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

2005

Robustness of Composed Timed Systems.

Hacène Fouchal, Antoine Rollet, Abbas Tarhini

Proceedings of the SOFSEM 2005: Theory and Practice of Computer Science, 2005

Integrated Tool for Testing Timed Systems.

Hacène Fouchal, Sébastien Gruson, Ludovic Pierre, Cyril Rabat, Antoine Rollet

Proceedings of the Advanced Distributed Systems: 5th International School and Symposium, 2005

A pragmatic approach for testing robustness on real-time component based systems.

Abbas Tarhini, Antoine Rollet, Hacène Fouchal

Proceedings of the 2005 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2005), 2005

2004

Experimental Test Generation for Real-Time Systems.

Hacène Fouchal, Cyril Rabat, Antoine Rollet, Abbas Tarhini

Proceedings of the ISCA 13th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2004

2003

A Simple Testing Technique for Embedded Systems.

Hacène Fouchal, Antoine Rollet

Proceedings of the Principles of Distributed Systems, 7th International Conference, 2003

Testing Protocol Robustness.

Antoine Rollet, Hacène Fouchal

Proceedings of the Innovative Internet Community Systems, Third International Workshop, 2003