Embedded Software System Testing

Bibliography

• ADS2: Avionics Development System 2nd Generation. www.techsat.com.
• Amalfitano D., Fasolino A. R., Tramontana P., Ta B.D., Memon A.M., MobiGUITAR - A tool for automated model-based testing of mobile apps. IEEE Software, 2014, 32(5):53–59.
• Amnell T., David A., Fersman E., Moller M.O., Pettersson P., Yi W. Tools for Real-Time UML: Formal Verification and Code Synthesis. In Proceedings of the SIVOES Workshop, part of the ECOOP 2001, Budapest, Hungary, June 18-22, 2001. Springer.
• Anand S., Naik M., Harrold M.J., Yang H. Automated concolic testing of smartphone apps, In Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering (FSE2012), New York: ACM, 2012, pp. 59:1-59:11.
• Android Instrumentation. ...