Paul E. Ammann, Paul E. Black  Home/Search
Context Related
| nist.gov/~black/Papers/limerick.ps 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: nist.gov/~black/Papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The authors are part of a larger group at the National Institute of Standards and Technology (NIST), George Mason University (GMU), and the University of Maryland, Baltimore County (UMBC). Projects directed by group members use formal methods, particularly model checking, to investigate the generation and recognition of test sets for software systems. Our positions, in order of increasing potential controversy, are 1) the use of speci cations is an important complement to code-based methods, 2) ... (Update)
Context of citations to this paper: More
...the security policy; we have no such paths. Another approach of using model checkers for vulnerability identification is proposed in [1, 2]. However they use the model checker combined with mutation testing techniques to generate and recognise test sets rather then testing...
.... criteria has been carried out using, for example, set theory [20] graph theory [38] predicate logic [31] 45] and temporal logic [2]. In this paper, the Z notation [26] 43] is used for the formal definition of the criteria. Some reasons for choosing the Z notation are...
Cited by: More
Formalization of Software Testing Criteria using the Z Notation - Vilkomir, Bowen (2001) (Correct)
Heuristics for Model Checking Java Programs - Groce, Visser (2002) (Correct)
Classical Search Strategies for Test Case Generation with.. - Pretschner (2001) (Correct)
Active bibliography (related documents): More All
1.8: Model Checkers in Software Testing - Ammann, Black (2002) (Correct)
0.7: A Specification-Based Coverage Metric To Evaluate Test Sets - Ammann, al. (1999) (Correct)
0.6: Abstracting Formal Specifications to Generate Software Tests.. - Ammann, Black (1999) (Correct)
Similar documents based on text: More All
0.2: Using a Model Checker to Test Safety Properties - Ammann, Ding, Xu (2001) (Correct)
0.2: Testing with Model Checker: Insuring Fault Visibility - Okun, Black, Yesha (2003) (Correct)
0.2: Issues in Software Testing with Model Checkers - Okun, Black (2003) (Correct)
Related documents from co-citation: More All
6: Software considerations in airborne systems and equipment certification (context) - Inc - 1992
4: Testing Criteria and a System for Evaluation of the Completeness of a Test Set (context) - Kaufman, Chernonozhkin - 1998
4: Selecting software test data using data flow information (context) - Rapps, Weyuker - 1985
BibTeX entry: (Update)
P. Ammann and P. Black. Test Generation and Recognition with Formal Methods. In Proc. 1st Intl. workshop on Automated Program Analysis, Testing, and Verication (WAPATV'00), pages 64-67, 2000. http://citeseer.ist.psu.edu/ammann00test.html More
@misc{ ammann00test,
author = "P. Ammann and P. Black",
title = "Test Generation and Recognition with Formal Methods",
text = "P. Ammann and P. Black. Test Generation and Recognition with Formal Methods.
In Proc. 1st Intl. workshop on Automated Program Analysis, Testing, and
Verication (WAPATV'00), pages 64-67, 2000.",
year = "2000",
url = "citeseer.ist.psu.edu/ammann00test.html" }
Citations (may not include all citations):308 Digital System Testing and Testable Design (context) - Abramovici, Breuer et al. - 1990
34 Using model checking to generate tests from specications - Ammann, Black et al. - 1998
32 Using model checking to generate tests from requirements spe.. - Gargantini, Heitmeyer - 1999
16 Using model checking to analyze network vulnerabilities (context) - Ritchey, Ammann - 2000
12 Automated software testing using model-checking - Callahan, Schneider et al. - 1996
9 Testing software design modeled by nite-state machines (context) - Chow - 1978
6 Fault models for embedded systems - Chr - 1999
4 Abstracting formal specications to generate software tests v.. (context) - Ammann, Black - 1999
4 A specication-based coverage metric to evaluate test sets (context) - Ammann, Black - 1999
4 Fault classes and error detection in specication based testi.. (context) - Kuhn - 1999
4 Criteria for generating specication-based tests (context) - utt, Xiong et al. - 1999
2 Mutation operators for specications (context) - Black, Okun et al. - 2000
1 Applicability of modied condition/decision coverage to softw.. (context) - Chilenski, Miller - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://hissa.nist.gov/~black/Papers/): More
Mutation of Model Checker Specifications for Test.. - Black, Okun, Yesha (2000) (Correct)
A Specification-Based Coverage Metric To Evaluate Test Sets - Ammann, al. (1999) (Correct)
Mutation Operators for Specifications - Black, Okun, Yesha (2000) (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