Open AccessSymbolic Path-Oriented Test Data Generation for Floating-Point Programs
Author(s) -
Roberto Bagnara,
Matthieu Carlier,
Roberta Gori,
Arnaud Gotlieb
Publication year - 2013
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - Uncategorized
Resource type - Conference proceedings
Subject(s) - computer science , path (computing) , symbolic execution , test (biology) , point (geometry) , test data , parallel computing , programming language , mathematics , software , paleontology , geometry , biology