Yun-wei Dong, Geng Wang, Hong-bing Zhao. A Model-Based Testing for AADL Model of Embedded Software. In Byoungju Choi, editor, Proceedings of the Ninth International Conference on Quality Software, QSIC 2009, Jeju, Korea, August 24-25, 2009. pages 185-190, IEEE Computer Society, 2009. [doi]
Abstract is missing.