Nguyen Tran Sy, Yves Deville  Home/Search
Context Related
| info.ucl.ac.be/pub/publi/20...ase01.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: info.ucl.ac.be/recherc...archives (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents a novel approach for automated test data generation of imperative programs containing integer, boolean and/or float variables. Our approach is based on consistency techniques integrating integer and float variables. We handle statement, branch and path coverage criteria. Our purpose is thus to automatically generate test data that will cause the program to execute a statement, to traverse a branch or to traverse a specified path. For path coverage, the specified path is... (Update)
Cited by: More
Consistency Techniques for Interprocedural Test Data Generation - Sy, Deville (2003) (Correct)
Active bibliography (related documents): More All
0.5: Application of Relational Interval Arithmetic to Ordinary.. - Older (1994) (Correct)
0.5: The PLATONIS project - Platonis Consortium St (Correct)
0.4: Data Flow Testing - Gupta, Gupta (Correct)
Similar documents based on text: More All
0.4: Generating Test Data For Branch Coverage - Gupta, Mathur, Soffa (2000) (Correct)
0.3: Fast Sequential Circuit Test Generation Using.. - Rudnick, Vietti.. (1998) (Correct)
0.2: Analysis of Distributed Arc-Consistency Algorithms - Baudot, Deville (1997) (Correct)
BibTeX entry: (Update)
N. T. Sy and Y. Deville. Automatic test data generation for programs with integer and float variables. In 16th IEEE International Conference on Automated Software Engineering(ASE01), 2001. http://citeseer.ist.psu.edu/sy01automatic.html More
@misc{ sy01automatic,
author = "N. Sy and Y. Deville",
title = "Automatic test data generation for programs with integer and float variables",
text = "N. T. Sy and Y. Deville. Automatic test data generation for programs with
integer and float variables. In 16th IEEE International Conference on Automated
Software Engineering(ASE01), 2001.",
year = "2001",
url = "citeseer.ist.psu.edu/sy01automatic.html" }
Citations (may not include all citations):480 The program dependence graph and its uses in optimization (context) - Ferrante, Ottenstein et al. - 1987
473 Foundations of Constraint Satisfaction (context) - Tsang - 1994
119 Detecting equality of variables in programs (context) - Alpern, Wegman et al. - 1998
49 Symbolic Execution and Program Testing (context) - King - 1976
35 Test-data generation using genetic algorithms - Pargas, Harrold et al. - 1999
29 Automatic test data generation using constraint solving tech.. (context) - Gotlieb, Botella et al. - 1998
24 Single-pass generation of static single-assignment form for .. - Brandis, Mssenbck - 1994
19 IEEE Transactions on Software Engineering (context) - Duran, Ntafos et al. - 1984
18 Experimental results from an automatic test case generator (context) - DeMillo, Offutt - 1993
16 Automatic generation of random self-checking test cases (context) - Bird, Munoz - 1983
15 Automated test data generation using an iterative relaxation.. - Gupta, Mathur et al. - 1998
8 Generating test data for branch coverage - Gupta, Mathur et al. - 2000
7 A CLP framework for computing structural test data - Gotlieb, Botella et al. - 2000
4 The chaning approach for software test data generation (context) - Ferguson, Korel - 1996
4 UNA based iterative test data generation and its evaluation - Gupta, Mathur et al. - 1999
3 The Dynamic Domain Reduction Procedure for Test Data Generat.. - Offutt, Jin et al. - 1997
2 Constraint logic programming on boolean (context) - Benhamou, Older et al. - 1995
2 Test generation for interworking systems (context) - Kon, Castanet - 2000
1 Gnration de cas de test structurel avec la programmation log.. (context) - Gotlieb - 2000
1 available at http://interval (context) - Hickey, arithmetic - 2000
1 A modeling language for global optimization (context) - Van Hentenryck, Michel et al. - 1997
1 Prolog iv: language and algorithmes (context) - Benhamou - 1995
1 Rsolution de systmes de contraintes relles non linaires (context) - Delobel - 2000
Documents on the same site (http://www.info.ucl.ac.be/recherches/publications/publications/archives.html): More
Acceptance Driven Local Search and Evolutionary Algorithms - Poupaert, Deville (2001) (Correct)
Maintaining Software through Intentional Source-Code Views - Mens, Mens (2002) (Correct)
Optimal Pruning in Parametric Differential Equations - Janssen, Van Hentenryck.. (2001) (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