(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)
Cited by: More
Observational Models of Requirements Evolution - Felici (2004)
(Correct)
Managing Complexity in Software Development with Formally Based.. - Heitmeyer (2004)
(Correct)
Test Input Generation with Java PathFinder - Visser, Pasareanu, Khurshid
(Correct)
Similar documents (at the sentence level):
52.9%: Using Model Checking to Generate Tests from Requirements.. - Gargantini, Heitmeyer (1999)
(Correct)
Active bibliography (related documents): More All
0.3: Using a Model Checker to Test Safety Properties - Ammann, Ding, Xu (2001)
(Correct)
0.3: ASM-based Testing: Coverage Criteria and Automatic Test.. - Gargantini, Riccobene (2001)
(Correct)
0.2: Automatic Test Generation from Statecharts Using Model.. - Hong, Lee, Sokolsky, Cha (2001)
(Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
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)
0.5: Model Checking Complete Requirements Specifications Using.. - Bharadwaj, Heitmeyer (1997)
(Correct)
Related documents from co-citation: More All
14: Using model checking to generate tests from specications
- Ammann, Black et al. - 1998
9: Model Checking
- Clarke, Grumberg et al. - 1994
8: Automated Consistency Checking of Requirements Specifications
- Heitmeyer, Jeffords et al. - 1996
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
22
Generating test cases for real-time systems from logic speci.. (context) - Mandrioli, Morasca et al. - 1995
22
and validation of requirements (context) - Heirmeyer, Kirby et al. - 1997
18
Experience applying the CoRE method to the Lockheed C-130J (context) - Faulk, Finneran et al. - 1994
16
Test generation for intelligent networks using model checkin..
- Engels, Feijs et al. - 1997
13
A functional approach to program testing and analysis (context) - Howden - 1986
7
Automatic generation of test vectors for SCR-style specifica.. (context) - Blackburn, Busset et al. - 1997
5
Specification-based testing using model checking (context) - Callahan, Schneider et al. - 1996
1
Automatic generation of state invaxiants from requirements s.. (context) - Jeffords, Heirmeyer - 1998
1
Software requirements for the A-71 aircraft (context) - Heninger, Parnas et al. - 1978
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