Symbolic Path-Oriented Test Data Generation for Floating-Point Programs
- Authors
- A. Gotlieb
- Status
- Published
- Publication type
- Presentation
- Year of publication
- 2014
- Journal
- Dagsthul Seminar (Symbolic Methods and Constraint Solving)
- Publisher
- -
- Citation key
- 13545