23 citations · 31 across the 9 of their papers we have counts for
9 papers
Causal Software Engineering: A Vision and Roadmap
Roberto Pietrantuono, Luca Giamattei, Stefano Russo +2
Software engineering increasingly involves making high-stakes decisions under uncertainty, using signals from code, field data, and socio-technical processes. Recent AI-driven supp…
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…
Testing Causality in Scientific Modelling Software
Andrew G. Clark, Michael Foster, Benedikt Prifling +4
From simulating galaxy formation to viral transmission in a pandemic, scientific models play a pivotal role in developing scientific theories and supporting government policy decis…
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…
Finding Clustering Configurations to Accurately Infer Packet Structures from Network Data
Othman Esoul, Neil Walkinshaw
Clustering is often used for reverse engineering network protocols from captured network traces. The performance of clustering techniques is often contingent upon the selection of…
Uncertainty-Driven Black-Box Test Data Generation
Neil Walkinshaw, Gordon Fraser
We can never be certain that a software system is correct simply by testing it, but with every additional successful test we become less uncertain about its correctness. In absence…
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…
Mining State-Based Models from Proof Corpora
Thomas Gransden, Neil Walkinshaw, Rajeev Raman
Interactive theorem provers have been used extensively to reason about various software/hardware systems and mathematical theorems. The key challenge when using an interactive prov…