4 papers
Detecting Multiple Semantic Concerns in Tangled Code Commits
Beomsu Koh, Neil Walkinshaw, Donghwan Shin
Code commits in a version control system (e.g., Git) should be atomic, i.e., focused on a single goal, such as adding a feature or fixing a bug. In practice, however, developers of…
Using Causal Inference to Test Systems with Hidden and Interacting Variables: An Evaluative Case Study
Michael Foster, Robert M. Hierons, Donghwan Shin +2
Software systems with large parameter spaces, nondeterminism and high computational cost are challenging to test. Recently, software testing techniques based on causal inference ha…
Bounding Random Test Set Size with Computational Learning Theory
Neil Walkinshaw, Michael Foster, Jose Miguel Rojas +1
Random testing approaches work by generating inputs at random, or by selecting inputs randomly from some pre-defined operational profile. One long-standing question that arises in…
Learning EFSM Models with Registers in Guards
Germán Vega, Roland Groz, Catherine Oriat +3
This paper presents an active inference method for Extended Finite State Machines, where inputs and outputs are parametrized, and transitions can be conditioned by guards involving…