INESC ID leads European project “iv4XR”

INESC ID leads European project on the use of AI for testing advanced interactive software systems as part of the H2020 The project, called iv4XR (Intelligent Verification/Validation for Extended Reality Based Systems), is led by INESC ID and will be … Continued

Distinguished Lecture
Generating Software Tests

Distinguished Lecture | Anfiteatro VA4 no piso-1 do Edificio de Civil – IST/Alameda | 11:00

Andreas Zeller, CISPA Helmholtz Institute for IT Security – Abstract: Software has bugs. What can we do to find as many of these as possible? In this talk, I show how to systematically test software by generating such tests automatically, … Continued

Distinguished Lecture Series

AI for Social Good: Learning and Planning in the End-to-End, Data-to-Deployment Pipeline Prof. Milind Tambe University of Southern California  17/04/2019 Room 0.19/0.20, IST – Pavilhão de Informática II, Alameda | 13:30H Abstract With the maturing of AI and … Continued

Distinguished Lecture Series

Generating Software Tests Andreas Zeller CISPA Helmholtz Institute for IT Security 15/04/2019 Anfiteatro VA4 no piso-1 do Edificio de Civil – IST/Alameda | 11:00H Abstract Software has bugs. What can we do to find as many of these … Continued