Nonintrusive Black- and White-Box Testing of Embedded Systems Software against UML Models
暂无分享,去创建一个
[1] Falk Fraikin,et al. SeDiTeC-testing based on sequence diagrams , 2002, Proceedings 17th IEEE International Conference on Automated Software Engineering,.
[2] Johann Schumann. Automatic Debugging Support for UML Designs , 2000, AADEBUG.
[3] Robert B. France,et al. A tool-supported approach to testing UML design models , 2005, 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05).
[4] D. Stott Parker,et al. Saving traces for Ada debugging , 1985, SIGAda '85.
[5] Katharina Mehner. JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs , 2001 .
[6] Klaus D. Müller-Glaser,et al. GeneralStore - a CASE-tool integration platform enabling model level coupling of heterogeneous designs for embedded electronic systems , 2004, Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004..