TY  - RPRT
TI  - Model Generation to Support Model-Based Testing Applied on NASA DAT - An Experience Report
AU  - Schulze, Christoph
AU  - Lindvall, Mikael
AU  - Bjorgvinsson, Sigurthor
AU  - Wiegand, Robert E.
PY  - 2015
UR  - https://ntrs.nasa.gov/citations/20180004562
ID  - 20180004562
ER  -