56 search results - page 3 / 12 » Character String Predicate Based Automatic Software Test Dat... |
KBSE
2007
IEEE
14 years 21 hour ago
2007
IEEE
We present CESE, a tool that combines exhaustive enumeration of test inputs from a structured domain with symbolic execution driven test generation. We target programs whose valid...
ICSE
2008
IEEE-ACM
14 years 6 months ago
2008
IEEE-ACM
This paper describes Juzi, a tool for automatic repair of complex data structures. Juzi takes a Java class representing the data structure as well as a predicate method that speci...
IIE
2007
13 years 5 months ago
2007
Automatic assessment of programming exercises is typically based on testing approach. Most automatic assessment frameworks execute tests and evaluate test results automatically, bu...
CORR
2011
Springer
13 years 23 days ago
2011
Springer
Software testing is an expensive process, which is vital in the industry. Construction of the test-data in software testing requires the major cost and to decide which method to us...
IUI
2009
ACM
14 years 2 months ago
2009
ACM
The history of songs, to which a person has listened, is a very personal piece of information. It is a rich data set that comes as a byproduct of the use of digital music players ...