Abstracting Path Conditions

Details Abstracting Path Conditions Abstracting Path Conditions

2011-12-23

arxiv.org/abs/1112.5671v1

Computer Science

Symbolic Computation

Scientific paper

We present a symbolic-execution-based algorithm that for a given program and a given program location produces a nontrivial necessary condition on input values to drive the program execution to the given location. We also propose an application of necessary conditions in contemporary bug-finding and test-generation tools. Experimental results show that the presented technique can significantly improve performance of the tools.

Affiliated with

Also associated with

No associations

Rating

Abstracting Path Conditions does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Abstracting Path Conditions, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Abstracting Path Conditions will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-590521