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. doi : `10.1016/j.jss.2019.110426 `_ 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** http://proceedings.mlr.press/v93/groz19a.html 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) `AFADL 2016 `_ (http://hal.univ-grenoble-alpes.fr/hal-01415892) 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 `_ WCRE 2014 ********* **Model Inference and Security Testing in the SPaCIoS Project** HAL : `hal-00976110 `_