Improving constraint-based test input generation using Korat
Korat is an existing technique for test input generation using imperative constraints that describe properties of desired inputs written as Java predicates, termed RepOk methods, which are executable checks for those properties. Korat efficiently prunes the space of candidate inputs for the RepOk me...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | en |
| Published: |
2015
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/2152/30200 |