Conference Dates
Conference Dates are in time zone (GMT+01:00) Greenwich Mean Time : Lisbon, and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
Sat 24 Oct Times are displayed in time zone: Greenwich Mean Time : Lisbon change
Sat 24 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change
09:00 - 10:30 | Welcome + Session: Process ImprovementNEXTA at D. Luis Chair(s): Pasqualina PotenaRISE Research Institutes of Sweden AB | ||
09:00 15mDay opening | Welcome address and practical arrangements NEXTA | ||
09:15 30mFull-paper | Test Automation Process Improvement in a DevOps Team: Experience report NEXTA Link to publication DOI | ||
09:45 20mShort-paper | Test Automation Challenges for Application Landscape Frameworks NEXTA Nils WildResearch Group Software Construction RWTH Aachen University, Horst LichterRWTH Aachen University, Peter KehrenResearch Group Software Construction RWTH Aachen University Link to publication DOI | ||
10:05 20mFull-paper | Test Automation Improvement Model - TAIM 2.0 NEXTA Sigrid EldhEricsson Link to publication DOI | ||
09:00 - 10:30 | Session IA-MOST at Porto Chair(s): Bernhard AichernigGraz University of Technology A-MOST2020 is held as a virtual workshop via Zoom. Contact [email protected] for the details. | ||
09:00 10mDay opening | Opening A-MOST | ||
09:10 80mTalk | Keynote: Why models? A-MOST | ||
09:15 - 10:30 | Session IITEQS at São João Chair(s): Mehrdad SaadatmandRISE Research Institutes of Sweden ITEQS 2020 is held as a virtual workshop via Zoom. Contact [email protected] for the details. | ||
09:15 15mDay opening | Welcome and opening message ITEQS | ||
09:30 30mFull-paper | Automatic exploratory performance testing using a discriminator neural network ITEQS Ivan PorresÅbo Akademi University, Tanwir AhmadÅbo Akademi University, Hergys RexhaÅbo Akademi University, Sebastien LafondÅbo Akademi University, Dragos TruscanÅbo Akademi University Link to publication DOI | ||
10:00 30mFull-paper | Performance Evaluation of Container's Shared Volumes ITEQS Naylor GarciaUniversity of São Paulo - USP, Paulo Sergio Lopes de SouzaUniversity of São Paulo - USP, Sarita M. BruschiUniversity of São Paulo - USP, Simone do Rocio Senger de SouzaUniversity of São Paulo - USP Link to publication DOI | ||
11:00 - 12:30 | |||
11:00 30mFull-paper | Optimization of automated executions based on integration test configurations of embedded software NEXTA Masashi MizoguchiHitachi Ltd., Takahiro IidaHitachi Automotive Systems Ltd., Toru IrieHitachi Automotive Systems Ltd. Link to publication DOI | ||
11:30 30mFull-paper | Selective Regression Testing based on Big Data: Comparing Feature Extraction Techniques NEXTA Khaled Al-SabbaghUniversity of Gothenburg, Miroslaw StaronUniversity of Gothenburg, Regina HebigChalmers | Gothenburg University, Miroslaw OchodekPoznan University of Technology, Wilhelm MedingEricsson Link to publication DOI | ||
12:00 20mFull-paper | Runtime Prioritization with the Classification Tree Method for Test Automation NEXTA Link to publication DOI | ||
11:00 - 12:30 | Session IIA-MOST at Porto Chair(s): Angelo GargantiniUniversity of Bergamo A-MOST2020 is held as a virtual workshop via Zoom. Contact amost[email protected] for the details. | ||
11:00 30mFull-paper | A Tool for the Automatic Generation of Test Cases and Oracles for Simulation Models Based on Functional Requirements A-MOST Aitor ArrietaMondragon Goi Eskola Politeknikoa, Joseba Andoni AgirreUniversidad Mondragon
, Goiuria SagarduiUniversity of Mondragon
Link to publication DOI | ||
11:30 30mFull-paper | A Model-Based Security Testing Approach for Automotive Over-The-Air Updates A-MOST Shahid MahmoodCoventry University
, Alexy FouilladeEcole superieure d’electronique de l’Ouest, Hoang Nga NguyenCoventry University
, Siraj Ahmed ShaikhCoventry University, Coventry, UK Link to publication DOI | ||
12:00 30mFull-paper | Ontology-based Testing: An Emerging Paradigm for Modeling and Testing Systems and Software A-MOST Franz WotawaTechnische Universitaet Graz, Josip BozicGraz University of Technology (Alumnus), Yihao LiInstitute of Technology, Graz University of Technology Link to publication DOI | ||
11:00 - 12:30 | Session IIITEQS at São João Chair(s): Eduard Paul EnoiuMälardalen University ITEQS 2020 is held as a virtual workshop via Zoom. Contact [email protected] for the details. | ||
11:00 30mFull-paper | Prioritizing Scenarios based on STAMP/STPA Using Statistical Model Checking ITEQS Mitsuaki TsujiNara Institute of Science and Technology, Toshinori TakaiNara Institute of Science and Technology, Kazuki KakimotoNara Institute of Science and Technology, Naoki IshihamaJapan Aerospace Exploration Agency, Masafumi KatahiraJapan Aerospace Exploration Agency, Hajimu IidaNara Institute of Science and Technology Link to publication DOI | ||
11:30 30mFull-paper | Generating Tests for the Discovery of Security Flaws in Product Variants ITEQS Francisco AraújoLASIGE, Faculdade de Ciências da Universidade de Lisboa, Ibéria MedeirosLaSIGE, Faculdade de Ciências da Universidade de Lisboa, Nuno NevesDI FC UL Link to publication DOI | ||
12:00 30mFull-paper | Test Data Generation for False Data Injection Attack Testing in Air Traffic Surveillance *Best Paper* ITEQS Aymeric CretinFemto-ST Institute, Alexandre VernotteFemto-ST Institute, Antoine ChevrotFemto-ST Institute, Fabien PeureuxInstitut FEMTO-ST (UMR CNRS 6174) and Smartesting S&S, Bruno LegeardFEMTO-ST / DISC Link to publication DOI | ||
12:40 - 15:00 | |||
12:40 25mDay opening | Warm Up Mutation | ||
13:05 10mDay opening | Welcome Mutation | ||
13:15 75mTalk | Keynote Mutation Mike PapadakisUniversity of Luxembourg, Luxembourg | ||
14:30 15mFull-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 15mFull-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 | ||
13:00 - 14:00 | |||
13:00 15mDay opening | Welcome to IWCT IWCT | ||
13:15 45mTalk | Keynote: Verifying autonomous systems using ontology-based testing IWCT Franz WotawaTechnische Universitaet Graz | ||
13:00 - 14:20 | |||
13:00 10mDay opening | Opening TAIC PART | ||
13:26 26mTalk | Coding Effective Testing Tools Within Minutes – Live! TAIC PART Andreas ZellerCISPA, Germany | ||
14:10 10mLive Q&A | Q&A: Coding Effective Testing Tools Within Minutes – Live! TAIC PART | ||
14:00 - 15:30 | |||
14:00 30mFull-paper | Optimizing the Parameters of an Evolutionary Algorithm for Fuzzing and Test Data Generation NEXTA Ralf GerlichDr. Rainer Gerlich System and Software Engineering, Christian R. PrauseGerman Aerospace Center - Space Administration Link to publication DOI | ||
14:30 30mFull-paper | Boundary Value Exploration for Software Analysis NEXTA Felix DobslawChalmers University of Technology, Francisco GomesChalmers | University of Gothenburg, Robert FeldtChalmers University of Technology Link to publication DOI | ||
15:00 20mShort-paper | Test Data Generation for MC/DC Criterion using Reinforcement Learning NEXTA Ján ČegiňFaculty of Informatics and Information Technologies Slovak Technical University, Karol RástočnýFaculty of Informatics and Information Technologies, Slovak University of Technology in Bratislava Link to publication DOI | ||
14:00 - 15:30 | Session IIIA-MOST at Porto Chair(s): Raluca LefticaruUniversity of Bradford A-MOST2020 is held as a virtual workshop via Zoom. Contact [email protected] for the details. | ||
14:00 30mFull-paper | Using tabular notation to support Model Based Testing A-MOST Rachid KherraziAkka Technologies Link to publication DOI | ||
14:30 30mFull-paper | Model-Based Testing for MAPE-K adaptation control loops A-MOST Paolo ArcainiNational Institute of Informatics
, Raffaela MirandolaPolitecnico di Milano
, Elvinia RiccobeneComputer Science Dept., University of Milan, Patrizia ScandurraUniversity of Bergamo, Italy Link to publication DOI | ||
15:00 30mFull-paper | Conformance Testing in UPPAAL: A diabolic approach A-MOST Florian LorberAalborg University, Emil Jørgensen NjorAalborg University, Nikolaj Isgård SchmidtAalborg University, Sebastian Reidar PetersenAalborg University Link to publication DOI | ||
14:00 - 15:30 | Session IIIITEQS at São João Chair(s): Dragos TruscanÅbo Akademi University ITEQS 2020 is held as a virtual workshop via Zoom. Contact [email protected] for the details. | ||
14:00 60mTalk | Security Testing using Artificial Intelligence Methods and Techniques ITEQS Franz WotawaTechnische Universitaet Graz | ||
15:00 30mFull-paper | Keywords-based test categorization for Extra-Functional Properties ITEQS Muhammad AbbasRISE Research Institutes of Sweden, Abdul RaufRISE Research Institutes of Sweden, Mehrdad SaadatmandRISE Research Institutes of Sweden, Eduard Paul EnoiuMälardalen University, Daniel SundmarkMälardalen University Link to publication DOI | ||
15:30 10mDay closing | Best Paper Award & Closing ITEQS | ||
14:15 - 14:20 | |||
14:15 5mTalk | Toward an Encoding Approach to Interaction-based Test Suite Minimization IWCT Kohei NishinoWaseda University, Takashi KitamuraNational Institute of Advanced Industrial Science and Technology (AIST), Tomoji KishiWaseda University, Cyrille ArthoKTH Royal Institute of Technology Link to publication DOI | ||
14:20 - 15:10 | |||
14:20 20mFull-paper | An Automata-Based Generation Method for Combinatorial Sequence Testing of Finite State Machines IWCT Link to publication DOI | ||
14:40 10mShort-paper | Combinatorial Methods for Explainable AI IWCT Rick KuhnNatl Institute of Standards & Technology, Raghu KackerNational Institute of Standards and Technology, Jeff LeiUniversity of Texas at Arlington, Dimitris SimosSBA Research Link to publication DOI | ||
14:50 20mFull-paper | Generation of Invalid Test Inputs from Over-Constrained Test Models for Combinatorial Robustness Testing IWCT Link to publication DOI | ||
14:20 - 15:55 | |||
14:20 15mTalk | On Using k-means Clustering for Test Suite Reduction TAIC PART Link to publication DOI | ||
14:35 15mTalk | Prioritization of Test Cases with Varying Test Costs and Fault Severities for Certification Testing TAIC PART Link to publication DOI | ||
14:50 15mTalk | Test Tools: an illusion of usability? TAIC PART Link to publication DOI | ||
15:05 15mTalk | Towards a unified catalog of attributes to guide industry in software testing technique selection TAIC PART Italo SantosUniversity of São Paulo, Silvana Morita Melo, Paulo Sergio Lopes de SouzaUniversity of São Paulo - USP, Simone do Rocio Senger de SouzaUniversity of São Paulo - USP Link to publication DOI | ||
15:20 15mTalk | Data Dynamics for Testing Systems Fast Abstract: Data Dynamics for Testing Systems TAIC PART Julian HartyCommercetest Ltd Link to publication DOI | ||
15:35 20mLive Q&A | Q&A TAIC PART | ||
15:00 - 17:00 | |||
15:00 30mDay opening | Welcome to CCIW CCIW | ||
15:30 30mTalk | Interoperability Challenges in CI/CD Ecosystem CCIW Fatih DegirmenciEricsson Software Technology | ||
16:00 30mTalk | Test flakiness reduction of retry reduction? Why not have both? CCIW Stanislaw SwiercFacebook | ||
16:30 30mTalk | Continuous Data Analysis for CI CCIW Thomas BachHeidelberg University | ||
16:00 - 17:30 | |||
16:00 30mFull-paper | On the Industrial Applicability of Augmented Testing: An Empirical Study NEXTA Michel NassBlekinge Institute of Technology, Emil AlégrothBlekinge Institute of Technology, Robert FeldtChalmers University of Technology Link to publication DOI | ||
16:30 20mFull-paper | Session-Based Recommender Systems for Action Selection in GUI Test Generation NEXTA Link to publication DOI | ||
16:50 40mAwards | Award Ceremony -- Best Question Award; Best Presentation Award; Most influential tweet award NEXTA | ||
16:00 - 17:30 | Session IVA-MOST at Porto Chair(s): Florian LorberAalborg University A-MOST2020 is held as a virtual workshop via Zoom. Contact [email protected] for the details. | ||
16:00 30mFull-paper | Model-Based Testing of Read Only Graph Queries A-MOST Leen LambersHasso-Plattner-Institut, Universität Potsdam
, Sven SchneiderHasso-Plattner-Institut, Universität Potsdam
, Marcel WeisgutHasso-Plattner-Institut, Universität Potsdam
Link to publication DOI | ||
16:30 30mFull-paper | Optimizing decision making in concolic execution using reinforcement learning A-MOST Ciprian PaduraruUniversity of Bucharest
, Alin StefanescuUniversity of Bucharest
, Miruna Gabriela PaduraruUniversity of Bucharest
Link to publication DOI | ||
17:00 30mDay closing | Closing A-MOST | ||
16:45 - 17:30 | |||
16:45 30mTalk | Brainstorm on mutation for new systems: machine learning systems, smart contract, blockchain Mutation | ||
17:15 15mDay closing | Awarding and wrap up Mutation | ||
16:55 - 17:55 | |||
16:55 60mDay closing | Wrap up (feedback, planning) IWCT | ||
17:15 - 18:45 | |||
17:15 30mTalk | Escalating CI/CD for Growing Companies: The Pipelines 2.0 Project CCIW Cristiano CunhaFarfetch | ||
17:45 30mTalk | Culprit Finder: Tinderbox Build Breakage Triaging Tool CCIW Shruti HonnungarVMware | ||
18:15 30mTalk | Athena: Keeping the build stable automatically CCIW Utsav ShahDropbox | ||
19:00 - 19:30 | |||
19:00 30mTalk | What are the biggest challenges in large scale CI/CD? CCIW | ||
Sun 25 Oct Times are displayed in time zone: Greenwich Mean Time : Lisbon change
Sun 25 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change
09:00 - 09:15 | Intro & WelcomeResearch Papers / Tool Demos Track / Journal-First Papers / Industry Track / Testing Tools Track at Plenary Room +11h Chair(s): João Pascoal FariaFaculty of Engineering, University of Porto and INESC TEC, Rui AbreuFaculty of Engineering, University of Porto, Portugal | ||
09:00 15mDay opening | Intro & Welcome Research Papers | ||
09:15 - 10:45 | RT1 - Fault Localization and Debugging InfanteResearch Papers at Infante +11h Chair(s): Andreas ZellerCISPA, Germany | ||
09:15 30mTalk | Can We Predict the Quality of Spectrum-based Fault Localization? Research Papers Mojdeh GolaghaTechnical University of Munich, Alexander PretschnerTechnical University of Munich, Lionel BriandUniversity of Luxembourg, University of Ottawa Link to publication DOI | ||
09:45 30mTalk | Substate Profiling for Enhanced Fault Detection and Localization: An Empirical Study Research Papers Rawad Abou AssiAmerican University of Beirut, Wes MasriAmerican University of Beirut, Chadi TradAmerican University of Beirut Link to publication DOI | ||
10:15 30mTalk | More Accurate Dynamic Slicing for Better Supporting Software Debugging Research Papers Link to publication DOI | ||
11:00 - 12:30 | RT3 - Testing Deep Learning and Robotic SystemsResearch Papers at Farfetch (D. Maria) +11h Chair(s): Antonio FilieriImperial College London | ||
11:00 30mTalk | An Empirical Evaluation of Mutation Operators for Deep Learning Systems Research Papers Link to publication DOI | ||
11:30 30mTalk | Comparing Offline and Online Testing of Deep Neural Networks: An Autonomous Car Case Study Research Papers Fitash Ul HaqUniversity of Luxembourg, Donghwan ShinUniversity of Luxembourg, Shiva NejatiUniversity of Luxembourg, Lionel BriandUniversity of Luxembourg, University of Ottawa Link to publication DOI | ||
12:00 30mTalk | A Study on Challenges of Testing Robotic Systems Research Papers Afsoon AfzalCarnegie Mellon University, Claire Le GouesCarnegie Mellon University, Michael HiltonCarnegie Mellon University, USA, Christopher Steven TimperleyCarnegie Mellon University Link to publication DOI | ||
11:00 - 12:30 | RT2 - Test Generation InfanteResearch Papers at Infante +11h Chair(s): Marcelo d'AmorimFederal University of Pernambuco | ||
11:00 30mTalk | Language-Agnostic Generation of Compilable Test Programs Research Papers Patrick KreutzerFriedrich-Alexander University Erlangen-Nürnberg, Stefan KrausFriedrich-Alexander University Erlangen-Nürnberg, Michael PhilippsenFriedrich-Alexander University Erlangen-Nürnberg (FAU) Link to publication DOI | ||
11:30 30mTalk | MiMIs: Simple, Efficient, and Fast Bounded-Exhaustive Test Case Generators Research Papers Kyle DeweyCalifornia State University, Northridge, Shant HairapetianUniversity of Oregon, Miroslav GavrilovUniversity of California, Santa Barbara Link to publication DOI | ||
12:00 30mTalk | Learning How to Search: Generating Exception-Triggering Tests Through Adaptive Fitness Function Selection Research Papers Link to publication DOI | ||
14:00 - 15:00 | RT4 - Misc 1Research Papers at Infante +11h Chair(s): Andrea StoccoUniversità della Svizzera italiana (USI) | ||
14:00 30mTalk | Determining Method-Call Sequences for Object Creation in C++ Research Papers Link to publication DOI | ||
14:30 30mTalk | NodeRacer: Event Race Detection for Node.js Applications Research Papers André T. EndoFederal University of Technology - Paraná (UTFPR), Anders MøllerAarhus University, Denmark Link to publication DOI | ||
16:15 - 17:15 | Keynote 1Research Papers / Tool Demos Track / Journal-First Papers / Industry Track / Testing Tools Track at Plenary Room Chair(s): João Pascoal FariaFaculty of Engineering, University of Porto and INESC TEC | ||
16:15 60mKeynote | One-click formal methods Research Papers Liana HadareanAmazon Link to publication | ||
20:00 - 20:15 | Intro & WelcomeResearch Papers / Tool Demos Track / Journal-First Papers / Industry Track / Testing Tools Track at Plenary Room Chair(s): João Pascoal FariaFaculty of Engineering, University of Porto and INESC TEC, Rui AbreuFaculty of Engineering, University of Porto, Portugal | ||
20:00 15mDay opening | Intro & Welcome Research Papers | ||
20:15 - 21:45 | |||
20:15 30mTalk | Parallelization of Classical Numerical Optimization in Quantum Variational Algorithms Industry Track Marco PistoiaJPMorgan Chase & Co, Peng LiuGoogle, Chun-Fu Richard ChenIBM, Shaohan HuIBM, Stephen WoodIBM Link to publication DOI | ||
20:45 30mTalk | SPECMATE: Automated Creation of Test Cases from Acceptance Criteria Industry Track Jannik FischbachQualicen GmbH, Andreas VogelsangUniversity of Cologne, Dominik SpiesQualicen GmbH, Andreas WehrleQualicen GmbH, Maximilian JunkerQualicen GmbH, Dietmar FreudensteinAllianz Deutschland AG Link to publication DOI | ||
21:15 30mTalk | Tool Support for Refactoring Manual Tests Industry Track Elodie BernardFEMTO-ST Institute, Univ. Bourgogne Franche-Comté, Sogeti, Julien BotellaSmartesting, Fabrice AmbertFEMTO-ST Institute, Bruno LegeardFEMTO-ST / DISC, Mark UttingUniversity of the Sunshine Coast Link to publication DOI | ||
20:15 - 21:45 | RT1 - Fault Localization and Debugging InfanteResearch Papers at Infante Chair(s): Jose CamposUniversity of Lisbon, Portugal | ||
20:15 30mTalk | Can We Predict the Quality of Spectrum-based Fault Localization? Research Papers Mojdeh GolaghaTechnical University of Munich, Alexander PretschnerTechnical University of Munich, Lionel BriandUniversity of Luxembourg, University of Ottawa Link to publication DOI | ||
20:45 30mTalk | Substate Profiling for Enhanced Fault Detection and Localization: An Empirical Study Research Papers Rawad Abou AssiAmerican University of Beirut, Wes MasriAmerican University of Beirut, Chadi TradAmerican University of Beirut Link to publication DOI | ||
21:15 30mTalk | More Accurate Dynamic Slicing for Better Supporting Software Debugging Research Papers Link to publication DOI | ||
22:00 - 23:30 | RT3 - Testing Deep Learning and Robotic SystemsResearch Papers at Farfetch (D. Maria) Chair(s): João Pascoal FariaFaculty of Engineering, University of Porto and INESC TEC | ||
22:00 30mTalk | An Empirical Evaluation of Mutation Operators for Deep Learning Systems Research Papers Link to publication DOI | ||
22:30 30mTalk | Comparing Offline and Online Testing of Deep Neural Networks: An Autonomous Car Case Study Research Papers Fitash Ul HaqUniversity of Luxembourg, Donghwan ShinUniversity of Luxembourg, Shiva NejatiUniversity of Luxembourg, Lionel BriandUniversity of Luxembourg, University of Ottawa Link to publication DOI | ||
23:00 30mTalk | A Study on Challenges of Testing Robotic Systems Research Papers Afsoon AfzalCarnegie Mellon University, Claire Le GouesCarnegie Mellon University, Michael HiltonCarnegie Mellon University, USA, Christopher Steven TimperleyCarnegie Mellon University Link to publication DOI | ||
22:00 - 23:30 | RT2 - Test Generation InfanteResearch Papers at Infante Chair(s): Corina S. PasareanuCarnegie Mellon University Silicon Valley, NASA Ames Research Center | ||
22:00 30mTalk | Language-Agnostic Generation of Compilable Test Programs Research Papers Patrick KreutzerFriedrich-Alexander University Erlangen-Nürnberg, Stefan KrausFriedrich-Alexander University Erlangen-Nürnberg, Michael PhilippsenFriedrich-Alexander University Erlangen-Nürnberg (FAU) Link to publication DOI | ||
22:30 30mTalk | MiMIs: Simple, Efficient, and Fast Bounded-Exhaustive Test Case Generators Research Papers Kyle DeweyCalifornia State University, Northridge, Shant HairapetianUniversity of Oregon, Miroslav GavrilovUniversity of California, Santa Barbara Link to publication DOI | ||
23:00 30mTalk | Learning How to Search: Generating Exception-Triggering Tests Through Adaptive Fitness Function Selection Research Papers Link to publication DOI | ||
Mon 26 Oct Times are displayed in time zone: Greenwich Mean Time : Lisbon change
Mon 26 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change
01:00 - 02:00 | RT4 - Misc 1Research Papers at Infante Chair(s): Corina S. PasareanuCarnegie Mellon University Silicon Valley, NASA Ames Research Center | ||
01:00 30mTalk | Determining Method-Call Sequences for Object Creation in C++ Research Papers Link to publication DOI | ||
01:30 30mTalk | NodeRacer: Event Race Detection for Node.js Applications Research Papers André T. EndoFederal University of Technology - Paraná (UTFPR), Anders MøllerAarhus University, Denmark Link to publication DOI | ||
09:00 - 09:30 | Most Influential Paper AwardsResearch Papers / Tool Demos Track / Journal-First Papers / Industry Track / Testing Tools Track at Plenary Room +11h Chair(s): Luís CruzDeflt University of Technology | ||
09:00 15mAwards | Using Mutation to Automatically Suggest Fixes for Faulty Programs Research Papers Media Attached | ||
09:15 15mAwards | Searching for a needle in a haystack predicting security vulnerabilities for Windows Vista Research Papers Thomas ZimmermannMicrosoft Research, Nachiappan NagappanMicrosoft Research, USA, Laurie WilliamsNorth Carolina State University Media Attached | ||
09:30 - 10:30 | |||
10:45 - 12:15 | IT2 - MiscIndustry Track at Farfetch (D. Maria) +11h Chair(s): Luís CruzDeflt University of Technology | ||
10:45 30mTalk | EC.LANG - A Language for Specifying Response Time Analyses of Event Chains Industry Track Max FrieseChristian-Albrechts-Universität zu Kiel, Johannes TraubDaimler AG, Dirk NowotkaChristian-Albrechts-Universität zu Kiel Link to publication DOI | ||
11:15 30mTalk | Detecting Higher-Order Merge Conflicts in Large Software Projects Industry Track Link to publication DOI | ||
11:45 30mTalk | Scaling Test Case Generation For Expressive Decision Tables Industry Track Supriya AgrawalTata Consultancy Services Ltd. (TCS), R VenkateshTata Consultancy Services Ltd. (TCS), Ulka ShrotriTata Consultancy Services Ltd. (TCS), Amey ZareTata Consultancy Services Ltd. (TCS), Sagar VermaTata Consultancy Services Ltd. (TCS) Link to publication DOI | ||
10:45 - 12:15 | RT6 - Web TestingResearch Papers at Infante +11h Chair(s): Jose CamposUniversity of Lisbon, Portugal | ||
10:45 30mTalk | Fostering the Diversity of Exploratory Testing in Web Applications Research Papers Julien LeveauLaBRI, Xavier BlancLaBRI, Laurent RéveillèreLaBRI, Jean-Rémy FalleriBordeaux INP, Romain RouvoyUniv. Lille / Inria / IUF Link to publication DOI | ||
11:15 30mTalk | Dependency-Aware Web Test Generation Research Papers Matteo BiagiolaFondazione Bruno Kessler (FBK), Andrea StoccoUniversità della Svizzera italiana (USI), Filippo RiccaUniversità di Genova, Paolo TonellaUniversità della Svizzera Italiana (USI) Link to publication DOI | ||
11:45 30mTalk | Metamorphic Security Testing for Web Systems Research Papers Phu X. MaiUniversity of Luxembourg, Fabrizio PastoreUniversity of Luxembourg, Arda GoknilSnT, University of Luxembourg, Lionel BriandUniversity of Luxembourg, University of Ottawa Link to publication DOI | ||
10:45 - 12:15 | Doctoral Symposium 1Doctoral Symposium at São João Chair(s): Ana PaivaFaculty of Engineering of the University of Porto, Shaukat AliSimula Research Laboratory | ||
10:45 30mTalk | Panel 1: From research to industry Doctoral Symposium Goiuria SagarduiUniversity of Mondragon
| ||
11:15 30mTalk | How Can Software Testing be Improved by Analytics to Deliver Better Apps? Doctoral Symposium Julian HartyCommercetest Ltd Link to publication DOI | ||
11:45 30mTalk | Automated verification of compliance of non-functional requirements on mobile applications through metamorphic testing Doctoral Symposium Misael JúniorUniversity of Sao Paulo (USP) Link to publication DOI | ||
13:45 - 15:15 | Journal First 1Journal-First Papers at Farfetch (D. Maria) +11h Chair(s): Maurício AnicheDelft University of Technology, Netherlands | ||
13:45 30mTalk | Modeling Foundations for Executable Model-Based Testing of Self-Healing Cyber-Physical Systems Journal-First Papers Tao MaSimula Research Laboratory, Shaukat AliSimula Research Laboratory, Tao YueNanjing University of Aeronautics and Astronautics Link to publication DOI | ||
14:15 30mTalk | Empirical evaluation of mutation-based test case prioritization techniques Journal-First Papers Donghwan ShinUniversity of Luxembourg, Shin YooKorea Advanced Institute of Science and Technology, Mike PapadakisUniversity of Luxembourg, Luxembourg, Doo-Hwan BaeKorea Advanced Institute of Science and Technology Link to publication DOI | ||
14:45 30mTalk | Are Unit and Integration Test Definitions Still Valid for Modern Java Projects? An Empirical Study on Open-Source Projects Journal-First Papers Fabian TrautschUniversity of Göttingen, Steffen HerboldUniversity of Göttingen, Jens GrabowskiUniversity of Göttingen Link to publication DOI | ||
13:45 - 15:15 | RT7 - Optimizing TestingResearch Papers at Infante +11h Chair(s): Fabiano FerrariFederal University of São Carlos | ||
13:45 30mTalk | Optimizing Mutation Testing by Discovering Dynamic Mutant Subsumption Relations Research Papers Marcio Augusto GuimarãesFederal University of Alagoas (UFAL), Leo FernandesFederal Institute of Alagoas (IFAL), Márcio RibeiroFederal University of Alagoas, Brazil, Marcelo d'AmorimFederal University of Pernambuco, Rohit GheyiFederal University of Campina Grande Link to publication DOI | ||
14:15 30mTalk | Massively Parallel, Highly Efficient, but What About the Test Suite Quality? Applying Mutation Testing to GPU Programs Research Papers Link to publication DOI Pre-print | ||
14:45 30mTalk | STICCER: Fast and Effective Database Test Suite Reduction Through Merging of Similar Test Cases Research Papers Abdullah AlsharifThe University of Sheffield, Gregory KapfhammerAllegheny College, USA, Phil McMinnUniversity of Sheffield Link to publication DOI | ||
13:45 - 15:15 | Doctoral Symposium 2Doctoral Symposium at São João Chair(s): Ana PaivaFaculty of Engineering of the University of Porto, Shaukat AliSimula Research Laboratory | ||
13:45 30mTalk | Panel 2: How to get your paper rejected? Doctoral Symposium Jeff OffuttGeorge Mason University | ||
14:15 30mTalk | Well-informed Test Case Generation and Crash Reproduction Doctoral Symposium Pouria DerakhshanfarDelft University of Technology Link to publication DOI | ||
14:45 30mTalk | Anomaly Analyses to Guide Software Testing Activity Doctoral Symposium Allan MoriUniversity of São Paulo - USP Link to publication DOI | ||
15:30 - 17:00 | RT9 - Empirical Analysis and Program RepairResearch Papers at Farfetch (D. Maria) +11h Chair(s): Corina S. PasareanuCarnegie Mellon University Silicon Valley, NASA Ames Research Center | ||
15:30 30mTalk | An Empirical Analysis of Blind Tests Research Papers Link to publication DOI | ||
16:00 30mTalk | A Family of Experiments to Assess the Impact of Page Object Pattern in Web Test Suite Development Research Papers Maurizio LeottaUniversità di Genova, Matteo BiagiolaFondazione Bruno Kessler (FBK), Filippo RiccaUniversità di Genova, Mariano CeccatoUniversity of Verona, Paolo TonellaUniversità della Svizzera Italiana (USI) Link to publication DOI | ||
16:30 30mTalk | Human-In-The-Loop Automatic Program Repair Research Papers Marcel BöhmeMonash University, Australia, Charaka GeethalMonash University, Van-Thuan PhamMonash University Link to publication DOI | ||
15:30 - 17:00 | RT8 - Misc 2Journal-First Papers / Research Papers at Infante +11h Chair(s): Alin StefanescuUniversity of Bucharest | ||
15:30 30mTalk | Implementation-induced Inconsistency and Nondeterminism in Deterministic Clustering Algorithms Research Papers Xin YinNew Jersey Institute of Technology, Iulian NeamtiuNew Jersey Institute of Technology, USA, Saketan PatilNew Jersey Institute of Technology, Sean AndrewsNew Jersey Institute of Technology Link to publication DOI | ||
16:00 30mTalk | CBR: Controlled Burst Recording Research Papers Oscar CornejoUniversity of Milano Bicocca, Italy, Daniela BriolaUniversity of Milano Bicocca, Daniela MicucciUniversity of Milano Bicocca, Leonardo MarianiUniversity of Milano Bicocca Link to publication DOI | ||
16:30 30mTalk | Mahtab: Phase-wise acceleration of regression testing for C Journal-First Papers Link to publication DOI Media Attached | ||
15:30 - 17:00 | Doctoral Symposium 3Doctoral Symposium at São João Chair(s): Shaukat AliSimula Research Laboratory, Ana PaivaFaculty of Engineering of the University of Porto | ||
15:30 30mTalk | Panel 3: Why and How to Get a Ph.D.? Doctoral Symposium Lionel BriandUniversity of Luxembourg, University of Ottawa | ||
16:00 30mTalk | Toward Automated Assessment of User Experience in Extended Reality Doctoral Symposium Saba Gholizadeh AnsariUtrecht University Link to publication DOI | ||
16:30 30mTalk | Source-Codeless Testing for Android Apps Doctoral Symposium Camilo Escobar-VelásquezUniversidad de los Andes Link to publication DOI | ||
20:00 - 20:30 | Most Influential Paper AwardsResearch Papers / Tool Demos Track / Journal-First Papers / Industry Track / Testing Tools Track at Plenary Room Chair(s): João Pascoal FariaFaculty of Engineering, University of Porto and INESC TEC, Rui AbreuFaculty of Engineering, University of Porto, Portugal | ||
20:00 15mAwards | Using Mutation to Automatically Suggest Fixes for Faulty Programs Research Papers Media Attached | ||
20:15 15mAwards | Searching for a needle in a haystack predicting security vulnerabilities for Windows Vista Research Papers Thomas ZimmermannMicrosoft Research, Nachiappan NagappanMicrosoft Research, USA, Laurie WilliamsNorth Carolina State University Media Attached | ||
21:45 - 23:15 | IT2 - MiscIndustry Track at Farfetch (D. Maria) Chair(s): Rui AbreuFaculty of Engineering, University of Porto, Portugal | ||
21:45 30mTalk | EC.LANG - A Language for Specifying Response Time Analyses of Event Chains Industry Track Max FrieseChristian-Albrechts-Universität zu Kiel, Johannes TraubDaimler AG, Dirk NowotkaChristian-Albrechts-Universität zu Kiel Link to publication DOI | ||
22:15 30mTalk | Detecting Higher-Order Merge Conflicts in Large Software Projects Industry Track Link to publication DOI | ||
22:45 30mTalk | Scaling Test Case Generation For Expressive Decision Tables Industry Track Supriya AgrawalTata Consultancy Services Ltd. (TCS), R VenkateshTata Consultancy Services Ltd. (TCS), Ulka ShrotriTata Consultancy Services Ltd. (TCS), Amey ZareTata Consultancy Services Ltd. (TCS), Sagar VermaTata Consultancy Services Ltd. (TCS) Link to publication DOI | ||
21:45 - 23:15 | RT6 - Web TestingResearch Papers at Infante Chair(s): Fabiano FerrariFederal University of São Carlos | ||
21:45 30mTalk | Fostering the Diversity of Exploratory Testing in Web Applications Research Papers Julien LeveauLaBRI, Xavier BlancLaBRI, Laurent RéveillèreLaBRI, Jean-Rémy FalleriBordeaux INP, Romain RouvoyUniv. Lille / Inria / IUF Link to publication DOI | ||
22:15 30mTalk | Dependency-Aware Web Test Generation Research Papers Matteo BiagiolaFondazione Bruno Kessler (FBK), Andrea StoccoUniversità della Svizzera italiana (USI), Filippo RiccaUniversità di Genova, Paolo TonellaUniversità della Svizzera Italiana (USI) Link to publication DOI | ||
22:45 30mTalk | Metamorphic Security Testing for Web Systems Research Papers Phu X. MaiUniversity of Luxembourg, Fabrizio PastoreUniversity of Luxembourg, Arda GoknilSnT, University of Luxembourg, Lionel BriandUniversity of Luxembourg, University of Ottawa Link to publication DOI | ||
Tue 27 Oct Times are displayed in time zone: Greenwich Mean Time : Lisbon change
Tue 27 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change
02:30 - 04:00 | RT9 - Empirical Analysis and Program RepairResearch Papers at Farfetch (D. Maria) Chair(s): Corina S. PasareanuCarnegie Mellon University Silicon Valley, NASA Ames Research Center | ||
02:30 30mTalk | An Empirical Analysis of Blind Tests Research Papers Link to publication DOI | ||
03:00 30mTalk | A Family of Experiments to Assess the Impact of Page Object Pattern in Web Test Suite Development Research Papers Maurizio LeottaUniversità di Genova, Matteo BiagiolaFondazione Bruno Kessler (FBK), Filippo RiccaUniversità di Genova, Mariano CeccatoUniversity of Verona, Paolo TonellaUniversità della Svizzera Italiana (USI) Link to publication DOI | ||
03:30 30mTalk | Human-In-The-Loop Automatic Program Repair Research Papers Marcel BöhmeMonash University, Australia, Charaka GeethalMonash University, Van-Thuan PhamMonash University Link to publication DOI | ||
02:30 - 04:00 | |||
02:30 30mTalk | Implementation-induced Inconsistency and Nondeterminism in Deterministic Clustering Algorithms Research Papers Xin YinNew Jersey Institute of Technology, Iulian NeamtiuNew Jersey Institute of Technology, USA, Saketan PatilNew Jersey Institute of Technology, Sean AndrewsNew Jersey Institute of Technology Link to publication DOI | ||
03:00 30mTalk | CBR: Controlled Burst Recording Research Papers Oscar CornejoUniversity of Milano Bicocca, Italy, Daniela BriolaUniversity of Milano Bicocca, Daniela MicucciUniversity of Milano Bicocca, Leonardo MarianiUniversity of Milano Bicocca Link to publication DOI | ||
03:30 30mTalk | Mahtab: Phase-wise acceleration of regression testing for C Journal-First Papers Link to publication DOI Media Attached | ||
09:00 - 10:00 | RT10 - Misc 3Research Papers at Infante +11h Chair(s): Thomas DurieuxKTH Royal Institute of Technology, Sweden | ||
09:00 30mTalk | A Framework for In-Vivo Testing of Mobile Applications Research Papers Mariano CeccatoUniversity of Verona, Davide CorradiniFondazione Bruno Kessler, Luca Gazzola Università degli Studi di Milano-Bicocca, Fitsum KifetewFondazione Bruno Kessler, Leonardo MarianiUniversity of Milano Bicocca, Matteo OrruUniversity of Milano Bicocca, Paolo TonellaUniversità della Svizzera Italiana (USI) Link to publication DOI | ||
09:30 30mTalk | Prioritizing Runtime Verification Violations Research Papers Breno MirandaFederal University of Pernambuco, Igor LimaFederal University of Pernambuco, Owolabi LegunsenCornell University, Marcelo d'AmorimFederal University of Pernambuco Link to publication DOI | ||
10:00 - 11:00 | IT3 - Safety & SecurityIndustry Track at Farfetch (D. Maria) +11h Chair(s): Rui AbreuFaculty of Engineering, University of Porto, Portugal | ||
10:00 30mTalk | Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems Industry Track Alessandro CalòTechnical University of Munich, Paolo ArcainiNational Institute of Informatics
, Shaukat AliSimula Research Laboratory, Florian HauerTechnical University of Munich, Fuyuki IshikawaNational Institute of Informatics Link to publication DOI | ||
10:30 30mTalk | Checking Security Properties of Cloud Service REST APIs Industry Track Vaggelis AtlidakisColumbia University, Patrice GodefroidMicrosoft Research, USA, Marina PolishchukMicrosoft Research, USA Link to publication DOI | ||
10:00 - 11:00 | Testing toolsTesting Tools Track at Infante +11h Chair(s): Andy ZaidmanDelft University of Technology, René JustUniversity of Washington, USA | ||
10:00 15mTalk | Callisto: Entropy-based Test Generation and Data Quality Assessment for Machine Learning Systems Testing Tools Track Sakshi Udeshi, Xingbin JiangSingapore University of Technology and Design, Sudipta ChattopadhyaySingapore University of Technology and Design Link to publication DOI | ||
10:15 15mTalk | Run Java Applications and Test Them In-Vivo Meantime Testing Tools Track Antonia BertolinoCNR-ISTI, Guglielmo De AngelisCNR-IASI, CNR-ISTI, Breno MirandaFederal University of Pernambuco, Paolo TonellaUniversità della Svizzera Italiana (USI) Link to publication DOI | ||
10:30 15mTalk | AFLNet: A Greybox Fuzzer for Network Protocols Testing Tools Track Van-Thuan PhamMonash University, Marcel BöhmeMonash University, Australia, Abhik RoychoudhuryNational University of Singapore, Singapore Link to publication DOI | ||
10:45 15mTalk | ct-fuzz: Fuzzing for Timing Leaks Testing Tools Track Link to publication DOI | ||
11:15 - 12:15 | Open Steering Commitee & ICST 2021 PresentationResearch Papers at Plenary Room Chair(s): Shin YooKorea Advanced Institute of Science and Technology | ||
11:15 60mMeeting | Open Steering Commitee & ICST 2021 Presentation Research Papers | ||
13:45 - 14:45 | Keynote 3Research Papers at Plenary Room Chair(s): Rui AbreuFaculty of Engineering, University of Porto, Portugal | ||
13:45 60mKeynote | SunDew: Systematic Automated Security Testing Research Papers Franjo IvancicGoogle | ||
20:00 - 21:00 | |||
20:00 30mTalk | A Framework for In-Vivo Testing of Mobile Applications Research Papers Mariano CeccatoUniversity of Verona, Davide CorradiniFondazione Bruno Kessler, Luca Gazzola Università degli Studi di Milano-Bicocca, Fitsum KifetewFondazione Bruno Kessler, Leonardo MarianiUniversity of Milano Bicocca, Matteo OrruUniversity of Milano Bicocca, Paolo TonellaUniversità della Svizzera Italiana (USI) Link to publication DOI | ||
20:30 30mTalk | Prioritizing Runtime Verification Violations Research Papers Breno MirandaFederal University of Pernambuco, Igor LimaFederal University of Pernambuco, Owolabi LegunsenCornell University, Marcelo d'AmorimFederal University of Pernambuco Link to publication DOI | ||
21:00 - 22:00 | IT3 - Safety & SecurityIndustry Track at Farfetch (D. Maria) Chair(s): Rui AbreuFaculty of Engineering, University of Porto, Portugal | ||
21:00 30mTalk | Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems Industry Track Alessandro CalòTechnical University of Munich, Paolo ArcainiNational Institute of Informatics
, Shaukat AliSimula Research Laboratory, Florian HauerTechnical University of Munich, Fuyuki IshikawaNational Institute of Informatics Link to publication DOI | ||
21:30 30mTalk | Checking Security Properties of Cloud Service REST APIs Industry Track Vaggelis AtlidakisColumbia University, Patrice GodefroidMicrosoft Research, USA, Marina PolishchukMicrosoft Research, USA Link to publication DOI | ||
21:00 - 22:00 | Testing toolsTesting Tools Track at Infante Chair(s): René JustUniversity of Washington, USA, Andy ZaidmanDelft University of Technology | ||
21:00 15mTalk | Callisto: Entropy-based Test Generation and Data Quality Assessment for Machine Learning Systems Testing Tools Track Sakshi Udeshi, Xingbin JiangSingapore University of Technology and Design, Sudipta ChattopadhyaySingapore University of Technology and Design Link to publication DOI | ||
21:15 15mTalk | Run Java Applications and Test Them In-Vivo Meantime Testing Tools Track Antonia BertolinoCNR-ISTI, Guglielmo De AngelisCNR-IASI, CNR-ISTI, Breno MirandaFederal University of Pernambuco, Paolo TonellaUniversità della Svizzera Italiana (USI) Link to publication DOI | ||
21:30 15mTalk | AFLNet: A Greybox Fuzzer for Network Protocols Testing Tools Track Van-Thuan PhamMonash University, Marcel BöhmeMonash University, Australia, Abhik RoychoudhuryNational University of Singapore, Singapore Link to publication DOI | ||
21:45 15mTalk | ct-fuzz: Fuzzing for Timing Leaks Testing Tools Track Link to publication DOI | ||
Wed 28 Oct Times are displayed in time zone: Greenwich Mean Time : Lisbon change
Wed 28 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change
09:00 - 10:30 | |||
09:00 15mTalk | Welcome Session ToCaMS | ||
09:15 45mKeynote | Keynote: Product Line Testing with pure::variants and Beyond ToCaMS Danilo BeucheLeipzig University | ||
10:00 30mSocial Event | World Cafe ToCaMS | ||
09:00 - 11:10 | |||
09:00 10mDay opening | Welcom INTUITESTBEDS | ||
09:10 30mFull-paper | Translation from Visual to Layout-based Android Test Cases: a Proof of Concept INTUITESTBEDS Riccardo CoppolaPolitecnico di Torino, Luca ArditoPolitecnico di Torino, Marco TorchianoPolitecnico di Torino, Emil AlégrothBlekinge Institute of Technology Link to publication DOI | ||
09:40 30mFull-paper | An Automated Testing Framework For Smart TV apps Based on Model Separation INTUITESTBEDS Bestoun S. AhmedKarlstad University, Angelo GargantiniUniversity of Bergamo, Miroslav BuresCzech Technical University in Prague Link to publication DOI | ||
10:10 30mFull-paper | Supporting efficient test automation using lightweight MBT INTUITESTBEDS Elodie BernardFEMTO-ST Institute, Univ. Bourgogne Franche-Comté, Sogeti, Fabrice AmbertFEMTO-ST Institute, Bruno LegeardFEMTO-ST / DISC Link to publication DOI | ||
10:40 30mFull-paper | Model-Based Testing of GUI Applications Featuring Dynamic Instanciation of Widgets INTUITESTBEDS Alexandre CannyICS-IRIT, Université Toulouse III Paul Sabatier, Philippe PalanqueICS-IRIT, Université Toulouse III Paul Sabatier, David NavarreICS-IRIT, Université Toulouse III Paul Sabatier Link to publication DOI | ||
10:00 - 10:05 | |||
10:00 5mDay opening | Welcome InSTA | ||
10:05 - 11:05 | |||
10:05 20mFull-paper | Techniques to Reach Common Ground about Test Aspect within a Test Team InSTA Tomohiro OdanMamezou Co.,Ltd. Shinjuku-ku, Tokyo, Shizuka BanNPO ASTER Minato-ku, Tokyo, Hiroki IseriNPO ASTER Minato-ku, Tokyo, Kumiko IseriNPO ASTER Minato-ku, Tokyo, Akiharu SatohNPO ASTER Minato-ku, Tokyo Link to publication DOI | ||
10:25 20mFull-paper | An Integrated Metamodel of Test Scenario to Conform Automotive Standards InSTA Link to publication DOI | ||
10:45 20mFull-paper | Complex Software Testing Analysis using International Standards InSTA Satoshi Masuda, Yasuharu NishiUniversity of Electro-Communications, Tokyo, Kazuhiro SuzukiHitachi, Ltd. Kanagawa Link to publication DOI | ||
11:00 - 12:30 | |||
11:00 30mFull-paper | Towards a Deep Learning Model for Vulnerability Detection on Web Application Variants ToCaMS Ana FidalgoLASIGE, Faculdade de Ciências da Universidade de Lisboa, Ibéria MedeirosLaSIGE, Faculdade de Ciências da Universidade de Lisboa, Paulo AntunesLASIGE, Faculdade de Ciências da Universidade de Lisboa, Nuno NevesDI FC UL Link to publication DOI | ||
11:30 30mFull-paper | Test Design with the Classification Tree Method in Presence of Variants ToCaMS Link to publication DOI | ||
12:00 30mFull-paper | Regression Test Suite Reduction for Cloud Systems ToCaMS Oussama JebbarGina Cody School of Engineering and Computer Science, Concordia University, Montreal, Mohamed Aymen SaiedConcordia University, Ferhat Khendek Concordia University, Maria ToeroeEricsson Inc, Montreal Link to publication DOI | ||
11:20 - 12:20 | |||
11:20 20mFull-paper | Automated security testing of Android applications for secure mobile development InSTA Francisco PalmaISTAR - Information Sciences and Technologies and Architecture Research Center, Nuno RealistaISTAR - Information Sciences and Technologies and Architecture Research Center, Carlos SerrãoISTAR - Information Sciences and Technologies and Architecture Research Center, Luís NunesISTAR - Information Sciences and Technologies and Architecture Research Center, João OliveiraISTAR - Information Sciences and Technologies and Architecture Research Center, Ana AlmeidaISTAR - Information Sciences and Technologies and Architecture Research Center Link to publication DOI | ||
11:40 20mFull-paper | Selenium based Testing Systems for Analytical Data Generation of Website User Behavior InSTA Takamasa TanakaRecruit Sumai Company Ltd, Tokyo, Hidekazu NiiboriRecruit Sumai Company Ltd, Tokyo, Li ShiyingxueRecruit Sumai Company Ltd, Tokyo, Shimpei NomuraRecruit Sumai Company Ltd, Tokyo, Tadayoshi NakaoNomura Research Institute, Ltd. Tokyo, Kazuhiko TsudaUniversity of Tsukuba Tokyo Link to publication DOI | ||
12:00 20mFull-paper | Identifying Software Test Architect Skills and Knowledge InSTA Jon D. HagarGrand Software Testing, LLC, Hot Sulphur Springs, CO, Laura HagarGrand Software Testing, LLC, Hot Sulphur Springs, CO Link to publication DOI | ||
12:00 - 13:00 | |||
12:00 60mTalk | Testing software: Challenges and hardships of non-traditional testers INTUITESTBEDS Sandeep KuttalThe University of Tulsa | ||
12:20 - 12:30 | |||
12:20 10mDay closing | Wrap up InSTA | ||
13:00 - 13:50 | |||
13:00 5mDay opening | Welcome TestEd | ||
13:05 15mTalk | Teaching a Testing Concept (JUnit) with Active Learning TestEd Link to publication DOI | ||
13:20 15mTalk | Teaching Software Testing with Free and Open Source Software TestEd Link to publication DOI | ||
13:35 15mTalk | Teaching Software Testing in an Algorithms and Data Structures Course TestEd Andrea ArcuriKristiania University College, Norway Link to publication DOI | ||
13:00 - 14:30 | |||
13:00 30mDemonstration | Augmented Testing using Scout INTUITESTBEDS Michel NassBlekinge Institute of Technology, Emil AlégrothBlekinge Institute of Technology, Robert FeldtChalmers University of Technology | ||
13:30 30mDemonstration | Sequence Mining for Automatic Generation of Software Tests from GUI event traces INTUITESTBEDS Alberto Oliveira, Alípio JorgeDepartment of Computer Science, University of Porto, Ricardo Freitas, Nuno MonizDepartment of Computer Science, University of Porto, Ana PaivaFaculty of Engineering of the University of Porto, Vítor Amorim, Paulo J. Azevedo | ||
14:00 30mDemonstration | A Tool for Testing Event-Driven Programs in Processing INTUITESTBEDS Hiroshi HosobeHosei University | ||
14:00 - 14:45 | |||
14:00 15mTalk | How to Teach Software Testing? Experiences with a Sandwich Approach TestEd Leen LambersHasso-Plattner-Institut, Universität Potsdam
Link to publication DOI | ||
14:15 15mTalk | 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 15mTalk | 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 | |||
15:00 15mTalk | 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 15mTalk | 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 15mTalk | Incorporating Testing Topics in an Object-Oriented Programming Course TestEd Link to publication DOI | ||
16:00 - 17:00 | |||
16:00 15mTalk | Towards a Learning Environment for Internet of Things Testing with LEGO® MINDSTORMS® TestEd Link to publication DOI | ||
16:15 15mTalk | Teaching Software Testing with the Code Defenders Testing Game: Experiences and Improvements TestEd Gordon FraserUniversity of Passau, Alessio GambiUniversity of Passau, José Miguel RojasUniversity of Leicester, UK Link to publication DOI | ||
16:30 15mTalk | Panel discussion: Tips for online teaching TestEd | ||
16:55 5mDay closing | Wrap-up TestEd | ||
Sat 24 Oct Times are displayed in time zone: Greenwich Mean Time : Lisbon change
Sat 24 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change
| Room | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 | 17:00 | 30 | 18:00 | 30 | 19:00 | 30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Sun 25 Oct Times are displayed in time zone: Greenwich Mean Time : Lisbon change
Sun 25 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change
| Room | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 | 17:00 | 30 | 18:00 | 30 | 19:00 | 30 | 20:00 | 30 | 21:00 | 30 | 22:00 | 30 | 23:00 | 30 | 0:00 | 30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Mon 26 Oct Times are displayed in time zone: Greenwich Mean Time : Lisbon change
Mon 26 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change
| Room | 1:00 | 30 | 2:00 | 30 | 3:00 | 30 | 4:00 | 30 | 5:00 | 30 | 6:00 | 30 | 7:00 | 30 | 8:00 | 30 | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 | 17:00 | 30 | 18:00 | 30 | 19:00 | 30 | 20:00 | 30 | 21:00 | 30 | 22:00 | 30 | 23:00 | 30 | 0:00 | 30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Tue 27 Oct Times are displayed in time zone: Greenwich Mean Time : Lisbon change
Tue 27 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change
| Room | 0:00 | 30 | 1:00 | 30 | 2:00 | 30 | 3:00 | 30 | 4:00 | 30 | 5:00 | 30 | 6:00 | 30 | 7:00 | 30 | 8:00 | 30 | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 | 17:00 | 30 | 18:00 | 30 | 19:00 | 30 | 20:00 | 30 | 21:00 | 30 | 22:00 | 30 | 23:00 | 30 | 0:00 | 30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Wed 28 Oct Times are displayed in time zone: Greenwich Mean Time : Lisbon change
Wed 28 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change
| Room | 2:00 | 30 | 3:00 | 30 | 4:00 | 30 | 5:00 | 30 | 6:00 | 30 | 7:00 | 30 | 8:00 | 30 | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Sat 24 Oct Times are displayed in time zone: Greenwich Mean Time : Lisbon change
Sat 24 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change
Sun 25 Oct Times are displayed in time zone: Greenwich Mean Time : Lisbon change
Sun 25 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change
| Room | 9:00 | 15 | 30 | 45 | 10:00 | 15 | 30 | 45 | 11:00 | 15 | 30 | 45 | 12:00 | 15 | 30 | 45 | 13:00 | 15 | 30 | 45 | 14:00 | 15 | 30 | 45 | 15:00 | 15 | 30 | 45 | 16:00 | 15 | 30 | 45 | 17:00 | 15 | 30 | 45 | 18:00 | 15 | 30 | 45 | 19:00 | 15 | 30 | 45 | 20:00 | 15 | 30 | 45 | 21:00 | 15 | 30 | 45 | 22:00 | 15 | 30 | 45 | 23:00 | 15 | 30 | 45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Plenary Room | ICST Research Papers Intro & Welcome 09:00 - 09:15 | ICST Research Papers One-click formal methods 16:15 - 17:15 | ICST Research Papers Intro & Welcome 20:00 - 20:15 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Mon 26 Oct Times are displayed in time zone: Greenwich Mean Time : Lisbon change
Mon 26 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change
| Room | 1:00 | 15 | 30 | 45 | 2:00 | 15 | 30 | 45 | 3:00 | 15 | 30 | 45 | 4:00 | 15 | 30 | 45 | 5:00 | 15 | 30 | 45 | 6:00 | 15 | 30 | 45 | 7:00 | 15 | 30 | 45 | 8:00 | 15 | 30 | 45 | 9:00 | 15 | 30 | 45 | 10:00 | 15 | 30 | 45 | 11:00 | 15 | 30 | 45 | 12:00 | 15 | 30 | 45 | 13:00 | 15 | 30 | 45 | 14:00 | 15 | 30 | 45 | 15:00 | 15 | 30 | 45 | 16:00 | 15 | 30 | 45 | 17:00 | 15 | 30 | 45 | 18:00 | 15 | 30 | 45 | 19:00 | 15 | 30 | 45 | 20:00 | 15 | 30 | 45 | 21:00 | 15 | 30 | 45 | 22:00 | 15 | 30 | 45 | 23:00 | 15 | 30 | 45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Tue 27 Oct Times are displayed in time zone: Greenwich Mean Time : Lisbon change
Tue 27 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change
| Room | 0:00 | 15 | 30 | 45 | 1:00 | 15 | 30 | 45 | 2:00 | 15 | 30 | 45 | 3:00 | 15 | 30 | 45 | 4:00 | 15 | 30 | 45 | 5:00 | 15 | 30 | 45 | 6:00 | 15 | 30 | 45 | 7:00 | 15 | 30 | 45 | 8:00 | 15 | 30 | 45 | 9:00 | 15 | 30 | 45 | 10:00 | 15 | 30 | 45 | 11:00 | 15 | 30 | 45 | 12:00 | 15 | 30 | 45 | 13:00 | 15 | 30 | 45 | 14:00 | 15 | 30 | 45 | 15:00 | 15 | 30 | 45 | 16:00 | 15 | 30 | 45 | 17:00 | 15 | 30 | 45 | 18:00 | 15 | 30 | 45 | 19:00 | 15 | 30 | 45 | 20:00 | 15 | 30 | 45 | 21:00 | 15 | 30 | 45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Wed 28 Oct Times are displayed in time zone: Greenwich Mean Time : Lisbon change
Wed 28 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change
| Room | 9:00 | 15 | 30 | 45 | 10:00 | 15 | 30 | 45 | 11:00 | 15 | 30 | 45 | 12:00 | 15 | 30 | 45 | 13:00 | 15 | 30 | 45 | 14:00 | 15 | 30 | 45 | 15:00 | 15 | 30 | 45 | 16:00 | 15 | 30 | 45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Arrábida | TestEd Welcome 13:00 - 13:05 | TestEd Panel discussion: Tips for online teaching 16:30 - 16:45 | TestEd Wrap-up 16:55 - 17:00 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Farfetch (D. Maria) | InSTA Welcome 10:00 - 10:05 | InSTA Wrap up 12:20 - 12:30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Miragaia | ToCaMS Welcome Session 09:00 - 09:15 | ToCaMS World Cafe 10:00 - 10:30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| São João | INTUITESTBEDS Welcom 09:00 - 09:10 | INTUITESTBEDS Augmented Testing using Scout 13:00 - 13:30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format