DOI,IST REx ID,Title of publication
10.1145/1707801.1706330,4364,Counterexample-guided focus