hW-inference: A heuristic approach to retrieve models through black box testing-Reference-Cited by-同舟云学术

hW-inference: A heuristic approach to retrieve models through black box testing

Author:

Groz Roland^ORCID,Bremond Nicolas,Simao Adenilso^ORCID,Oriat Catherine

Funder

Fundação de Amparo à Pesquisa do Estado de São Paulo

Agence Nationale de la Recherche

Publisher

Elsevier BV

Subject

Hardware and Architecture,Information Systems,Software

Reference40 articles.

1. Automata learning through counterexample-guided abstraction refinement;Aarts,2012

2. Mining specifications;Ammons,2002

4. Automatic synthesis of behavior protocols for composable web-services;Bertolino,2009

5. Inferring models of concurrent systems from logs of their behavior with CSight;Beschastnikh,2014

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. It's Not a Feature, It's a Bug: Fault-Tolerant Model Mining from Noisy Data;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-02-06

2. Improving Model Learning by Inferring Separating Sequences from Traces;2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW);2023-04

3. Active Inference of EFSMs Without Reset;Formal Methods and Software Engineering;2023

5. AALpy: an active automata learning library;Innovations in Systems and Software Engineering;2022-03-26