Jon Edvardsson, Mariam Kamkar  Home/Search
Context Related
| ida.liu.se/~joned/papers...unaproof.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: ida.liu.se/~pelab/members/i...?12 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In a series of articles Gupta et al. develop a framework for automatic test data generation for computer programs. In general, their approach consists of a branch predicate collector, which derives a system of linear inequalities representing the branch predicates for a given path in the program. This system is solved using a solving technique of theirs called the Unified Numerical Approach (una) [5, 7]. In this paper we show that in contrast to traditional optimization methods the una is not... (Update)
Context of citations to this paper: More
.... to the discussions on the incompleteness of una in our article Analysis of the Constraint Solver in UNA Based Test Data Generation [1]. The corrections are minor, however vital for the identified domain of looping systems. In lemma 1 and lemma 2 we have a special...
Cited by: More
Execution Generated Test Cases: How to Make Systems Code Crash .. - Cadar, Engler (2005) (Correct)
Corrections for: Analysis of the Constraint Solver in UNA.. - Edvardsson, Kamkar (2001) (Correct)
Active bibliography (related documents): More All
0.3: Generating Test Data For Branch Coverage - Gupta, Mathur, Soffa (2000) (Correct)
0.3: Data Flow Testing - Gupta, Gupta (Correct)
0.3: Automatic Test Data Generation for Programs with Integer and.. - Sy, Deville (2001) (Correct)
Similar documents based on text: More All
0.5: UNA Based Iterative Test Data Generation and its Evaluation - Neelam Gupta (1999) (Correct)
0.2: Pragmatization of Information Systems - A Theoretical and.. - Ågerfalk (1999) (Correct)
0.2: An Automated Framework for Structural Test-Data Generation - Tracey, Clark, Mander.. (1998) (Correct)
BibTeX entry: (Update)
J. Edvardsson and M. Kamkar. Analysis of the constraint solver in UNA based test data generation. In 9th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE-9), Austria, September 2001. http://citeseer.ist.psu.edu/edvardsson01analysis.html More
@inproceedings{ edvardsson:01,
author = {Edvardsson, Jon and Kamkar, Mariam},
title = {Analysis of the Constraint Solver in {UNA} Based Test Data Generation},
booktitle = {9th {ACM} {SIGSOFT} International Symposium on the Foundations of Software Engineering ({FSE}-9)},
year = 2001,
month = {September},
address = {Austria},
url = {citeseer.ist.psu.edu/edvardsson01analysis.html} }
Citations (may not include all citations):686 Practical Methods of Optimization (context) - Fletcher - 1991
237 Software Testing Techniques (context) - Beizer - 1990 ACM
196 Linear Algebra and Its Applications (context) - Strang - 1988
87 Linear and Nonlinear Programming (context) - Nash, Sofer - 1996
75 Linear Programming and Network Flows (context) - Bazaraa, Jarvis et al. - 1990
63 Automated software test data generation (context) - Korel - 1990 ACM DBLP
38 the automated generation of program test data (context) - Ramamoorthy, Ho et al. - 1976
15 Automated Test Data Generation Using Iterative Relaxation Me.. - Gupta - 1999 ACM
15 Automated test data generation using an iterative relaxation.. - Gupta, Mathur et al. - 1998 ACM DBLP
4 UNA based iterative test data generation and its evaluation - Gupta, Mathur et al. - 1999
1 A survey on automatic test data generation - Edvardsson - 1999
Documents on the same site (http://www.ida.liu.se/~pelab/members/index.php4/?12):
Corrections for: Analysis of the Constraint Solver in UNA.. - Edvardsson, Kamkar (2001) (Correct)
A Survey on Automatic Test Data Generation - Edvardsson (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