Angelo Gargantini, Constance Heitmeyer  Home/Search
Context Related
| dmi.unict.it/garganti/rese...esec99.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dmi.unict.it/garganti/r...listpub (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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