Michael Harder, Jeff Mellen, Michael D. Ernst  Home/Search
Context Related
| mit.edu/~mernst/pu...tsuiteicse2003.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: mit.edu/~mernst/pubs/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents the operational difference technique for generating, augmenting, and minimizing test suites. The technique is analogous to structural code coverage techniques, but it operates in the semantic domain of program properties rather than the syntactic domain of program text. The operational difference technique automatically selects test cases; it assumes only the existence of a source of test cases. The technique dynamically generates operational abstractions (which describe... (Update)
Cited by: More
Building an Infrastructure to Support - Experimentation With Software (Correct)
Infrastructure Support for Controlled Experimentation - With Software Testing (Correct)
Generation of Self-Testing Components - Mariani, Pezze, Willmor (Correct)
Similar documents (at the sentence level):
19.5%: Improving Test Suites via Generated Specifications - Harder (2002) (Correct)
Active bibliography (related documents): More All
0.6: Predicting Problems Caused by Component Upgrades - McCamant, Ernst (2003) (Correct)
0.3: Automatic Generation and Checking of Program Specifications - Nimmer (2001) (Correct)
0.3: Software Maintenance Research in the Mire? - Niessink (Correct)
Similar documents based on text: More All
0.2: Mock Object Creation for Test Factoring - Michael (2004) (Correct)
0.2: Early Identification of Incompatibilities in Multi-component.. - McCamant, Ernst (2004) (Correct)
0.1: Automatic Generation of Program Specifications - Nimmer, Ernst (2002) (Correct)
Related documents from co-citation: More All
13: Dynamically Discovering Likely Program Invariants to Support Program Evolution - Ernst, Cockrell et al. - 1999
9: Quickly detecting relevant program invariants - Ernst, Czeisler et al. - 1999
8: Finding failures by cluster analysis of execution profiles (context) - Dickinson - 2001
BibTeX entry: (Update)
M. Harder, J. Mellen, and M. D. Ernst. Improving test suites via operational abstraction. In Proceedings of the International Conference on Software Engineering, (Portland, Oregon), May 6-8, 2003. http://citeseer.ist.psu.edu/harder03improving.html More
@misc{ harder03improving,
author = "M. Harder and J. Mellen and M. Ernst",
title = "Improving test suites via operational abstraction",
text = "M. Harder, J. Mellen, and M. D. Ernst. Improving test suites via operational
abstraction. In Proceedings of the International Conference on Software
Engineering, (Portland, Oregon), May 6-8, 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/harder03improving.html" }
Citations (may not include all citations):416 Information Retrieval - van Rijsbergen - 1979
171 Dynamically Discovering Likely Program Invariants - Ernst - 2000
121 The category-partition method for specifying and generating .. (context) - Ostrand, Balcer - 1988
82 Toward a theory of test data selection (context) - Goodenough, Gerhart - 1975
82 Toward a theory of test data selection (context) - Goodenough, Gerhart - 1975
79 Automatic Information Organization and Retrieval (context) - Salton - 1968
72 Experiments on the effectiveness of dataflowand controlflow-.. (context) - Hutchins, Foster et al. - 1994
61 Software unit test coverage and adequacy (context) - Zhu, Hall et al. - 1997
55 Quickly detecting relevant program invariants - Ernst, Czeisler et al. - 2000
49 Software testing based on formal specifications: a theory an.. (context) - Bernot, Gaudel et al. - 1991
48 Empirical studies of a safe regression test selection techni.. - Rothermel, Harrold - 1998
45 Automatic generation of test scripts from formal test specif.. (context) - Balcer, Hasling et al. - 1989
34 An empirical study of regression test selection techniques - Graves, Harrold et al. - 2001
25 Approaches to specification-based testing - Richardson, O'Malley et al. - 1989
22 Specifying and testing software components using ADL (context) - Hayes, Sankar - 1994
21 Structural specification-based testing with ADL (context) - Chang, Richardson et al. - 1996
21 Invariant inference for static checking: An empirical evalua.. - Nimmer, Ernst - 2002
20 Automatic generation of program specifications - Nimmer, Ernst - 2002
19 IEEE Transactions on Software Engineering (context) - Duran, Ntafos et al. - 1984
16 Information Processing Letters (context) - Hamlet, theory - 1987
16 Automating formal specificationbased testing - Donat - 1997
14 Structural specification-based testing: Automated support an.. (context) - Chang, Richardson - 1999
11 Evaluating testing methods by delivered reliability - Frankl, Hamlet et al. - 1998
10 Test suite reduction and prioritization modified conditionde.. - Jones, Harrold et al. - 2001
9 An integrated automatic test data generation system (context) - Offutt - 1991
7 Boundary values and automated component testing (context) - Hoffman, Strooper et al. - 1999
7 Using simulated execution in verifying distributed algorithm.. - Win, Ernst et al. - 2003
5 Tools and techniques for Java API testing (context) - Hoffman, Strooper - 2000
5 Towards automated unit testing of statechart implementations - Burton - 1999
5 Automating the generating and sequencing of test cases from .. (context) - Dick, Faivre - 1993
5 Automatic Generation of Software Test Cases From Formal Spec.. - Meudec - 1998
5 Generating test data from SOFL specifications - Offutt, Liu - 1999
4 Improving test suites via generated specifications - Harder - 2002
3 Empirical evaluation of the textual differencing regression .. (context) - Vokolos, Frankl - 1998
2 A specificationbased coverage metric to evaluate test sets (context) - Amman, Black - 2001
2 Correction to: Evaluating testing methods by delivered relia.. (context) - Frankl, Hamlet et al. - 1999
1 Generating test cases from formal specifications (context) - Toth, Donat et al. - 1996
1 Partition testing does not inspire confidence (context) - Hamlet, Taylor - 1990
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://pag.csail.mit.edu/~mernst/pubs/): More
Early Identification of Incompatibilities in Multi-component.. - McCamant, Ernst (2004) (Correct)
Automated Support for Program Refactoring using Invariants - Yoshio Kataoka Michael (2001) (Correct)
Continuous Testing in Eclipse - Saff, Ernst (2004) (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