Now showing items 1-2 of 2
Improving Branch Coverage in RTL Circuits with Signal Domain Analysis and Restrictive Symbolic Execution
(Virginia Tech, 2015-03-18)
Considerable research has been directed towards efficient test stimuli generation for Register Transfer Level (RTL) circuits. However, stimuli generation frameworks are still not capable of generating effective stimuli for ...
Partitioning Strategies to Enhance Symbolic Execution
(Virginia Tech, 2015-08-11)
Software testing is a fundamental part of the software development process. However, testing is still costly and consumes about half of the development cost. The path explosion problem often necessitates one to consider ...