Export 3 results:
Search results for biblio_year:2013
Filters: 1 is biblio_type:Proceedings, refereed and 2 is biblio_year:0 and 3 is field_research_area:6 and Author is Roberta Gori  [Reset Search]
A. Gotlieb, M. Louarn, M. Nygård, T. Ruiz-Lopez, S. Sen and R. Gori. 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.PDF icon gll17.pdf (3.93 MB)
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.