TY  - JOUR 
T1  - FSM-Based Test Case Generation Methods Applied to Test the Communication Software on Board the ITASAT University Satellite: A Case Study
JO  - Journal of Aerospace Technology and Management
A1  - Pinheiro, Arineiza C.
A1  - Simão, Adenilso
A1  - Ambrosio, Ana Maria
SN  - 2175-9146
UL  - 10.5028/jatm.v6i4.369
VL  - 6 
Y1  - 2014
PB  - Brasil 
ER  -