Aiding Developer Understanding of Software Changes via Symbolic Execution-based Semantic Differencing
Abstract
References
Recommendations
Runtime exception detection in Java programs using symbolic execution
Most of the runtime failures of a software system can be revealed during test execution only, which has a very high cost. In Java programs, runtime failures are manifested as unhandled runtime exceptions.
In this paper we present an approach and tool ...
Theoretical aspects of compositional symbolic execution
FASE'11/ETAPS'11: Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of softwareGiven a program and an assertion in that program, determining if the assertion can fail is one of the key applications of program analysis. Symbolic execution is a well-known technique for finding such assertion violations that can enjoy the following ...
Equivalence Checking of Code Transformation by Numerical and Symbolic Approaches
Parallel and Distributed Computing, Applications and TechnologiesAbstractDue to the increasing diversity and complexity of high-performance systems, system-specific optimization is vital to extract the system performance. To ensure that optimization does not degrade code readability and maintainability, user-defined ...
Comments
Information & Contributors
Information
Published In
- Co-chairs:
- Ana Paiva,
- Rui Abreu,
- Program Co-chairs:
- Abhik Roychoudhury,
- Margaret Storey
Sponsors
In-Cooperation
- Faculty of Engineering of University of Porto
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Short-paper
Conference
Acceptance Rates
Upcoming Conference
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 45Total Downloads
- Downloads (Last 12 months)45
- Downloads (Last 6 weeks)16
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in