Publications associated to SIMPA¶
JSS 2019¶
hW-inference: a Heuristic Approach to Retrieve Models through Black Box Testing
SIMPA was used in a JSS article to compare hW algorithm to others inference algorithms and to evaluate the gain brought by several heuristics.
The replication package to run the experiments again is available on the
gitlab
on the branch JSS_figures. More informations are available in the
README file .
Although the experiments can be reproduced with the same seeds for all random parts, there is non-determinism in some java classes (iteration over HashMap and HashSet for example) which can produce results slightly different from the data in the article.
AMOST 2019¶
Case studies in learning models and testing without reset
doi : 10.1109/ICSTW.2019.00030
ICGI 2018¶
Using Adaptive Sequences for Learning Non-Resettable FSMs
AST 2018¶
Revisiting AI and Testing Methods to Infer FSM Models of Black-Box Systems
doi : 10.1145/3194733.3194736
ICGI 2016¶
Inferring Non-resettable Mealy Machines with n States
SIMPA is not explicitly mentioned, but it was used in ICGI publication to asses the gain brought by an improvement of the algorithm. http://proceedings.mlr.press/v57/groz16.html
AFADL 2016¶
SIMPA - Simpa Infers Models Pretty Automatically (Outils) (French)
Karim Hossen’s thesis (2014)¶
Inférence automatique de modèles d’applications Web et protocoles pour la détection de vulnérabilités
TEL : tel-01547286