Author:
He Dandan,Wang Lijuan,Liu Ruijie
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Meyer, B.: Applying Design by Contract. IEEE Computer (1992)
2. Lecture Notes in Computer Science;H. Klaeren,2001
3. Hanna, S., Munro, M.: An Approach for Specification-based Test Case Generation for Web Services. In: 2007. IEEE/ACS International Conference on Computer Systems and Applications, pp. 16–23. IEEE Press, Amman (2007)
4. Fraiki, F., Leonhardt, T.: SeDiTeC-testing based on sequence diagrams. In: 17th IEEE International Conference on Automated Software Engineering, pp. 261–266. IEEE Press (2002)
5. Tsiolakis, A.: Semantic Analysis and Consistency Checking of UML Sequence Diagrams, Diplomm’beit, TU-Berlin (2001)