Automating formal specification-based testing-Reference-Cited by-同舟云学术

Automating formal specification-based testing

Published:1997 Issue: Volume: Page:833-847
ISSN:0302-9743
Container-title:TAPSOFT '97: Theory and Practice of Software Development
language:
Short-container-title:

Author:

Donat Michael R.

Publisher

Springer Berlin Heidelberg

Link

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

Reference16 articles.

1. Jean-Raymond Abrial. Steam boiler control specification problem. In Jean-Raymond Abrial, Egon Börger, and Hans Langmaack, editors, Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, volume 1165 of Lecture Notes in Computer Science, pages 500–509, October 1996. http://www.informatik.uni-kiel.de∼procos/dag9523/dag9523.html.

2. Pascal Bernard. A Z specification of the boiler. http://www.informatik.uni-kiel.-de∼procos/dag9523/bernard-fulltext.ps.Z, January 1996.

3. G. Bernot, M-C. Gaudel, and B. Marre. Software testing based on formal specifications. Software Engineering Journal, 6(6), November 1991.

4. Randal E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers, C-35(8):677–691, August 1986.

5. Robert Büssow and Matthias Weber. A steam-boiler control specification with Statecharts and Z. In Jean-Raymond Abrial, Egon Borger, and Hans Langmaack, editors, Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, volume 1165 of Lecture Notes in Computer Science, pages 109–128, October 1996.

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

1. Automatic Test Case and Test Oracle Generation based on Functional Scenarios in Formal Specifications for Conformance Testing;IEEE Transactions on Software Engineering;2020

2. Automating Detection of Security-Related Software Engineering Failures;2019 IEEE AUTOTESTCON;2019-08

3. Software Construction Monitoring and Predicting for Human-Machine Pair Programming;Structured Object-Oriented Formal Language and Method;2019

4. TBFV-SE: Testing-Based Formal Verification with Symbolic Execution;2018 IEEE International Conference on Software Quality, Reliability and Security (QRS);2018-07

5. A Software Tool to Support the “Vibration’’ Method;Structured Object-Oriented Formal Language and Method;2018