AuthorsA. Gotlieb
TitleSymbolic Path-Oriented Test Data Generation for Floating-Point Programs
AfilliationSoftware Engineering, Software Engineering, Software Engineering
Project(s)The Certus Centre (SFI)
StatusPublished
Publication TypeTalks, contributed
Year of Publication2014
Location of TalkDagsthul Seminar (Symbolic Methods and Constraint Solving)
Type of TalkContrinuted talk
Citation Key24022

Contact person