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 |