Browsing Electrical and Computer Engineering by Subject "Path Pruning"
Now showing items 1-1 of 1
-
DASE: Document-Assisted Symbolic Execution for Improving Automated Test Generation
(University of Waterloo, 2014-06-17)Software testing is crucial for uncovering software defects and ensuring software reliability. Symbolic execution has been utilized for automatic test generation to improve testing effectiveness. However, existing test ...