| Authors | R. Bagnara, M. Carlier, R. Gori and A. Gotlieb |
| Editors | IEEE |
| Title | Symbolic Path-Oriented Test Data Generation for Floating-Point Programs |
| Afilliation | Software Engineering, Software Engineering, Software Engineering |
| Project(s) | The Certus Centre (SFI) |
| Status | Published |
| Publication Type | Proceedings, refereed |
| Year of Publication | 2013 |
| Conference Name | Proc. of Int. Conf. on Soft. Testing, Validation and Verification (ICST'2013) - 10 pages |
| Date Published | March |
| Publisher | IEEE |
| Place Published | Luxembourg |
| Citation Key | Simula.simula.1748 |
By thinking constantly about it…