Christophe Gaston

Sci. Comput. Program., January, 2024

Tooling Offline Runtime Verification against Interaction Models: recognizing sliced behaviors using parameterized simulation.

[BibT_eX]

[DOI]

J. Object Technol., 2024

Finite Automata synthesis from Interactions.

[BibT_eX]

[DOI]

Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024

2023

A Term-based Approach for Generating Finite Automata from Interaction Diagrams.

[BibT_eX]

[DOI]

CoRR, 2023

Interaction-Based Offline Runtime Verification of Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Software Engineering - 10th International Conference, 2023

2022

Editorial.

[BibT_eX]

[DOI]

Nikolai Kosmatov

Softw. Qual. J., 2022

Dealing with observability in interaction-based Offline Runtime Verification of Distributed Systems.

[BibT_eX]

[DOI]

CoRR, 2022

Equivalence of Denotational and Operational Semantics for Interaction Languages.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Software Engineering, 2022

2021

Correction to: PolyGraph: a data flow model with frequency arithmetic.

[BibT_eX]

[DOI]

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

PolyGraph: a data flow model with frequency arithmetic.

[BibT_eX]

[DOI]

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

A structural operational semantics for interactions with a look at loops.

[BibT_eX]

[DOI]

CoRR, 2021

A small-step approach to multi-trace checking against interactions.

[BibT_eX]

[DOI]

Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

2020

Revisiting Semantics of Interactions for Trace Validity Analysis.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2020

2019

Dynamic Reconfigurations in Frequency Constrained Data Flow.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

A Data Flow Model with Frequency Arithmetic.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2019

2018

An end-to-end framework for safe software development.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 2018

2017

Symbolic Execution of Transition Systems with Function Summaries.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 11th International Conference, 2017

Constraint-Based Oracles for Timed Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2017

2016

Timed-Model-Based Method for Security Analysis and Testing of Smart Grid Systems.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Symposium on Real-Time Distributed Computing, 2016

2015

Preface.

[BibT_eX]

[DOI]

Alexander K. Petrenko

Proceedings of the 1st Workshop on Uses of Symbolic Execution, 2015

Model-Based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2015

2014

Designing Sequence Diagram Models for Robustness to Attacks.

[BibT_eX]

[DOI]

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Timed Symbolic Testing Framework for Executable Models Using High-Level Scenarios.

[BibT_eX]

[DOI]

Proceedings of the Complex Systems Design & Management, 2014

Security Weaknesses Detection by Symbolic Analysis of Scenarios.

[BibT_eX]

[DOI]

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013

An Implementation Relation and Test Framework for Timed Distributed Systems.

[BibT_eX]

[DOI]

Robert M. Hierons

Proceedings of the Testing Software and Systems, 2013

Results for Compositional Timed Testing.

[BibT_eX]

[DOI]

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012

Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2012

Incremental Symbolic Conformance Testing from UML MARTE Sequence Diagrams: Railway Use Case.

[BibT_eX]

[DOI]

Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012

Testing of Component-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2011

Timed Conformance Testing for Orchestrated Service Discovery.

[BibT_eX]

[DOI]

Jose Pablo Escobedo

Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

Eliciting Unitary Constraints from Timed Sequence Diagram with Symbolic Techniques: Application to Testing.

[BibT_eX]

[DOI]

Boutheina Bannour

David Servat

Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

2010

Testing Web Service Orchestrators in Context: A Symbolic Approach.

[BibT_eX]

[DOI]

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

2009

Observability and Controllability Issues in Conformance Testing of Web Service Compositions.

[BibT_eX]

[DOI]

Proceedings of the Testing of Software and Communication Systems, 2009

Symbolic Execution Techniques Extended to Systems.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Software Engineering Advances, 2009

2008

Test Purpose Concretization through Symbolic Action Refinement.

[BibT_eX]

[DOI]

Proceedings of the Testing of Software and Communicating Systems, 2008

2007

Symbolic Model Based Testing for Component Oriented Systems.

[BibT_eX]

[DOI]

Alain Faivre

Proceedings of the Testing of Software and Communicating Systems, 2007

2006

Symbolic Execution Techniques for Test Purpose Definition.

[BibT_eX]

[DOI]

Proceedings of the Testing of Communicating Systems, 2006

Automatic Test Generation on a (U)SIM Smart Card.

[BibT_eX]

[DOI]

Proceedings of the Smart Card Research and Advanced Applications, 2006

2005

Report on the 2<sup>nd</sup> Workshop on Model Development and Validation - MoDeVa.

[BibT_eX]

[DOI]

Benoit Baudry

Sudipto Ghosh

Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005

2004

Evaluating Coverage Based Testing.

[BibT_eX]

[DOI]

Dirk Seifert

Proceedings of the Model-Based Testing of Reactive Systems, 2004

2002

Un traitement algébrique de l'interactions de services(?)

[BibT_eX]

[DOI]

PhD thesis, 2002

Feature Logics and Refinement.

[BibT_eX]

[DOI]

Marc Aiguier

Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 2002

2000

Algebraic Treatment of Feature-oriented Systems.

[BibT_eX]

[DOI]

Marc Aiguier