Export 2 results:
Search results for biblio_year:2002
Filters: 1 is biblio_year:1992 and 2 is biblio_year:1997 and 3 is biblio_year:2016 and 4 is biblio_year:2013 and 5 is biblio_year:1990 and 6 is biblio_year:1986 and 7 is biblio_year:2020 and Author is Roberto Bagnara  [Reset Search]
2013
R. Bagnara, M. Carlier, R. Gori and A. Gotlieb. Symbolic Path-Oriented Test Data Generation for Floating-Point Programs In Proc. of Int. Conf. on Soft. Testing, Validation and Verification (ICST'2013) - 10 pages, Edited by IEEE. Luxembourg: IEEE, 2013.