Model-Based ITest with Communication Sequence Graphs 243
Architecture of Computing Systems (ARCS 2007), Pages: 85–93. Berlin/Offenbach:
VDE Verlag, University of Erlangen-Nuremberg, Erlangen, Germany.
Sen, K. (2007). Concolic testing. Proceedings of the 22nd IEEE/ACM International Con-
ference on Automated Software Engineering (ASE ’07), Pages: 571–572. ACM, New
York, NY.
Zhao, R. and Lin, L. (2006). An UML statechart diagram-based MM-path generation
approach for object-oriented integration testing. International Journal of Applied Math-
ematics and Computer Sciences, Pages: 22–27.