23 citations · 23 across the 3 of their papers we have counts for
3 papers
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…
On the computational complexity of dynamic slicing problems for program schemas
Sebastian Danicic, Robert M. Hierons, Michael R. Laurence
Given a program, a quotient can be obtained from it by deleting zero or more statements. The field of program slicing is concerned with computing a quotient of a program which pres…
Complexity of Data Dependence problems for Program Schemas with Concurrency
Sebastian Danicic, Robert M Hierons, Michael R Laurence
The problem of deciding whether one point in a program is data dependent upon another is fundamental to program analysis and has been widely studied. In this paper we consider this…