AuthorsR. Bagnara, M. Carlier, R. Gori and A. Gotlieb
EditorsIEEE
TitleSymbolic Path-Oriented Test Data Generation for Floating-Point Programs
AfilliationSoftware Engineering, Software Engineering, Software Engineering
Project(s)The Certus Centre (SFI)
StatusPublished
Publication TypeProceedings, refereed
Year of Publication2013
Conference NameProc. of Int. Conf. on Soft. Testing, Validation and Verification (ICST'2013) - 10 pages
Date PublishedMarch
PublisherIEEE
Place PublishedLuxembourg
Citation KeySimula.simula.1748