From Faults Via Test Purposes to Test Cases: On the Fault-Based Testing of Concurrent Systems-Reference-Cited by-同舟云学术

From Faults Via Test Purposes to Test Cases: On the Fault-Based Testing of Concurrent Systems

Published:2006 Issue: Volume: Page:324-338
ISSN:0302-9743
Container-title:Fundamental Approaches to Software Engineering
language:
Short-container-title:

Author:

Aichernig Bernhard K.,Delgado Carlo Corrales

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11693017_24

Reference30 articles.

1. Lecture Notes in Computer Science;M.C. Gaudel,1995

2. Lecture Notes in Computer Science;T. Jéron,1999

3. Fernandez, J.C., Garavel, H., Kerbrat, A., Mounier, L., Mateescu, R., Sighireanu, M.: CADP: a protocol validation and verification toolbox. In: Alur, R., Henzinger, T.A. (eds.) Proceedings of the Eighth International Conference on Computer Aided Verification CAV, vol. 1102, pp. 437–440. Springer, Heidelberg (1996)

4. Tretmans, J.: Test Generation with inputs, outputs and repetitive quiescence. Software: Concepts and Tools 17, 103–120 (1996)

5. ISO: ISO/IEC 9646-3: Information technology - OSI - Conformance testing methodology and framework - Part 3: The Tree and Tabular Combined Notation (TTCN). Technical report, iso.ch (1998)

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

1. A Testing Perspective on Algebraic, Denotational, and Operational Semantics;Unifying Theories of Programming;2019

2. Generation of complete test suites from mealy input/output transition systems;Formal Aspects of Computing;2016-03

3. A systematic review of approaches for testing concurrent programs;Concurrency and Computation: Practice and Experience;2015-12-10

4. Model-Based Mutation Testing of Reactive Systems;Theories of Programming and Formal Methods;2013

5. The Science of Killing Bugs in a Black Box;Programming Languages;2012