Scaling symbolic execution using ranged analysis

JH Siddiqui, S Khurshid - ACM Sigplan Notices, 2012 - dl.acm.org
This paper introduces a novel approach to scale symbolic execution---a program analysis
technique for systematic exploration of bounded execution paths---for test input generation …
被引用次数：76 相关文章

Scaling symbolic execution using ranged analysis

JH Siddiqui, S Khurshid - … of the ACM international conference on Object …, 2012 - dl.acm.org
This paper introduces a novel approach to scale symbolic execution---a program analysis
technique for systematic exploration of bounded execution paths---for test input generation …