Sign in
Korat: A Tool for Generating Structurally Complex Test Inputs.
Aleksandar Milicevic
Sasa Misailovic
Darko Marinov
Sarfraz Khurshid
Published in:
ICSE (2007)
Keyphrases
</>
machine learning
complex systems
search algorithm
generation process
databases
real world
website
three dimensional
high level
optimal solution
video sequences
higher level
complex data
statistical tests