Write a Blog >>
ECOOP 2021
Sun 11 - Sat 17 July 2021 Online
co-located with ECOOP and ISSTA 2021
Tue 13 Jul 2021 00:00 - 01:30 at Summer School - Summer School Chair(s): Frank Tip
Wed 14 Jul 2021 08:00 - 09:30 at Summer School - Summer School Chair(s): Andreas Zeller

Software testing is an approach to find bugs in programs. Hopefully, your testing technique does not find any bugs in your program. But what does it really say? Is your program absolutely correct? Probably not. Is your testing technique effective? How do we even measure the effectiveness of a testing technique in the absence of bugs? How can we automatically classify inputs as bug-revealing and not-bug-revealing? We are going to talk about the oracle problem, introduce a probabilistic framework to explain properties such as testing effectiveness (finding a maximal number of bugs), efficiency (finding the same bugs as fast as possible), and scalability (maximizing bug finding by scaling across a large number of machines), and map out fundamental limitations of existing testing techniques in terms of these properties.

Tue 13 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

00:00 - 01:30
Summer SchoolECOOP and ISSTA Summer School at Summer School
Chair(s): Frank Tip Northeastern University
00:00
90m
Talk
Foundations of Software Testing
ECOOP and ISSTA Summer School
S: Marcel Böhme Monash University
Media Attached

Wed 14 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

08:00 - 09:30
08:00
90m
Talk
Foundations of Software Testing
ECOOP and ISSTA Summer School
S: Marcel Böhme Monash University
Media Attached