TY - JOUR T1 - Incrementally discovering testable specifications from program executions JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) PY - 2010/01/01 AU - Walkinshaw N AU - Derrick J ED - DO - DOI: 10.1007/978-3-642-17071-3_14 VL - 6286 LNCS SP - 272 EP - 289 Y2 - 2025/05/18 ER -