Formal testing for separation assurance

DOI10.1007/s10472-011-9224-3zbMath1242.68066OpenAlexW2153702331MaRDI QIDQ434444

Johann Schumann, Dimitra Giannakopoulou, David H. Bushnell, Heinz Erzberger, Karen Heere

Publication date: 10 July 2012

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-011-9224-3

zbMATH Keywords

verificationclusteringmodel checkingsoftware testingair-traffic controlautomatic test generationseparation assurance

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• CUTE
• mclust
• Korat
• DART
• Pex
• Java PathFinder
• EMMIX
• AutoClass
• STP
• PRMLT

Cites Work

• Unnamed Item
• Unnamed Item
• Symbolic execution and program testing
• AutoBayes: a system for generating data analysis programs from statistical models
• Model-Based Clustering, Discriminant Analysis, and Density Estimation
• Compositional may-must program analysis

This page was built for publication: Formal testing for separation assurance