Symbolic string execution
Thesis (MSc)--Stellenbosch University, 2012. === ENGLISH ABSTRACT: Symbolic execution is a well-established technique for automated test generation and for nding errors in complex code. Most of the focus has however been on programs that manipulate integers, booleans, and even, references in obj...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | en_ZA |
| Published: |
Stellenbosch : Stellenbosch University
2012
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10019.1/20335 |