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…