Partitioning Strategies to Enhance Symbolic Execution
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 an extremely large number of paths in order to reach a specific target. Symbolic...
Main Author: | |
---|---|
Other Authors: | |
Format: | Others |
Published: |
Virginia Tech
2017
|
Subjects: | |
Online Access: | http://hdl.handle.net/10919/74883 |