Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems
S Chédor, C Morvan, S Pinchinat… - Discrete Event Dynamic …, 2015 - Springer
The analysis of discrete event systems under partial observation is an important topic, with
major applications such as the detection of information flow and the diagnosis of faulty …
major applications such as the detection of information flow and the diagnosis of faulty …
[PDF][PDF] Conformance checking and pushdown reactive systems
A Bonifacio, A Moura - CLEI electronic journal, 2022 - clei.org
Conformance Checking and Pushdown Reactive Systems Page 1 CLEI electronic journal,
Volume 25, Number 3, Paper 2 , November 2022 Conformance Checking and Pushdown …
Volume 25, Number 3, Paper 2 , November 2022 Conformance Checking and Pushdown …
A systematic mapping study on test generation from input/output transition systems
SLDC Paiva, ADS Simao - 2015 41st Euromicro Conference on …, 2015 - ieeexplore.ieee.org
Context: The construction of complex systems has increased the adoption of technologies
that aim at automating the testing activity. Model-Based Testing (MBT) has emerged as an …
that aim at automating the testing activity. Model-Based Testing (MBT) has emerged as an …
Language-Based Testing for Pushdown Reactive Systems
AL Bonifacio - Brazilian Symposium on Formal Methods, 2023 - Springer
Testing reactive systems is important to guarantee a precise and robust software
development process. Pushdown reactive systems are complex applications where the …
development process. Pushdown reactive systems are complex applications where the …
Analysis of partially observed recursive tile systems
S Chédor, C Morvan, S Pinchinat… - IFAC Proceedings Volumes, 2012 - Elsevier
The analysis of discrete event systems under partial observation is an important topic, with
major applications such as the detection of information flow and the diagnosis of faulty …
major applications such as the detection of information flow and the diagnosis of faulty …
Familles de graphes de présentation finie, propriétés et applications
C Morvan - 2014 - hal.science
Dans ce travail nous présentons une ensemble de travaux sur les systèmes de transitions
infinis de présentation finie. Plus précisément, nous considérons les familles suivantes: les …
infinis de présentation finie. Plus précisément, nous considérons les familles suivantes: les …
Diagnostic, opacité et test de conformité pour des systèmes récursifs
S Chédor - 2014 - theses.hal.science
L'une des façons les plus efficace de s' assurer du bon fonctionnement d'un système
informatique est de les représenter par des modèles mathématiques. De nombreux travaux …
informatique est de les représenter par des modèles mathématiques. De nombreux travaux …
[PDF][PDF] 3.13 Model based conformance testing with ioco/tioco and Symbolic techniques
T Jéron - Symbolic Methods in Testing, 2013 - drops.dagstuhl.de
This talk reviews some of the works of our group related to automatic test generation for
reactive systems in the ioco/tioco testing framework. Starting with the finite state model case …
reactive systems in the ioco/tioco testing framework. Starting with the finite state model case …