Write a Blog >>
FormaliSE 2021
Tue 18 - Fri 21 May 2021
co-located with ICSE 2021
Houari Sahraoui

Registered user since Wed 23 Jan 2019

Name: Houari Sahraoui

Country: Canada

Affiliation: Université de Montréal

Research interests: Software engineering

Contributions

FormaliSE 2021 Checking temporal patterns of API usage without code execution
ICPC 2021 Design Defects Detection and Correction by Example
Show activities from other conferences

Using general profile