Symbolic execution systems—a review
Software Engineering Journal
Software Specialization Via Symbolic Execution
IEEE Transactions on Software Engineering
Program Concept Recognition and Transformation
IEEE Transactions on Software Engineering - Special issue on software maintenance
Program understanding and the concept assignment problem
Communications of the ACM
A memory-based approach to recognizing programming plans
Communications of the ACM
Assessing modularization and code scavenging techniques
Journal of Software Maintenance: Research and Practice
Communications of the ACM
Symbolic execution and program testing
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
Reverse Engineering and Design Recovery: A Taxonomy
IEEE Software
Recognizing a Program's Design: A Graph-Parsing Approach
IEEE Software
Effects of Reuse on Quality, Productivity, and Economics
IEEE Software
Understanding C Programs Using the Combined C Graph Representation
ICSM '94 Proceedings of the International Conference on Software Maintenance
Documenting Programs Using a Library of Tree Structured Plans
ICSM '93 Proceedings of the Conference on Software Maintenance
Reuse Reengineering and Validation via Concept Assignment
ICSM '93 Proceedings of the Conference on Software Maintenance
ADI: Automatic Derivation of Invariants
IEEE Transactions on Software Engineering
The Determination of Loop Invariants for Programs with Arrays
IEEE Transactions on Software Engineering
Formal Program Verification Using Symbolic Execution
IEEE Transactions on Software Engineering
Understanding and Documenting Programs
IEEE Transactions on Software Engineering
A Method for Analyzing Loop Programs
IEEE Transactions on Software Engineering
A Unified Symbolic Evaluation Framework for Parallelizing Compilers
IEEE Transactions on Parallel and Distributed Systems
Reducing Parallel Program Simulation Complexity by Static Analysis
The Journal of Supercomputing
Using symbolic execution for verifying safety-critical systems
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
CONSIT: a fully automated conditioned program slicer
Software—Practice & Experience
ConSUS: a light-weight program conditioner
Journal of Systems and Software - Special issue: Software reverse engineering
An empirical study of static program slice size
ACM Transactions on Software Engineering and Methodology (TOSEM)
Empirical study of optimization techniques for massive slicing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Advanced symbolic analysis for compilers: new techniques and algorithms for symbolic program analysis and optimization
A performance simulation technique for distributed programs: application to an SOR iterative solver
EURO-PDP'00 Proceedings of the 8th Euromicro conference on Parallel and distributed processing
Hi-index | 0.00 |
We present an approach to reverse engineering source code modules to abstract their interface and functional specifications. A fine-grained program representation for C programs, the Combined C Graph (CGG), is used to perform dynamic analysis of a module by means of symbolic execution techniques. We focus on problems like pointer variables and expressions containing embedded side-effects and control flows. The role of the user interaction to understand the module behaviour and to deal with invariant assertions is also discussed. The functional specifications are produced in the form of first order logic formulas called preconditions and postconditions.