ICST 2021
Mon 12 - Fri 16 April 2021
Tue 13 Apr 2021 15:30 - 16:00 at Porto de Galinhas - Models, Testing and Verification Chair(s): Mike Papadakis

Tue 13 Apr
Times are displayed in time zone: Brasilia, Distrito Federal, Brazil change

15:00 - 16:30
Models, Testing and VerificationResearch Papers at Porto de Galinhas
Chair(s): Mike PapadakisUniversity of Luxembourg, Luxembourg
15:00
30m
Paper
Modeling with Mocking
Research Papers
Jouke StoelCWI, Jurgen VinjuCWI, Netherlands, Tijs van der StormCWI & University of Groningen, Netherlands
Pre-print
15:30
30m
Paper
Uncertainty-aware Exploration in Model-based Testing
Research Papers
Matteo CamilliFree University of Bozen-Bolzano, Angelo GargantiniUniversity of Bergamo, Patrizia ScandurraUniversity of Bergamo, Italy, Catia TrubianiGran Sasso Science Institute
Pre-print
16:00
30m
Paper
Demystifying the Challenges of Formally Specifying API Properties for Runtime Verification
Research Papers
Leopoldo TeixeiraFederal University of Pernambuco, Breno MirandaFederal University of Pernambuco, Henrique RebeloUniversidade Federal de Pernambuco, Marcelo d'AmorimFederal University of Pernambuco
Pre-print