(Enter summary)
Abstract: Recently, many formal methods, such as the SCR (Software
Cost Reduction) requirements method, have been proposed for improving
the quality of software specifications. Although improved specifications
are valuable, the ultimate objective of software development is to produce
software that satisfies its requirements. To evaluate the correctness of a
software implementation, one can apply black-box testing to determine
whether the implementation, given a sequence of system inputs, produces... (Update)
Similar documents based on text: More All
1.9: Using Model Checking to Generate Tests from Requirements.. - Gargantini, Heitmeyer (1999)
(Correct)
0.7: Formal Methods for Developing Software Specifications.. - Constance Heitmeyer.. (1999)
(Correct)
0.6: Automatic Generation of State Invariants from Requirements.. - Jeffords, Heitmeyer (1998)
(Correct)
BibTeX entry: (Update)
Gargantini, A. and Heitmeyer, C. "Using Model Checking to Generate Tests from Requirements Specifications." In Proceedings of the Joint 7th Eur. Software Engineering Conference and 7th ACM SIGSOFT International Symposium on Foundations of Software Engineering. Toulouse, France, September 1999. http://citeseer.ist.psu.edu/gargantini99using.html More
@inproceedings{ gargantini99using,
author = "Angelo Gargantini and Constance L. Heitmeyer",
title = "Using Model Checking to Generate Tests from Requirements Specifications",
booktitle = "{ESEC} / {SIGSOFT} {FSE}",
pages = "146-162",
year = "1999",
url = "citeseer.ist.psu.edu/gargantini99using.html" }
Citations (may not include all citations):
603
Kluwer Academic Publishers (context) - McMillan, Checking - 1993
237
Software Testing Techniques (context) - Beizer - 1983
206
The model checker SPIN
- Holzmann - 1997
119
Automated consistency checking of requirements specification..
- Heirmeyer, Jeffords et al. - 1996
92
Experiments in theorem proving and model checking for protoc..
- Havelund, Shankar - 1996
79
Specification-based test oracles for reactive systems
- Richardson, Aha et al. - 1992
61
Test selection based on finite state models
- lujiwara, Bochmann et al. - 1991
48
Using abstraction and model checking to detect safety violat.. (context) - Heitmeyer, Kirby et al. - 1998
46
A framework for specification-based testing (context) - Stocks, Cartington - 1996
41
Model checking complete requirements specifications using ab..
- Bharadwaj, Heitmeyer - 1999
39
Specifying the mode logic of a flight guidance system in CoR.. (context) - Miller - 1998
35
Automatically generating test data from a boolean specificat.. (context) - Weyuker, Goradia et al. - 1994
34
Documentation for safety critical software (context) - Courtois, Parhas - 1993
34
Using model checking to generate tests from specifications
- Ammann, Blck et al. - 1998
24
Formal methods for verification and validation of partial sp..
- Easterbrook, Callahan - 1997
[Article contains additional citations not shown here]
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.dmi.unict.it/garganti/research/listpub.html): More
ASM-based Testing: Coverage Criteria and Automatic Test.. - Gargantini, Riccobene (2001)
(Correct)
A theory of implementation and refinement in timed Petri.. - Felder, Gargantini.. (1998)
(Correct)
Dealing With Zero-Time Transitions in Axiom Systems - Gargantini, Mandrioli.. (1999)
(Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC