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. ...
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools. - ksluckow/awesome-symbolic-execution
论文笔记:Symbolic Execution for Software Testing: Three Decades Later 作者 Cristian Cadar 是英国帝国理工学院SRG(Software Reliability Group)小组负责人,斯坦福大学计算机科学博士,KLEE的开创
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...
are difficult to find without executing a piece of code. The importance of such testing — combined with the difficulty and poor performance of random and manual approaches — has led to much recent work in using symbolic execution to automatically generate test inputs . At a high-leve...
Execution-Generated Testing(EGT) EGT 是由 EXE 和 KLEE 实现和扩展的现代符号执行方法,它将程序的实际状态和符号状态进行了区分。EGT 在每次执行前会动态地检查所涉及的值是不是都是实际的值,如果是,则程序按照原样执行,否则,如果至少有一个值是符号值,程序会通过更新当前路径的条件符号化地执行。例如上面的例子...
Symbolic Execution in Software Testing - Learn about symbolic execution, its importance in software testing, and how it helps identify errors by exploring multiple execution paths.
Symbolic execution and program testing Commun. ACM (1976) L.A. Clarke A program testing system D. Kroening et al. Decision Procedures: An Algorithmic Point of View (2008) P. Godefroid et al. DART: directed automated random testing K. Sen et al. CUTE: a concolic unit testing engine for ...
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...
King, “Symbolic Execution and Program Testing,” Commun. ACM, 19(7):385-394, 1976. Lahiri et al., “An Efficient Decision Procedure for UTVPI Constraints,” Technical Report MSR-TR-2005-67, Jun. 15, 2005, 18 pages. Lahiri et al., “An Efficient Nelson-Oppen Decision Procedure for...