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)
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