12 citations · 34 across the 10 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.SE2017★ 1 cited
Exploring the Link Between Test Suite Quality and Automatic Specification Inference
Luke Chircop, Christian Colombo, Mark Micallef
While no one doubts the importance of correct and complete specifications, many industrial systems still do not have formal specifications written out -- and even when they do, it…
cs.LO2017★ 5 cited
Control-Flow Residual Analysis for Symbolic Automata
Shaun Azzopardi, Christian Colombo, Gordon J. Pace
Where full static analysis of systems fails to scale up due to system size, dynamic monitoring has been increasingly used to ensure system correctness. The downside is, however, ru…