NEXTA 2020
Sat 24 Oct 2020 Porto, Portugal
co-located with ICST 2020
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

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
Link to publication DOI

Sat 24 Oct

Displayed time zone: Lisbon change

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

Wed 28 Oct

Displayed time zone: Lisbon change