Browsing University of Waterloo by Subject "Bug Detection"
Now showing items 1-2 of 2
-
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 ... -
Software Bug Detection Using the N-gram Language Model
(University of Waterloo, 2015-04-22)Over the years many techniques have been proposed to infer programming rules in order to improve software reliability. The techniques use violations of these programming rules to detect software defects. This thesis ...