相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。A systematic mapping study on the combination of static and dynamic quality assurance techniques
Frank Elberzhager et al.
INFORMATION AND SOFTWARE TECHNOLOGY (2012)
LOCKSMITH: Practical Static Race Detection for C
Polyvios Pratikakis et al.
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS (2011)
OSMOSE: automatic structural testing of executables
Sebastien Bardin et al.
SOFTWARE TESTING VERIFICATION & RELIABILITY (2011)
Proofs from Tests
Nels E. Beckman et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2010)
Automating Structural Testing of C Programs: Experience with PathCrawler
Bernard Botella et al.
2009 ICSE WORKSHOP ON AUTOMATION OF SOFTWARE TEST (2009)
Automating software testing using program analysis
Patrice Godefroid et al.
IEEE SOFTWARE (2008)
Formal verification of a C-like memory model and its uses for verifying program transformations
Xavier Leroy et al.
JOURNAL OF AUTOMATED REASONING (2008)
JCrasher: an automatic robustness tester for Java
C Csallner et al.
SOFTWARE-PRACTICE & EXPERIENCE (2004)