Abstract path testing with PathCrawler
Proceedings of the 5th Workshop on Automation of Software Test
S2PF: speculative symbolic PathFinder
ACM SIGSOFT Software Engineering Notes
Hi-index | 0.00 |
Recent advances in path-based test (data) generation open the way to the systematic testing of large scale programs. However, these technologies are still suffering from two major bottlenecks: efficient constraint solving and the path explosion phenomenon. We focus in this paper on the second issue and propose three complementary heuristics geared toward lowering path explosion. All these heuristics areboth easy to implement and lightweight, and each one deals with a distinct source of path explosion. We provide theoretical and experimental evidence that they can achieve a significant reduction in the search space.