@article{article, title = {{Incrementally discovering testable specifications from program executions}}, url = {{}}, year = {{2010}}, month = {{1}}, author = {{Walkinshaw N and Derrick J}}, doi = {{10.1007/978-3-642-17071-3_14}}, volume = {{6286 LNCS}}, journal = {{Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)}}, pages = {{272-289}}, note = {{Accessed on 2025/06/02}}}