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 - 09:15 Day 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 - 09:45 Talk | 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 - 10:15 Talk | 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 - 10:45 Talk | 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 - 11:30 Talk | An Empirical Evaluation of Mutation Operators for Deep Learning Systems Research Papers Link to publication DOI | ||
11:30 - 12:00 Talk | 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 - 12:30 Talk | 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 - 11:30 Talk | 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 - 12:00 Talk | 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 - 12:30 Talk | 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 - 14:30 Talk | Determining Method-Call Sequences for Object Creation in C++ Research Papers Link to publication DOI | ||
14:30 - 15:00 Talk | 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 - 17:15 Keynote | 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 - 20:15 Day opening | Intro & Welcome Research Papers |
20:15 - 21:45: IT1 - Test Generation & RefactoringIndustry Track at Farfetch (D. Maria) Chair(s): John MiccoVMware | |||
20:15 - 20:45 Talk | 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 - 21:15 Talk | 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 - 21:45 Talk | 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 - 20:45 Talk | 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 - 21:15 Talk | 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 - 21:45 Talk | 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 - 22:30 Talk | An Empirical Evaluation of Mutation Operators for Deep Learning Systems Research Papers Link to publication DOI | ||
22:30 - 23:00 Talk | 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 - 23:30 Talk | 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 - 22:30 Talk | 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 - 23:00 Talk | 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 - 23:30 Talk | 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
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 - 01:30 Talk | Determining Method-Call Sequences for Object Creation in C++ Research Papers Link to publication DOI | ||
01:30 - 02:00 Talk | 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): Luis CruzDeflt University of Technology | |||
09:00 - 09:15 Awards | Using Mutation to Automatically Suggest Fixes for Faulty Programs Research Papers Media Attached | ||
09:15 - 09:30 Awards | 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: Keynote 2Research Papers at Plenary Room Chair(s): Luis CruzDeflt University of Technology | |||
10:45 - 12:15: IT2 - MiscIndustry Track at Farfetch (D. Maria) +11h Chair(s): Luis CruzDeflt University of Technology | |||
10:45 - 11:15 Talk | 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 - 11:45 Talk | Detecting Higher-Order Merge Conflicts in Large Software Projects Industry Track Link to publication DOI | ||
11:45 - 12:15 Talk | 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 - 11:15 Talk | 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 - 11:45 Talk | 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 - 12:15 Talk | 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 |
13:45 - 15:15: RT7 - Optimizing TestingResearch Papers at Infante +11h Chair(s): Fabiano FerrariFederal University of São Carlos | |||
13:45 - 14:15 Talk | 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 - 14:45 Talk | 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 - 15:15 Talk | 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 |
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 - 16:00 Talk | An Empirical Analysis of Blind Tests Research Papers Link to publication DOI | ||
16:00 - 16:30 Talk | 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 - 17:00 Talk | 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 2Research Papers / Journal-First Papers at Infante +11h Chair(s): Alin StefanescuUniversity of Bucharest | |||
15:30 - 16:00 Talk | 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 - 16:30 Talk | 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 - 17:00 Talk | Mahtab: Phase-wise acceleration of regression testing for C Journal-First Papers Link to publication DOI Media Attached |
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 - 20:15 Awards | Using Mutation to Automatically Suggest Fixes for Faulty Programs Research Papers Media Attached | ||
20:15 - 20:30 Awards | 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 - 22:15 Talk | 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 - 22:45 Talk | Detecting Higher-Order Merge Conflicts in Large Software Projects Industry Track Link to publication DOI | ||
22:45 - 23:15 Talk | 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 - 22:15 Talk | 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 - 22:45 Talk | 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 - 23:15 Talk | 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
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 - 03:00 Talk | An Empirical Analysis of Blind Tests Research Papers Link to publication DOI | ||
03:00 - 03:30 Talk | 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 - 04:00 Talk | 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 - 03:00 Talk | 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 - 03:30 Talk | 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 - 04:00 Talk | 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 - 09:30 Talk | 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 - 10:00 Talk | 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 - 10:30 Talk | 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 - 11:00 Talk | 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 |
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 - 12:15 Meeting | 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 - 14:45 Keynote | SunDew: Systematic Automated Security Testing Research Papers Franjo IvancicGoogle |
20:00 - 21:00: RT10 - Misc 3Research Papers at Infante Chair(s): Luis CruzDeflt University of Technology | |||
20:00 - 20:30 Talk | 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 - 21:00 Talk | 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 - 21:30 Talk | 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 - 22:00 Talk | 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 |
Call for Papers
ICST 2020 invites high quality submissions in all areas of software testing, verification, and validation. The industry track has the same topics and requires the same rigorousness as the research track. However, the industry track papers should prioritize impact and realism over novelty. We expect that industry track publications report useful testing tools, successful stories and experiences when applying software testing theories and methodologies into practice, or promising prototypes that have the potential to impact practice in the next few years. Ideally they should be evaluated on real-world, industrial data, and discuss non-functional aspects such as scalability and reliability, and also compare to pre-existing industrial best practices. The industry track papers will be published in the ICST 2020 proceedings and listed by IEEE databases.
Topics of interest include, but is not limited to, the following:
- Domain specific testing, such as: Autonomous vehicles, advanced control systems, mobile or web app testing, embedded systems testing, concurrent systems, GUI testing, etc.
- Formal verification
- Model based testing
- Model checking
- Search based software testing
- Security testing
- Software reliability
- Test automation
- Testability and design
- Testing and development processes
- Testing education
- Testing / debugging frameworks and tools
- Applications of software testing theories in practice
- Empirical studies
- Experience reports
Each submission will be reviewed by at least three members of the ICST Program Committee.
Format
Industry papers must conform to the two-column IEEE conference publication format. Templates for LaTeX and Microsoft Word are available from http://www.ieee.org/conferences_events/conferences/publishing/templates.html: please use the letter format template and conference option.
Papers should be submitted in the PDF format: they must not exceed ten pages, plus up to two pages of references. Submissions will be handled via EasyChair.
Papers must neither have been previously accepted for publication nor be under submission in another conference or journal.
For your paper to be published in the ICST 2020 conference proceedings, at least one of the authors of the paper must register for the conference and confirm that she/he will present the paper in person.
Submission Site: https://easychair.org/conferences/?conf=icst2020
Important Dates (all dates are AoE)
- October 14th, 2019: Submission of Industry Track Papers as well as research papers
- December 10th, 2019: Author Notification
- Main Conference: March 23-27th, 2020
Double Blind
Industry track papers do not need to be double-blinded. Since industry papers typically rely heavily on the industrial/practical context in which the work was carried out it would be too much to ask to require this context to be anonymized. Please contact the industry track chairs if you have more questions.
FAQ
Q: Does the industry track accept abstracts or short papers**?**
A: No. The industry track has the same rigorousness as the research papers, therefore, the industry track papers need to present the motivation, methodology, design of experiments / case studies, results, discussions, and related work in a clear and comprehensive way. Abstracts or short papers don't have enough room to incorporate these required and important contents.
Q: My paper has less than 10 pages, can I submit it to the industry track?
A: Yes, as long as your paper clearly presents the motivation, methodology, design of experiments / case studies, results, discussions, and related work.