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

Marko Dimjasevic, Dimitra Giannakopoulou

Browse the full ISSTA paper archive.