12 citations · 13 across the 2 of their papers we have counts for
2 papers
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.SE2014★ 12 cited
Verifying Web Applications: From Business Level Specifications to Automated Model-Based Testing
Christian Colombo, Mark Micallef, Mark Scerri
One of reasons preventing a wider uptake of model-based testing in the industry is the difficulty which is encountered by developers when trying to think in terms of properties rat…