Write a Blog >>
ICST 2020
Sat 24 - Wed 28 October 2020 Porto, Portugal
VenueAlfândega Porto Congress Centre
Room nameArrábida
Floor0
Additional informationThere is no additional information of this room 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: Greenwich Mean Time : Lisbon change

12:40 - 15:00: Session IMutation at Arrábida
12:40 - 13:05
Day opening
Warm Up
Mutation
13:05 - 13:15
Day opening
Welcome
Mutation
13:15 - 14:30
Talk
Keynote
Mutation
Mike PapadakisUniversity of Luxembourg, Luxembourg
14:30 - 14:45
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 - 15:00
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 - 15:30
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 - 15:45
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 - 16:00
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 - 16:15
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 - 16:30
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
16:45 - 17:30: Session IIIMutation at Arrábida
16:45 - 17:15
Talk
Brainstorm on mutation for new systems: machine learning systems, smart contract, blockchain
Mutation
17:15 - 17:30
Day closing
Awarding and wrap up
Mutation

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

13:00 - 13:50: Session ITestEd at Arrábida
13:00 - 13:05
Day opening
Welcome
TestEd
Birgitta Lindström, Jeff OffuttGeorge Mason University
13:05 - 13:20
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 - 13:35
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 - 13:50
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 - 14:15
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 - 14:30
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 - 14:45
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 - 15:15
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 - 15:30
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 - 15:45
Talk
Incorporating Testing Topics in an Object-Oriented Programming Course
TestEd
Link to publication DOI

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

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

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