Advancing scientific computation by improving scientific code development: symbolic execution and semantic analysis

Authors:
Mark Stewart
Affiliations:
QSS Group Inc. at NASA Glenn Research Center, Brook Park, Ohio
Venue:
ICCS'05 Proceedings of the 5th international conference on Computational Science - Volume Part I
Year:
2005

Citing 7
Cited 0

Compilers: principles, techniques, and tools

Compilers: principles, techniques, and tools
Symbolic execution systems—a review

Software Engineering Journal
Automated program recognition: a feasibility demonstration

Artificial Intelligence
A memory-based approach to recognizing programming plans

Communications of the ACM
Symbolic execution and program testing

Communications of the ACM
Automated computation and consistency checking of physical dimensions and units in scientific programs

Software—Practice & Experience
Two Program Comprehension Tools for Automatic Parallelization

IEEE Concurrency

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents an implementation of a technique for automated, rigorous scientific program comprehension and error detection. The procedure analyzes fundamental semantic concepts during a symbolic execution of a user's code. Since program execution is symbolic, the analysis is general and can replace many test cases. The prototype of this procedure is demonstrated on two test cases including a 5k line of code (LOC) program. Although this technique promises a powerful tool, several challenges remain.