Symbolic Path-Oriented Test Data Generation for Floating-Point Programs
- Authors
- R. Bagnara, M. Carlier, R. Gori and A. Gotlieb
- Editors
- I.
- Status
- Published
- Publication type
- Proceedings Refereed
- Year of publication
- 2013
- Journal
- Proc. of Int. Conf. on Soft. Testing, Validation and Verification (ICST'2013) - 10 pages
- Publisher
- IEEE
- Citation key
- 8809