Media type: E-Article Title: Counterexample classification Contributor: Vick, Cole; Kang, Eunsuk; Tripakis, Stavros Published: Springer Science and Business Media LLC, 2024 Published in: Software and Systems Modeling, 23 (2024) 2, Seite 455-472 Language: English DOI: 10.1007/s10270-023-01118-0 ISSN: 1619-1374; 1619-1366 Origination: Footnote: