Using Linear Programming Techniques for Scheduling-Based Random Test-Case Generation.

Amir Nahir Yossi Shiloach Avi Ziv

Published in: Haifa Verification Conference (2006)

Keyphrases

test case generation
linear programming
test cases
software testing
object oriented systems
test suite
dynamic programming
scheduling problem
test data generation
test set
data sets
databases
np hard
data model
database
development process
software maintenance
search algorithm
objective function
database systems