2009/01/01 by Jun Sun, Yang Liu, Abhik Roychoudhury +2 · 1 citation
Computer Science · #Advanced Software Engineering Methodologies #Formal Methods in Verification #Software Testing and Debugging Techniques
paper · doi:10.1007/978-3-642-05089-3_9
crossref issued 2009/01/01 · crossref published 2009/01/01 · crossref published-print 2009/01/01 · openalex publication_date 2009/01/01 · crossref created 2009/11/03 · crossref deposited 2020/11/24 · crossref indexed 2024/09/15 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/04