[PDF][PDF] Symbolic Path-Oriented Test Data Generation for Floating-Point Programs
A Gotlieb - web-backend.simula.no
Symbolic Path-Oriented Test Data Generation for Floating-Point Programs Page 1 Symbolic
Path-Oriented Test Data Generation for Floating-Point Programs Arnaud Gotlieb Certus V&V …
Path-Oriented Test Data Generation for Floating-Point Programs Arnaud Gotlieb Certus V&V …
3.9 Symbolic Path-Oriented Test Data Generation for Floating-Point Programs
A Gotlieb - Symbolic Execution and Constraint Solving - Citeseer
Verifying critical numerical software involves the generation of test data for floating-point
intensive programs. As the symbolic execution of floating-point computations presents …
intensive programs. As the symbolic execution of floating-point computations presents …
3.9 Symbolic Path-Oriented Test Data Generation for Floating-Point Programs
A Gotlieb - Symbolic Execution and Constraint Solving - scholar.archive.org
Verifying critical numerical software involves the generation of test data for floating-point
intensive programs. As the symbolic execution of floating-point computations presents …
intensive programs. As the symbolic execution of floating-point computations presents …
3.9 Symbolic Path-Oriented Test Data Generation for Floating-Point Programs
A Gotlieb - Symbolic Execution and Constraint Solving - dagstuhl.sunsite.rwth-aachen.de
Verifying critical numerical software involves the generation of test data for floating-point
intensive programs. As the symbolic execution of floating-point computations presents …
intensive programs. As the symbolic execution of floating-point computations presents …
[PDF][PDF] Symbolic Path-Oriented Test Data Generation for Floating-Point Programs
A Gotlieb - pdfs.semanticscholar.org
Symbolic Path-Oriented Test Data Generation for Floating-Point Programs Page 1 Symbolic
Path-Oriented Test Data Generation for Floating-Point Programs Arnaud Gotlieb Certus V&V …
Path-Oriented Test Data Generation for Floating-Point Programs Arnaud Gotlieb Certus V&V …
3.9 Symbolic Path-Oriented Test Data Generation for Floating-Point Programs
A Gotlieb - Symbolic Execution and Constraint Solving - drops.dagstuhl.de
Verifying critical numerical software involves the generation of test data for floating-point
intensive programs. As the symbolic execution of floating-point computations presents …
intensive programs. As the symbolic execution of floating-point computations presents …
[PDF][PDF] Symbolic Path-Oriented Test Data Generation for Floating-Point Programs
A Gotlieb - pdfs.semanticscholar.org
Symbolic Path-Oriented Test Data Generation for Floating-Point Programs Page 1 Symbolic
Path-Oriented Test Data Generation for Floating-Point Programs Arnaud Gotlieb Certus V&V …
Path-Oriented Test Data Generation for Floating-Point Programs Arnaud Gotlieb Certus V&V …