共 89 条
[1]
Planning S., The economic impacts of inadequate infrastructure for software testing, (2002)
[2]
LaToza TD, Venolia G, DeLine R., Maintaining mental models: A study of developer work habits, Proc. of the 28th Int’l Conf. on Software Engineering, pp. 492-501, (2006)
[3]
IEEE standard glossary of software engineering terminology (IEEE Std 610.12-1990), 169, (1990)
[4]
Adger WN., Vulnerability, Global Environmental Change, 16, 3, pp. 268-281, (2006)
[5]
Coverity: Coverity scan static analysis, (2022)
[6]
KlocWork: Static code analysis for C, C++, C#, and Java, (2022)
[7]
Gao Q, Ma S, Shao S, Et al., CoBOT: Static C/C++ bug detection in the presence of incomplete code, Proc. of the 26th IEEE/ ACM Int’l Conf. on Program Comprehension (ICPC), pp. 385-388, (2018)
[8]
Cadar C, Dunbar D, Engler DR., Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs, OSDI, 8, pp. 209-224, (2008)
[9]
Chipounov V, Kuznetsov V, Candea G., S2E: A platform for in-vivo multi-path analysis of software systems, ACM SIGPLAN Notices, 46, 3, pp. 265-278, (2011)
[10]
Cha SK, Avgerinos T, Rebert A, Et al., Unleashing mayhem on binary code, Proc. of the 2012 IEEE Symp. on Security and Privacy, pp. 380-394, (2012)