This version of the tool exploits an essential filtering property based on the representation of floating-point numbers that makes it suitable to generate path-�...
Abstract—Verifying critical numerical software involves the generation of test data for floating-point intensive programs. As the symbolic execution of�...
Symbolic Path-Oriented Test Data Generation for. Floating-Point Programs ... ❑ Focus on program paths that expose the system to these errors ... Symbolic path-�...
This version of the tool exploits an essential filtering property based on the representation of floating-point numbers that makes it suitable to generate path-�...
Abstract—Verifying critical numerical software involves the generation of test data for floating-point intensive programs. As the symbolic execution of�...
Symbolic Path-Oriented Test Data Generation for Floating-Point Programs ; Status: Published ; Publication type: Proceedings Refereed ; Year of publication: 2013.
Symbolic Path-Oriented Test Data Generation for Floating-Point Programs ; Title ; Publication Type, Conference Paper ; Authors, Bagnara R, Carlier M, Gori R,�...
Bibliographic details on Symbolic Path-Oriented Test Data Generation for Floating-Point Programs.
Symbolic Path-Oriented Test Data Generation for Floating-Point Programs ; Status: Published ; Publication type: Presentation ; Year of publication: 2014 ; Journal�...
People also ask
What is test data generation?
Which of the following is used for test data generation?
Testing integer software with symbolic execution is wellestablished but floating-point ... Symbolic path-oriented test data generation for floating-point programs�...