Model-Based Testing and Some Steps towards Test-Based Modelling-Reference-Cited by-同舟云学术

Model-Based Testing and Some Steps towards Test-Based Modelling

Published:2011 Issue: Volume: Page:297-326
ISSN:0302-9743
Container-title:Formal Methods for Eternal Networked Software Systems
language:
Short-container-title:

Author:

Tretmans Jan

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-21455-4_9

Reference50 articles.

1. Aarts, F.: Inference and Abstraction of Communication Protocols. Master’s thesis, Institute for Computing and Information Sciences, Radboud University, and Uppsala University, Nijmegen, The Netherlands, and Uppsala, Sweden (2009)

2. Lecture Notes in Computer Science;F. Aarts,2010

3. Lecture Notes in Computer Science;F. Aarts,2010

4. Angluin, D.: Learning Regular Sets from Queries and Counterexamples. Information and Computation 75(2), 87–106 (1987)

5. Lecture Notes in Computer Science;A. Belinfante,2010

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

1. Extracting Temporal Models from Data Episodes;2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS);2022-12

2. Property-Based Testing: Climbing the Stairway to Verification;Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering;2022-11-29

3. Implications of Deductive Verification on Research Quality;The Logic of Software. A Tasting Menu of Formal Methods;2022

4. A linear-time branching-time perspective on interface automata;Acta Informatica;2020-05-06

5. Model-based fault injection for testing gray-box systems;Journal of Logical and Algebraic Methods in Programming;2019-02