Test-case generation for runtime analysis and vice versa: verification of aircraft separation assurance.

Marko Dimjasevic Dimitra Giannakopoulou

Published in: ISSTA (2015)

Keyphrases

test case generation
information systems
database
machine learning
artificial intelligence
search algorithm
test cases