Computer science Improving program testing and understanding via symbolic execution UNIVERSITY OF MARYLANDCOLLEGE PARK Jeffrey S. FosterMichael Hicks MaKin KeungSymbolic execution is an automated technique for program testing that has recently become practical, thanks to advances in constraint solvers. ...
Symbolic Execution and Program Testing, James C. King. A system to generate test data and symbolically execute programs, L. A. Clarke. All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask), Edward J. Schwartz, Thanassis ...
论文笔记:Symbolic Execution for Software Testing: Three Decades Later 作者 Cristian Cadar 是英国帝国理工学院SRG(Software Reliability Group)小组负责人,斯坦福大学计算机科学博士,KLEE的开创
A Survey of New Trends in Symbolic Execution for Software Testing and Analysis new applications, such as predictive testing, invariant inference, program repair, analysis of parallel numerical programs and differential symbolic execution.doi...
werefer the reader to previously published surveys in the area,such as [11, 19, 32, 34].[Copyright notice will appear here once ’preprint’ option is removed.]A key goal of symbolic execution in the context of soft-ware testing is to explore as many different program pathsas possible in...
We present results for the "Impact Project Focus Area" on the topic of symbolic execution as used in software testing. Symbolic execution is a program analysis technique introduced in the 70s that has received renewed interest in recent years, due to algorithmic advances and increased availability ...
Grechanik, M., Xie, Q., Fu, C.: Maintaining and Evolving GUI-Directed Test Scripts. In: ICSE (2009) Google Scholar King, J.: Symbolic Execution and Program Testing. Communications of the ACM (1976) Google Scholar Lori, C.: A System to Generate Test Data and Symbolically Execute Progra...
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2019, 774–784 (2019) Google Scholar King James, C.: Symbolic execution and program testing. Communications of ACM 19(7), 385–39 (1976) ...
SELECTa formal system for testing and debugging programs by symbolic execution SELECT is an experimental system for assisting in the formal systematic debugging of programs. It is intended to be a compromise between an automated progr... RS Boyer,B Elspas,KN Levitt - 《Acm Sigplan Notices》 被...
King, J.C.: Symbolic execution and program testing. Commun. ACM 19(7), 385–394 (1976) Article MATH Google Scholar Sen, K., Marinov, D., Agha, G.: CUTE: A concolic unit testing engine for C. In: ESEC/FSE, pp. 263–272. ACM (2005) Google Scholar Slaby, J., Strejček,...