Automated Test Case Generation for Embedded Software Using Extended Interface Automata
暂无分享,去创建一个
[1] Thomas A. Henzinger,et al. INTERFACE-BASED DESIGN , 2005 .
[2] I. Cmkovic. Component-based software engineering for embedded systems , 2005, ICSE 2005.
[3] Thomas A. Henzinger,et al. Interface automata , 2001, ESEC/FSE-9.
[4] Nancy A. Lynch,et al. Hybrid I/O automata , 1995, Inf. Comput..
[5] Ivica Crnkovic. Component-based software engineering for embedded systems , 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..
[6] Samir Chouali,et al. Invariant Preservation by Component Composition Using Semantical Interface Automata , 2011, ICSEA 2011.
[7] Jian Zhang,et al. A Constraint Solver and Its Application to Path Feasibility Analysis , 2001, Int. J. Softw. Eng. Knowl. Eng..
[8] Yvan Labiche,et al. A Systematic Review of Model Based Testing Tool Support , 2010 .
[9] Len Bass,et al. Technical Concepts of Component-Based Software Engineering, Volume 2 , 2000 .