Test generation through programming in UDITA.

Milos Gligoric Tihomir Gvero Vilas Jagannath Sarfraz Khurshid Viktor Kuncak Darko Marinov

Published in: ICSE (1) (2010)

Keyphrases

test generation
test cases
symbolic execution
programming language
test sequences
mutation testing
design automation
software testing
static analysis
quality assurance
programming course
database
cooperative
feature selection
real world
information systems
code coverage