Test case preparation using a prototype-Reference-Cited by-同舟云学术

Test case preparation using a prototype

Published:1998 Issue: Volume: Page:293-311
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Treharne H.,Draper J.,Schneider S.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0053368

Reference16 articles.

1. Abrial J. R.: The B Book: Assigning Programs to Meaning, Cambridge University Press (1996).

2. B-Core(UK): B-Toolkit Version 4 Beta Release, Magdalen Centre, The Oxford Science Park, UK (1997).

3. B-Core(UK): Case Study: Design Using Generated Base Objects, Magdalen Centre, The Oxford Science Park, UK (1994).

4. Dick J. and Maisey D.: Fault grids: Another Way of Presenting Fault Counts, Proceedings of Software Quality Management 1996, Cambridge, UK (April 1996).

5. Draper J.: Applying the B-Method to Avionics Software: an Initial Report on the MIST Project, Encress 1995 Conference Proceedings.

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

1. Prototype Development for Game-Like Interactive Environment;Platform Based Design and Immersive Technologies for Manufacturing and Assembly in Offsite Construction;2023

2. An Investigation of Integrating a GUI-Aided Approach and a Specification-Based Testing;Structured Object-Oriented Formal Language and Method;2018

3. Refinement and Verification of Synchronized Component-Based Systems;FME 2003: Formal Methods;2003

4. Test-Case Calculation Through Abstraction;Lecture Notes in Computer Science;2001

5. Ready-Simulation Is Not Ready to Express a Modular Refinement Relation;Fundamental Approaches to Software Engineering;2000