Goal-oriented test data generation for programs with pointer variables (2005)


Download Links

by Arnaud Gotlieb , Tristan Denmat , Bernard Botella
Venue:in "29th IEEE Annual International Computer Software and Applications Conference (COMPSAC’05), Edinburh
Citations:5 - 3 self

Documents Related by Co-Citation

30 Symbolic execution of floating-point computations. The Software Testing, Verification and Reliability journal – B Botella, A Gotlieb, C Michel - 2006
43 A CLP Framework for Computing Structural Test Data – Arnaud Gotlieb, Bernard Botella, Michel Rueher - 2000
1878 Abstract Interpretation: a Unified Lattice Model for Static – P Cousot, R Cousot
91 Automatic test data generation using constraint solving techniques – A Gotlieb, B Botella, M Rueher - 1998
113 Finding bugs with a constraint solver – D Jackson, M Vaziri - 2000
544 Dynamically discovering likely program invariants to support program evolution – Michael D. Ernst, Jake Cockrelit, William G. Griswoldt, David Notkint - 2001
19 Using a Constraint Satisfaction Formulation and Solution Techniques for Random Test Program Generation – Eyal Bin, E. Bin, Roy Emek, Avi Ziv, Gil Shurek, A. Ziv - 2002
239 Constraint-Based Automatic Test Data Generation – Richard A. DeMillo, A. Jefferson Offutt - 1991
4 Constraintbased test data generation in the presence of stack-directed pointers – A Gotlieb, T Denmat, B Botella - 2005
3 Using CHRs to generate test cases for the JCVM – S GOURAUD, A GOTLIEB - 2006
64 Automatic Generation of Program Specifications – Jeremy W. Nimmer, Michael D. Ernst - 2002
53 Relational abstract domains for the detection of floating-point run-time errors – Antoine Miné
128 Quickly Detecting Relevant Program Invariants – Michael D. Ernst, Adam Czeisler, William G. Griswold, David Notkin - 1999
1441 Object-oriented Software Construction – Bertrand Meyer - 2004
839 Efficiently computing static single assignment form and the control dependence graph – Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck - 1991
289 An Overview of JML Tools and Applications – Lilian Burdy, Yoonsik Cheon, David Cok, Michael D. Ernst, Joe Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll - 2003
1364 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
573 Automatic Discovery of Linear Restraints Among Variables of a Program – Patrick Cousot, Nicolas Halbwachs - 1978
1 and J.A Offut, “Constraint-Based Automatic Test Data Generation – R A DeMillo - 1991