Automated Black-Box Testing with Abstract VDM Oracle-Reference-Cited by-同舟云学术

Automated Black-Box Testing with Abstract VDM Oracle

Published:1999 Issue: Volume: Page:250-259
ISSN:0302-9743
Container-title:Computer Safety, Reliability and Security
language:
Short-container-title:

Author:

Aichernig Bernhard K.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-48249-0_22

Reference28 articles.

1. J.-R. Abrial. The B-Book, Assigning programs to meanings. Cambridge University Press, 1996. ISBN 0521 49619 5(hardback).

2. Lionel Van Aertryck. Une méthode et un outil pour l’aide à la génération de jeux de tests de logiciels. PhD thesis, Université de Rennes, January 1998.

3. Sten Agerholm, Pierre-Jean Lecoeur, and Etienne Reichert. Formal specification and validation at work: A case study using VDM-SL. In Proceedings of Second Workshop on Formal Methods in Software Practice, Florida, Marts. ACM, 1998.

4. Bernhard K. Aichernig. Automated requirements testing with abstract oracles. In ISSRE’98: The Ninth International Symposium on Software Reliability Engineering, Paderborn, Germany, pages 21–22, IBM Thomas J. Watson Research Center, P.O.Box 218, Route 134, Yorktown Heights, NY, USA, November 1998. Ram Chillarege. ISBN 3-00-003410-2.

5. Lect Notes Comput Sci;B. K. Aichernig,1997

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

1. Test oracles for simulink-like models;Automated Software Engineering;2016-11-01

2. Analysis of VDM++ in Regression Test Suite;Handbook of Research on Trends and Future Directions in Big Data and Web Intelligence;2015

3. A safe regression testing approach for safety critical systems;Advances in Engineering Software;2011-08

4. Tools and Techniques for Model Based Testing;Handbook of Research on Software Engineering and Productivity Technologies;2010

5. Filtering TOBIAS Combinatorial Test Suites;Fundamental Approaches to Software Engineering;2004