NEXTA 2020
Sat 24 Oct 2020 Porto, Portugal
co-located with ICST 2020
ICST 2020 (series) / NEXTA 2020 (series) / Alfândega Porto Congress Centre /

Room information: Arrábida

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

Displayed 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 Papadakis University of Luxembourg, Luxembourg
14:30
15m
Full-paper
On the impact of timeouts and JVM crashes in Pitest
Mutation
Thomas Laurent Lero & University College Dublin, Fionnuala Wall Lero and University College Dublin, Anthony Ventresque Lero and University College Dublin
Link to publication DOI
14:45
15m
Full-paper
Using mutation testing to measure behavioural test diversity
Mutation
Francisco Gomes de Oliveira Neto Chalmers | University of Gothenburg, Felix Dobslaw Chalmers University of Technology, Robert Feldt Chalmers 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. Pizzoleto Federal University of Sao Carlos, Fabiano Ferrari Federal University of São Carlos, Lucas D. Dallilo University of Sao Paulo, Jeff Offutt George Mason University
Link to publication DOI
15:30
15m
Full-paper
Predicting Survived and Killed Mutants
Mutation
Alejandra Duque Torres Institute of Computer Science, University of Tartu, Natia Doliashvili Institute of Computer Science, University of Tartu, Dietmar Pfahl University of Tartu, Rudolf Ramler Software 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 Siqueira Federal University of São Carlos, Fabiano Ferrari Federal University of São Carlos, Kathiani E. Souza Federal University of São Carlos, Daniel S. M. Santibáñez Federal University of São Carlos, Valter Vieira Camargo Federal 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 Philippsen Friedrich-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 Junior Universidade de São Paulo, Vinicius Durelli Universidade Federal de São João del-Rei, Rafael S. Durelli Federal University of Lavras Lavras, Simone do Rocio Senger de Souza University of São Paulo - USP, Auri Vincenzi Federal University of São Carlos, Marcio Eduardo Delamaro Universidade de São Paulo
Link to publication DOI
16:45 - 17:30
Session IIIMutation at Arrábida
16:45
30m
Talk
Brainstorm on mutation for new systems: machine learning systems, smart contract, blockchain
Mutation

17:15
15m
Day closing
Awarding and wrap up
Mutation

Wed 28 Oct

Displayed time zone: Lisbon change

13:00 - 13:50
Session ITestEd at Arrábida
13:00
5m
Day opening
Welcome
TestEd
Birgitta Lindström , Jeff Offutt George Mason University
13:05
15m
Talk
Teaching a Testing Concept (JUnit) with Active Learning
TestEd
Kesina Baral George Mason University, Paul Ammann George Mason University, USA
Link to publication DOI
13:20
15m
Talk
Teaching Software Testing with Free and Open Source Software
TestEd
Lin Deng Towson University, Josh Dehlinger Towson University, Suranjan Chakraborty Towson University
Link to publication DOI
13:35
15m
Talk
Teaching Software Testing in an Algorithms and Data Structures Course
TestEd
Andrea Arcuri Kristiania 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 Lambers Hasso-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 Dadeau Univ. Bourgogne Franche-Comté FEMTO-ST Institute/DISC, CNRS, Besançon, Jean-Philippe Gros , Fabien Peureux Institut 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 Prasetya Utrecht University, Craig Leek Utrecht University, Roan Oosenbrug Utrecht University, Petar Kostic Utrecht University, Mike de Vries Utrecht 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 Heckman NC State University, Jessica Young Schmidt North Carolina State University, Jason King North 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 Praphamontripong Computer Science, University of Virginia, Charlottesville, Mark Floryan Computer Science, University of Virginia, Charlottesville, Ryan Ritzo Computer Science, University of Virginia, Charlottesville
Link to publication DOI
15:30
15m
Talk
Incorporating Testing Topics in an Object-Oriented Programming Course
TestEd
Rowland Pitts
Link to publication DOI
16:00 - 17:00
Session IVTestEd at Arrábida
16:00
15m
Talk
Towards a Learning Environment for Internet of Things Testing with LEGO® MINDSTORMS®
TestEd
Thomas Auer , Michael Felderer University of Innsbruck
Link to publication DOI
16:15
15m
Talk
Teaching Software Testing with the Code Defenders Testing Game: Experiences and Improvements
TestEd
Gordon Fraser University of Passau, Alessio Gambi University of Passau, José Miguel Rojas University of Leicester, UK
Link to publication DOI
16:30
15m
Talk
Panel discussion: Tips for online teaching
TestEd

16:55
5m
Day closing
Wrap-up
TestEd

Sat 24 Oct

Displayed time zone: Lisbon change

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

Mutation

Session I

Mutation

Session II

Mutation

Session III

Wed 28 Oct

Displayed time zone: Lisbon change

Room13:003014:003015:003016:0030
Arrábida

TestEd

Session I

TestEd

Session II

TestEd

Session III

TestEd

Session IV

Sat 24 Oct

Displayed time zone: Lisbon change

Room12:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Arrábida
Mutation
Warm Up
12:40 - 13:05
Mutation
Welcome
13:05 - 13:15
Mutation
Keynote
13:15 - 14:30
Mutation
On the impact of timeouts and JVM crashes in Pitest
14:30 - 14:45
Mutation
Using mutation testing to measure behavioural test diversity
14:45 - 15:00
Mutation
SiMut: Exploring Program Similarity to Support the Cost Reduction of Mu ...
15:15 - 15:30
Mutation
Predicting Survived and Killed Mutants
15:30 - 15:45
Mutation
Fault Types of Adaptive and Context-Aware Systems and Their Relationshi ...
15:45 - 16:00
Mutation
MutantDistiller: Using Symbolic Execution for Automatic Detection of Eq ...
16:00 - 16:15
Mutation
An Approach to Identifying Minimal and Equivalent Mutants Based on Sour ...
16:15 - 16:30
Mutation
Brainstorm on mutation for new systems: machine learning systems, smart ...
16:45 - 17:15
Mutation
Awarding and wrap up
17:15 - 17:30

Wed 28 Oct

Displayed time zone: Lisbon change

Room13:0015304514:0015304515:0015304516:00153045
Arrábida
TestEd
Welcome
13:00 - 13:05
TestEd
Teaching a Testing Concept (JUnit) with Active Learning
13:05 - 13:20
TestEd
Teaching Software Testing with Free and Open Source Software
13:20 - 13:35
TestEd
Teaching Software Testing in an Algorithms and Data Structures Course
13:35 - 13:50
TestEd
How to Teach Software Testing? Experiences with a Sandwich Approach
14:00 - 14:15
TestEd
A Case-based Approach for introducing Testing Tools and Principles
14:15 - 14:30
TestEd
Can Learning Formal Specification Be Fun? - Experience and Perspective
14:30 - 14:45
TestEd
Integrating Testing Throughout the CS Curriculum
15:00 - 15:15
TestEd
A Preliminary Report on Hands-On and Cross-Course Activities in a Colle ...
15:15 - 15:30
TestEd
Incorporating Testing Topics in an Object-Oriented Programming Course
15:30 - 15:45
TestEd
Towards a Learning Environment for Internet of Things Testing with LEGO ...
16:00 - 16:15
TestEd
Teaching Software Testing with the Code Defenders Testing Game: Experie ...
16:15 - 16:30
TestEd
Panel discussion: Tips for online teaching
16:30 - 16:45
TestEd
Wrap-up
16:55 - 17:00