| Alternate document: Details Automated Process Planning for Sheet Metal Bending Operations (98) S.K. Gupta, D.A. Bourne, K.H. Kim, S.S. Krishnan |
Neelam Gupta, Aditya P. Mathur, Mary Lou Soffa  Home/Search
Context Related
| purdue.edu/homes/ngupta/fse.ps pitt.edu/~soffa/research/SE/fse98.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: purdue.edu/homes/ngupta/papers (more) From: pitt.edu/~soffa/research/se (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: An important problem that arises in path oriented testing is the generation of test data that causes a program to follow a given path. In this paper, we present a novel program execution based approach using an iterative relaxation method to address the above problem. In this method, test data generation is initiated with an arbitrarily chosen input from a given domain. This input is then iteratively refined to obtain an input on which all the branch predicates on the given path evaluate to the ... (Update)
Context of citations to this paper: More
...et al. 1] There are very few work whose targets are close to testing of database applications. Constraint solving techniques (e.g. 5] [6]) transform a procedure into a constraint system and then solve the system. Some other work are mainly for evaluating the performance of...
Cited by: More
Execution Generated Test Cases: How to Make Systems Code Crash .. - Cadar, Engler (2005) (Correct)
EXE: A System for Automatically Generating Inputs of.. - Cadar, Twohey.. (2006) (Correct)
Software Technology - Unu-Iist Report No (Correct)
Active bibliography (related documents): More All
0.6: Generating Test Data For Branch Coverage - Gupta, Mathur, Soffa (2000) (Correct)
0.5: Superconductivity In Systems Of Finite Length Through.. - Dallacasa And.. (Correct)
0.5: Model Reference Testing - Kita (1993) (Correct)
Similar documents based on text: More All
0.2: UNA Based Iterative Test Data Generation and its Evaluation - Neelam Gupta (1999) (Correct)
0.2: Analysis of the Constraint Solver in UNA Based Test Data.. - Edvardsson, Kamkar (2001) (Correct)
0.1: Security Relevancy Analysis on the Registry of Windows NT 4.0 - Du, Garg, Mathur (1999) (Correct)
Related documents from co-citation: More All
8: Automated software test data generation (context) - Korel - 1990
7: A System to Generate Test Data and Symbolically Execute Programs (context) - Clarke - 1976
6: Constraint-based automatic test data generation (context) - DeMillo, Offutt - 1991
BibTeX entry: (Update)
N. Gupta, A. P. Mathur, and M. L. Soffa, "Automated Test Data Generation using An Iterative Relaxation Method" ACM SIGSOFT Sixth International Symposium on Foundations of Software Engine ering(FSE-6), pages 231-244, Orlando, Florida, November 1998. http://citeseer.ist.psu.edu/gupta98automated.html More
@inproceedings{ gupta98automated,
author = "Neelam Gupta and Aditya P. Mathur and Mary Lou Soffa",
title = "Automated Test Data Generation Using an Iterative Relaxation Method",
booktitle = "Foundations of Software Engineering",
pages = "231-244",
year = "1998",
url = "citeseer.ist.psu.edu/gupta98automated.html" }
Citations (may not include all citations):86 Constraint-based Automatic Test Data Generation (context) - DeMillo, Offutt - 1991
63 Automated Software Test Data Generation (context) - Korel - 1990
54 A System to Generate Test Data and Symbolically Execute Prog.. (context) - Clarke - 1976
34 ADIC: An Extensible Automatic Differentiation Tool for ANSI-.. - Bischof, Roh et al.
29 Automatic Test Data Generation using Constraint Solving Tech.. (context) - Gotlieb, Botella et al. - 1998
17 ADTEST: A Test Data Generation Suite for Ada Software System.. (context) - Gallagher, Narsimhan - 1997
16 Automatic Generation of Random Self-checking Test Cases (context) - Bird, Munoz - 1983
10 Test Plan Generation using Formal Grammars (context) - Bauer, Finger - 1979
9 Automatic Generation of Floating-Point Test Data (context) - Miller, Spooner - 1976
7 A Rule Based Software Test Data Generator (context) - Deason, Brown et al. - 1991
2 Numerical Analysis (context) - Scheid - 1968
2 ATLAS - An Automated Software Testing System (context) - Jessop, Kanem et al. - 1976
2 A Dynamic Approach of Test Data Generation (context) - Korel - 1990
1 An Automatic Data Generation System for Data Base Simulation.. (context) - Lyons - 1977
1 Automatic Generation of Testcase Datasets (context) - Miller, Melton - 1975
The graph only includes citing articles where the year of publication is known.
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