Export 3 results:
Filters: Author is Roberta Gori [Clear All Filters]
Constraint-Based Verification of a Mobile App Game Designed for Nudging People to Attend Cancer Screening In Proceedings of Innovative Applications of Artificial Intelligence (IAAI-17), Feb. 2017, San Francisco, USA. AAAI, 2017.
Exploiting Binary Floating-Point Representations for Constraint Propagation." INFORMS Journal of Computing (JoC) 28, no. 1 (2016): 31-46."
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.