No information available yet.
Dates
Mon 17 Apr 2023
Tue 18 Apr 2023
Wed 19 Apr 2023
Tracks
ICST Industry
ICST Journal-First Papers
ICST Posters
ICST Previous Editions
ICST Research Papers
ICST Testing Tools
ICST Tool Demo
Mon 17 AprDisplayed time zone: Dublin change
Mon 17 Apr
Displayed time zone: Dublin change
11:00 - 12:30 | Session 1: Automated Testing Journal-First Papers / Research Papers / Previous Editions / Testing Tools / Tool Demo at Grand canal Chair(s): Gilles Perrouin Fonds de la Recherche Scientifique - FNRS & University of Namur | ||
12:10 20mTalk | A Framework for Automated API Fuzzing at Enterprise Scale Previous Editions Riyadh Mahmood The Aerospace Corporation, Jay Pennington The Aerospace Corporation, Danny Tsang The Aerospace Corporation, Tan Tran The Aerospace Corporation, Andrea Bogle The Aerospace Corporation DOI |
14:00 - 15:30 | Session 3: Autonomous & Cyberphysical Systems IIPrevious Editions / Industry / Research Papers at Grand canal Chair(s): Fabrizio Pastore University of Luxembourg | ||
14:20 20mTalk | Digital Twin-based Anomaly Detection in Cyber-physical Systems Previous Editions DOI | ||
14:40 20mTalk | Quality Metrics and Oracles for Autonomous Vehicles Testing Previous Editions Gunel Jahangirova USI Lugano, Switzerland, Andrea Stocco Technical University of Munich & fortiss, Paolo Tonella USI Lugano DOI |
16:00 - 18:00 | Session 5: Testing AI/ML systemsResearch Papers / Previous Editions at Grand canal Chair(s): Jie M. Zhang King's College London | ||
16:00 20mTalk | Robustness assessment and improvement of a neural network for blood oxygen pressure estimation Previous Editions Paolo Arcaini National Institute of Informatics
, Andrea Bombarda University of Bergamo, Silvia Bonfanti University of Bergamo, Angelo Gargantini University of Bergamo, Daniele Gamba AISent S.r.l., Rita Pedercini AISent S.r.l. DOI | ||
16:20 20mTalk | An Empirical Evaluation of Mutation Operators for Deep Learning Systems Previous Editions DOI |
16:00 - 18:00 | Session 7: Testing for Safery & Security Industry / Research Papers / Journal-First Papers / Previous Editions at Hanover Chair(s): Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM | ||
16:40 20mTalk | Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs Previous Editions Shaukat Ali Simula Research Laboratory, Paolo Arcaini National Institute of Informatics
, Xinyi Wang , Tao Yue Simula Research Laboratory DOI |
16:00 - 18:00 | Session 6: GUI/API testingTesting Tools / Previous Editions / Research Papers / Posters at Pearse suite Chair(s): Phil McMinn University of Sheffield | ||
16:00 20mTalk | Repairing Fragile GUI Test Cases Using Word and Layout Embedding Previous Editions Juyeon Yoon Korea Advanced Institute of Science and Technology, Seungjun Chung , Kihyuck Shin Samsung Electronics, Jinhan Kim KAIST, Shin Hong Handong Global University, Shin Yoo KAIST DOI | ||
17:20 20mTalk | POWER: Program Option-Aware Fuzzer for High Bug Detection Ability Previous Editions DOI |
Tue 18 AprDisplayed time zone: Dublin change
Tue 18 Apr
Displayed time zone: Dublin change
11:00 - 12:30 | Session 9: FuzzingPrevious Editions / Posters / Industry / Research Papers at Pearse suite Chair(s): Xavier Devroey University of Namur | ||
11:20 20mTalk | Metamorphic Fuzzing of C++ Libraries Previous Editions Andrei Lascu Imperial College London, Alastair F. Donaldson Imperial College London, Tobias Grosser University of Edinburgh, Torsten Hoefler ETH Zurich DOI |
14:00 - 15:30 | Session 10: Program RepairResearch Papers / Previous Editions / Posters at Grand canal Chair(s): Gunel Jahangirova USI Lugano, Switzerland | ||
14:00 20mTalk | Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods Previous Editions Amirfarhad Nilizadeh University of Central Florida, Gary T. Leavens University of Central Florida, Xuan Bach D. Le The University of Melbourne, Corina S. Păsăreanu Carnegie Mellon University, David Cok Safer Software Consulting, LLC DOI |
14:00 - 15:30 | Session 11: Test GenerationJournal-First Papers / Previous Editions / Research Papers / Tool Demo at Pearse suite Chair(s): Gregory Gay Chalmers | University of Gothenburg | ||
14:20 20mTalk | Scaling Test Case Generation For Expressive Decision Tables Previous Editions Supriya Agrawal Tata Consultancy Services Ltd. (TCS), R. Venkatesh , Ulka Shrotri Tata Consultancy Services Ltd. (TCS), Amey Zare TCS Research, Sagar Verma Tata Consultancy Services Ltd. (TCS) DOI |
Wed 19 AprDisplayed time zone: Dublin change
Wed 19 Apr
Displayed time zone: Dublin change
11:00 - 12:30 | Session 12: Regression Testing Previous Editions / Industry / Testing Tools / Journal-First Papers at Grand canal Chair(s): Yvan Labiche Carleton University | ||
12:00 20mTalk | Patterns of Code-to-Test Co-evolution for Automated Test Suite Maintenance Previous Editions DOI |
11:00 - 12:30 | Session 13: Testing with Static Analysis MethodsResearch Papers / Previous Editions at Pearse suite Chair(s): Paolo Arcaini National Institute of Informatics | ||
11:00 20mTalk | Address-Aware Query Caching for Symbolic Execution Previous Editions DOI | ||
11:20 20mTalk | Automating Differential Testing with Overapproximate Symbolic Execution Previous Editions DOI |