Minimizing the Size of Path Conditions Using Convex Polyhedra Abstract Domain - researchr publication references

researchr

You are not signed in
Sign in
Sign up

Justin Lloyd, Elena Sherman. Minimizing the Size of Path Conditions Using Convex Polyhedra Abstract Domain. ACM SIGSOFT Software Engineering Notes, 40(1):1-5, 2015. [doi]

No references recorded for this publication.

No citations of this publication recorded.

runs on WebDSL