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

This program is tentative and subject to change.

Fri 21 May 2021 16:30 - 17:00 at FormaliSE Room - “North American East Coast”

In theory, Application Programming Interfaces (APIs) allow developers to write client code that reuses library code without needing to know its internals.
In practice, correctly using APIs requires respecting explicit and implicit constraints and usage temporal patterns. Ignoring such patterns could lead to errors and design flaws. These often cannot be detected prior to integration and system testing. We propose the Temporal Usage PAttern Checker (Tupac) for APIs, an interprocedural static analysis approach that can verify that client code conforms to temporal API usage patterns as it is being developed. We evaluated the effectiveness of our approach on 4 projects with 4 different APIs. Our evaluation shows that Tupac allows to accurately check the conformance of the client code to the patterns in under 1 second. This means that Tupac can realistically be deployed in an IDE without stalling the regular coding rhythm.

This program is tentative and subject to change.

Fri 21 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:30 - 17:00
“North American East Coast”FormaliSE 2021 at FormaliSE Room
15:30
30m
Talk
Runtime Verification Under Access Restrictions
FormaliSE 2021
Rania TalebUniversité du Québec à Chicoutimi, Raphael KhouryUniversité du Québec à Chicoutimi, Canada, Sylvain HalléUniversité du Québec à Chicoutimi
Pre-print
16:00
30m
Talk
Quantifying Faultiness: What Does It Mean to Have N Faults
FormaliSE 2021
16:30
30m
Talk
Checking temporal patterns of API usage without code execution
FormaliSE 2021
Erick RaelijohnUniversity of Montreal, Michalis FamelisUniversité de Montréal, Houari SahraouiUniversité de Montréal
Hide past events

Information for Participants
Info for FormaliSE Room: