Automatic Generation of Conformance Tests from Message Sequence Charts-Reference-Cited by-同舟云学术

Automatic Generation of Conformance Tests from Message Sequence Charts

Published:2003 Issue: Volume: Page:170-198
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Baker Paul,Bristow Paul,Jervis Clive,King David,Mitchell Bill

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-36573-7_12

Reference15 articles.

1. R. Alur, G. J. Holzmann, and D. Peled. An analyser for Message Sequence Charts. Software Concepts and Tools, 17(2):70–77, 1996. Information is available from http://cm.bell-labs.com/cm/cs/what/ubet/.

2. AT&T Labs-Research. DOT on-line reference pages. Information is available from http://www.research.att.com/~north/graphviz/.

3. B-novative. daVinci graph visualisation tool. Information is available from http://www.b-novative.com/.

4. P. Baker, C. Jervis, and D. King. An optimised algorithm for test script generation. Patent GB18137.0, 2000.

5. P. Baker, C. Jervis, and W. P. R. Mitchell. Method of generating coordinating messages for distributed test scripts. Patent GB18138.8, 2000.

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. An Automatic Generation Strategy for Test Cases Based on Constraints;Intelligent Computing Theories and Technology;2013

2. From Scenarios to Test Implementations Via Promela;Testing Software and Systems;2010

3. TTCN-3 Based Conformance Testing of Mobile Broadcast Business Management System in 3G Networks;Testing of Software and Communication Systems;2009

4. Implementing MSC Tests with Quiescence Observation;Testing of Software and Communication Systems;2009

5. Lazy buffer semantics for partial order scenarios;Automated Software Engineering;2007-09-08