23 citations · 26 across the 3 of their papers we have counts for
4 papers
Active Inference of Extended Finite State Machine Models with Registers and Guards
Roland Groz, German Eduardo Vega Baez, Adenilso Simao +3
Extended finite state machines (EFSMs) model stateful systems with internal data variables and have numerous applications in software engineering. A major advantage of this type of…
Test case generation for agent-based models: A systematic literature review
Andrew G. Clark, Neil Walkinshaw, Robert M. Hierons
Agent-based models play an important role in simulating complex emergent phenomena and supporting critical decisions. In this context, a software fault may result in poorly informe…
Deep State Inference: Toward Behavioral Model Inference of Black-box Software Systems
Foozhan Ataiefard, Mohammad Jafar Mashhadi, Hadi Hemmati +1
Many software engineering tasks, such as testing, and anomaly detection can benefit from the ability to infer a behavioral model of the software.Most existing inference approaches…
SEPIA: Search for Proofs Using Inferred Automata
Thomas Gransden, Neil Walkinshaw, Rajeev Raman
This paper describes SEPIA, a tool for automated proof generation in Coq. SEPIA combines model inference with interactive theorem proving. Existing proof corpora are modelled using…