23 citations · 23 across the 2 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…
Four-valued monitorability of -regular languages
Zhe Chen, Yunyun Chen, Robert M. Hierons +1
Runtime Verification (RV) is a lightweight formal technique in which program or system execution is monitored and analyzed, to check whether certain properties are satisfied or vio…
Characterizing Minimal Semantics-preserving Slices of predicate-linear, Free, Liberal Program Schemas
Sebastian Danicic, Robert M Hierons, Michael R Laurence
A program schema defines a class of programs, all of which have identical statement structure, but whose functions and predicates may differ. A schema thus defines an entire class…