Qualifying reusable functions using symbolic execution

This publication has 26 references indexed in Scilit:

• Reuse reengineering and validation via concept assignment
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1993
• Software specialization via symbolic execution
  IEEE Transactions on Software Engineering, 1991
• Using function abstraction to understand program behavior
  IEEE Software, 1990
• Reverse engineering and design recovery: a taxonomy
  IEEE Software, 1990
• Symbolic execution systems—a review
  Software Engineering Journal, 1988
• Formal Program Verification Using Symbolic Execution
  IEEE Transactions on Software Engineering, 1982
• The Determination of Loop Invariants for Programs with Arrays
  IEEE Transactions on Software Engineering, 1981
• Logical analysis of programs
  Communications of the ACM, 1976
• A synthesizer of inductive assertions
  IEEE Transactions on Software Engineering, 1975
• An axiomatic basis for computer programming
  Communications of the ACM, 1969