Search for Topics All Reviews
	Browse All Reviews > Software (D) > Software Engineering (D.2) > Testing And Debugging (D.2.5) > Symbolic Execution (D.2.5...)     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending     1-5 of 5 Reviews about "Symbolic Execution (D.2.5...)": Date Reviewed   Dependence guided symbolic execution Wang H., Liu T., Guan X., Shen C., Zheng Q., Yang Z. IEEE Transactions on Software Engineering 43(3): 252-271, 2017.  Type: Article To make the developer’s life easier, many tools have been created for analyzing source code. Such analysis can be used, for example, to detect bugs, to check the coverage of a set of tests, or even to generalize testing by us... Jun 23 2017   Prototyping symbolic execution engines for interpreted languages Bucur S., Kinder J., Candea G.  ASPLOS 2014 (Proceedings of the 19th International Conference on Architectural Support for Programming Languages and Operating Systems, Salt Lake City, UT, Mar 1-5, 2014) 239-254, 2014.  Type: Proceedings While extensive testing is undoubtedly useful, it is also tedious. Automating this task as much as is feasible is an active research area; it has been more successfully applied (until now) to statically typed compiled languages. This w... Apr 9 2014   Static analysis tools as early indicators of pre-release defect density Nagappan N., Ball T.  Software engineering (Proceedings of the 27th International Conference on Software Engineering, St. Louis, MO, USA, May 15-21, 2005) 580-586, 2005.  Type: Proceedings Static analysis tools have been used to detect pre-release defects at Microsoft for six years. More than 12 percent of the pre-release defects fixed in Windows Server 2003 were found with the PREfix and PREfast static analysis tools. T... Feb 10 2006   Symbolic evaluation as a basis for integrated validation Ploedereder E.  Software validation: inspection-testing-verification-alternatives (, Darmstadt, West Germany, 1851984.  Type: Proceedings Symbolic evaluation is a means to perform a global semantic (static and dynamic) program analysis. The author reports on a symbolic evaluator originally developed for the language EL1 and included in the Harvard Program Development Sys... Dec 1 1985   Applications of symbolic evaluation Clarke L., Richardson D. Journal of Systems and Software 5(1): 15-35, 1985.  Type: Article This paper is an excellent survey of the concepts relating to symbolic evaluation (also called symbolic execution or computation). The topics covered include: representation of a program’s computation and domain by symbolic e... Nov 1 1985
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy