Abstractions for Model-Based Testing-Reference-Cited by-同舟云学术

Abstractions for Model-Based Testing

Published:2005-01 Issue: Volume:116 Page:59-71
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Prenninger Wolfgang,Pretschner Alexander

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference13 articles.

1. Formal test automation: A simple experiment;Belinfante,1999

2. D. Brahme, S. Cox, J. Gallo, M. Glasser, W. Grundmann, C. Ip, W. Paulsen, J. Pierce, J. Rose, D. Shea, and K. Whiting. The transaction-based verification methodology. Technical report, Cadence Design Systems, Inc., August 2000

3. F. Brooks. No Silver Bullet. In Proc. 10th IFIP World Computing Conference, pages 1069–1076, 1986

4. D. Clarke, T. Jéron, V. Rusu, and E. Zinovieva. Automated Test and Oracle Generation for Smart-Card Applications. In Proc. E-smart, pages 58–70, 2001

5. J. Dushina, M. Benjamin, and D. Geist. Semi-Formal Test Generation with Genevieve. In Proc. DAC, 2001

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

1. Decomposition-Based Approach for Model-Based Test Generation;IEEE Transactions on Software Engineering;2019-05-01

2. System testing of repository-style software;Proceedings of the 38th International Conference on Software Engineering Companion;2016-05-14

3. Improving model-based test generation by model decomposition;Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering;2015-08-30

4. An Abstraction Technique for Testing Decomposable Systems by Model Checking;Tests and Proofs;2014

5. A Model-Based Certification Framework for the EnergyBus Standard;Formal Techniques for Distributed Objects, Components, and Systems;2014