Testing Concurrent Object-Oriented Systems with Spec Explorer-Reference-Cited by-同舟云学术

Testing Concurrent Object-Oriented Systems with Spec Explorer

Published:2005 Issue: Volume: Page:542-547
ISSN:0302-9743
Container-title:FM 2005: Formal Methods
language:
Short-container-title:

Author:

Campbell Colin,Grieskamp Wolfgang,Nachmanson Lev,Schulte Wolfram,Tillmann Nikolai,Veanes Margus

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11526841_38.pdf

Reference6 articles.

1. Campbell, C., Veanes, M.: State exploration with multiple state groupings. In: D. Beauquier, E. Börger, and A. Slissenko (ed.) 12th International Workshop on Abstract State Machines, ASM 2005, March 8–11, 2005, Laboratory of Algorithms, Complexity and Logic, University Paris 12 – Val de Marne, Créteil, France, pp. 119–130 (2005)

2. Lecture Notes in Computer Science;L. Alfaro de,2004

3. de Alfaro, L., Henzinger, T.A.: Interface automata. In: Proceedings of the 8th European Software Engineering Conference and the 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), pp. 109–120. ACM, New York (2001)

4. Software Engineering Notes;W. Grieskamp,2002

5. Software Engineering Notes;L. Nachmanson,2004

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

1. Model-Based Test Case Generation Approach for Mobile Applications Load Testing using OCL Enhanced Activity Diagrams;2021 Tenth International Conference on Intelligent Computing and Information Systems (ICICIS);2021-12-05

2. Evaluating the suitability of state-based formal methods for industrial deployment;Software: Practice and Experience;2018-09-13

3. A random testing approach using pushdown automata;Software Testing, Verification and Reliability;2014-05-14

4. Using Formal Specifications to Support Model Based Testing ASDSpec: A Tool Combining the Best of Two Techniques;Electronic Proceedings in Theoretical Computer Science;2014-03-27

5. Model-Based Test Case Generation for Web Applications;Computational Science and Its Applications – ICCSA 2014;2014