Write a Blog >>
ICST 2020
Sat 24 - Wed 28 October 2020 Porto, Portugal
VenueAlfândega Porto Congress Centre
Room nameArrábida
Floor0
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sat 24 Oct
Times are displayed in time zone: Lisbon change

12:40 - 15:00
Session IMutation at Arrábida
12:40
25m
Day opening
Warm Up
Mutation
13:05
10m
Day opening
Welcome
Mutation
13:15
75m
Talk
Keynote
Mutation
Mike PapadakisUniversity of Luxembourg, Luxembourg
14:30
15m
Full-paper
On the impact of timeouts and JVM crashes in Pitest
Mutation
Thomas LaurentLero & University College Dublin, Fionnuala WallLero and University College Dublin, Anthony VentresqueLero and University College Dublin
Link to publication DOI
14:45
15m
Full-paper
Using mutation testing to measure behavioural test diversity
Mutation
Francisco GomesChalmers | University of Gothenburg, Felix DobslawChalmers University of Technology, Robert FeldtChalmers University of Technology
Link to publication DOI
15:15 - 16:30
Session IIMutation at Arrábida
15:15
15m
Full-paper
SiMut: Exploring Program Similarity to Support the Cost Reduction of Mutation Testing
Mutation
Alessandro V. PizzoletoFederal University of Sao Carlos, Fabiano FerrariFederal University of São Carlos, Lucas D. DalliloUniversity of Sao Paulo, Jeff OffuttGeorge Mason University
Link to publication DOI
15:30
15m
Full-paper
Predicting Survived and Killed Mutants
Mutation
Alejandra Duque TorresInstitute of Computer Science, University of Tartu, Natia DoliashviliInstitute of Computer Science, University of Tartu, Dietmar PfahlUniversity of Tartu, Rudolf RamlerSoftware Competence Center Hagenberg
Link to publication DOI
15:45
15m
Full-paper
Fault Types of Adaptive and Context-Aware Systems and Their Relationship with Fault-based Testing Approaches
Mutation
Bento Rafael SiqueiraFederal University of São Carlos, Fabiano FerrariFederal University of São Carlos, Kathiani E. SouzaFederal University of São Carlos, Daniel S. M. SantibáñezFederal University of São Carlos, Valter Vieira CamargoFederal University of São Carlos
Link to publication DOI
16:00
15m
Full-paper
MutantDistiller: Using Symbolic Execution for Automatic Detection of Equivalent Mutants and Generation of Mutant Killing Tests
Mutation
Michael Baer, Norbert Oster, Michael PhilippsenFriedrich-Alexander University Erlangen-Nürnberg (FAU)
Link to publication DOI
16:15
15m
Full-paper
An Approach to Identifying Minimal and Equivalent Mutants Based on Source Code Structure
Mutation
Claudinei Brito JuniorUniversidade de São Paulo, Vinicius DurelliUniversidade Federal de São João del-Rei, Rafael S. DurelliFederal University of Lavras Lavras, Simone do Rocio Senger de SouzaUniversity of São Paulo - USP, Auri VincenziFederal University of São Carlos, Marcio Eduardo DelamaroUniversidade de São Paulo
Link to publication DOI

Wed 28 Oct
Times are displayed in time zone: Lisbon change

13:00 - 13:50
Session ITestEd at Arrábida
13:00
5m
Day opening
Welcome
TestEd
Birgitta Lindström, Jeff OffuttGeorge Mason University
13:05
15m
Talk
Teaching a Testing Concept (JUnit) with Active Learning
TestEd
Kesina BaralGeorge Mason University, Paul AmmannGeorge Mason University, USA
Link to publication DOI
13:20
15m
Talk
Teaching Software Testing with Free and Open Source Software
TestEd
Lin DengTowson University, Josh DehlingerTowson University, Suranjan ChakrabortyTowson University
Link to publication DOI
13:35
15m
Talk
Teaching Software Testing in an Algorithms and Data Structures Course
TestEd
Andrea ArcuriKristiania University College, Norway
Link to publication DOI
14:00 - 14:45
Session IITestEd at Arrábida
14:00
15m
Talk
How to Teach Software Testing? Experiences with a Sandwich Approach
TestEd
Leen LambersHasso-Plattner-Institut, Universität Potsdam
Link to publication DOI
14:15
15m
Talk
A Case-based Approach for introducing Testing Tools and Principles
TestEd
Frédéric DadeauUniv. Bourgogne Franche-Comté FEMTO-ST Institute/DISC, CNRS, Besançon, Jean-Philippe Gros, Fabien PeureuxInstitut FEMTO-ST (UMR CNRS 6174) and Smartesting S&S
Link to publication DOI
14:30
15m
Talk
Can Learning Formal Specification Be Fun? - Experience and Perspective
TestEd
Wishnu PrasetyaUtrecht University, Craig LeekUtrecht University, Roan OosenbrugUtrecht University, Petar KosticUtrecht University, Mike de VriesUtrecht University
Link to publication DOI
15:00 - 15:45
Session IIITestEd at Arrábida
15:00
15m
Talk
Integrating Testing Throughout the CS Curriculum
TestEd
Sarah HeckmanNC State University, Jessica Young SchmidtNorth Carolina State University, Jason KingNorth Carolina State University
Link to publication DOI
15:15
15m
Talk
A Preliminary Report on Hands-On and Cross-Course Activities in a College Software Testing Course
TestEd
Upsorn PraphamontripongComputer Science, University of Virginia, Charlottesville, Mark FloryanComputer Science, University of Virginia, Charlottesville, Ryan RitzoComputer Science, University of Virginia, Charlottesville
Link to publication DOI
15:30
15m
Talk
Incorporating Testing Topics in an Object-Oriented Programming Course
TestEd
Link to publication DOI

Sat 24 Oct
Times are displayed in time zone: Lisbon change

Room12:003013:003014:003015:003016:003017:0030
Arrábida

Wed 28 Oct
Times are displayed in time zone: Lisbon change