Using static analysis to improve automatic test generation

DOI10.1007/3-540-46419-0_17MaRDI QIDQ2729078zbMATH OpenFDO

Authors Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu

Publication date 4 November 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-46419-0_17

zbMATH Keywords

asynchronous systemsbisimulationconformance testingslicingstatic analysis

Mathematics Subject Classification ID

Network protocols (68M12) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 2080069
• scientific article; zbMATH DE number 1951541
• Formal Approaches to Software Testing
• Automated test generation and static analysis
• scientific article; zbMATH DE number 1277118

Cited in

(2)

• scientific article; zbMATH DE number 1277118 (Why is no real title available?)
• scientific article; zbMATH DE number 1929885 (Why is no real title available?)

This page was built for publication: Using static analysis to improve automatic test generation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2729078)