


default search action
16th ICST 2023: Dublin, Ireland
- IEEE Conference on Software Testing, Verification and Validation, ICST 2023, Dublin, Ireland, April 16-20, 2023. IEEE 2023, ISBN 978-1-6654-5666-1

- Nadia Alshahwan, Mark Harman, Alexandru Marginean:

Software Testing Research Challenges: An Industrial Perspective. 1-10 - Jeff Offutt:

Test Automation: From Slow & Weak to Fast, Flaky, & Blind to Smart & Effective. 11 - Yves Le Traon:

AI is a game-changing technology: how to test and robustify Machine-Learning software? 12 - Péter Attila Soha

, Tamás Gergely, Ferenc Horváth, Béla Vancsics, Árpád Beszédes:
A Case Against Coverage-Based Program Spectra. 13-24 - Philip Tasche

, Paula Herber:
A Coverage-Driven Systematic Test Approach for Simultaneous Localization and Mapping. 25-36 - Michael Auer

, Andreas Stahlbauer, Gordon Fraser:
Android Fuzzing: Balancing User-Inputs and Intents. 37-48 - Zalán Lévai

, Phil McMinn:
Batching Non-Conflicting Mutations for Efficient, Safe, Parallel Mutation Analysis in Rust. 49-59 - BaekGyu Kim

:
Constraint-Guided Automatic Side Object Placement for Steering Control Testing in Virtual Environment. 60-70 - João Inácio, Ibéria Medeiros

:
CorCA: An Automatic Program Repair Tool for Checking and Removing Effectively C Flaws. 71-82 - Davide Li Calsi

, Matias Duran
, Xiao-Yi Zhang, Paolo Arcaini
, Fuyuki Ishikawa:
Distributed Repair of Deep Neural Networks. 83-94 - Noor Nashid, Mifta Sintaha, Ali Mesbah:

Embedding Context as Code Dependencies for Neural Program Repair. 95-106 - Guillermo Polito, Pablo Tesone, Nahuel Palumbo, Stéphane Ducasse, Jean Privat:

Heap Fuzzing: Automatic Garbage Collection Testing with Expert-Guided Random Events. 107-116 - Joshua Bundt, Andrew Fasano, Brendan Dolan-Gavitt, William K. Robertson, Tim Leek:

Homo in Machina: Improving Fuzz Testing Coverage via Compartment Analysis. 117-128 - Gregory Gay, Alireza Salahirad:

How Closely are Common Mutation Operators Coupled to Real Faults? 129-140 - Huadong Feng, Xiaolei Ren, Qiping Wei, Yu Lei, Raghu Kacker, D. Richard Kuhn, Dimitris E. Simos:

MagicMirror: Towards High-Coverage Fuzzing of Smart Contracts. 141-152 - Andrew G. Clark, Michael Foster

, Neil Walkinshaw
, Robert M. Hierons
:
Metamorphic Testing with Causal Graphs. 153-164 - Linghui Luo

, Goran Piskachev, Ranjith Krishnamurthy
, Julian Dolby, Eric Bodden, Martin Schäf:
Model Generation For Java Frameworks. 165-175 - Agustín Mista, Alejandro Russo:

MUTAGEN: Reliable Coverage-Guided, Property-Based Testing using Exhaustive Mutations. 176-187 - Florian Tambon

, Vahid Majdinasab, Amin Nikanjam
, Foutse Khomh, Giuliano Antoniol:
Mutation Testing of Deep Reinforcement Learning Based on Real Faults. 188-198 - Luca Vittorio Sartori, Hélène Waeselynck

, Jérémie Guiochet:
Pairwise Testing Revisited for Structured Data With Constraints. 199-209 - Martin Gruber, Michael Heine, Norbert Oster, Michael Philippsen, Gordon Fraser:

Practical Flaky Test Prediction using Common Code Evolution and Test History Data. 210-221 - Ezio Bartocci, Leonardo Mariani, Dejan Nickovic

, Drishti Yadav
:
Property-Based Mutation Testing. 222-233 - Jinhan Kim, Nargiz Humbatova, Gunel Jahangirova, Paolo Tonella, Shin Yoo:

Repairing DNN Architecture: Are We There Yet? 234-245 - Jiayuan Liang, Sinan Wang, Xiangbo Deng, Yepang Liu:

RIDA: Cross-App Record and Replay for Android. 246-257 - Michel Nass, Emil Alégroth, Robert Feldt, Riccardo Coppola:

Robust web element identification for evolving applications by considering visual overlaps. 258-268 - Niels Doorn

, Tanja E. J. Vos, Beatriz Marín, Erik Barendsen:
Set the right example when teaching programming: Test Informed Learning with Examples (TILE). 269-280 - Sajad Khatiri, Sebastiano Panichella, Paolo Tonella:

Simulation-based Test Case Generation for Unmanned Aerial Vehicles in the Neighborhood of Real Flights. 281-292 - Matthías Páll Gissurarson, Diego Roque, James Koppel:

Spectacular: Finding Laws from 25 Trillion Terms. 293-304 - Kadiray Karakaya

, Eric Bodden:
Two Sparsification Strategies for Accelerating Demand-Driven Pointer Analysis. 305-316 - Jinkook Kim, Minseok Jeon, Sejeong Jang, Hakjoo Oh:

Automating Endurance Test for Flash-based Storage Devices in Samsung Electronics. 317-326 - Daniel Elsner, Severin Kacianka, Stephan Lipp, Alexander Pretschner, Axel Habermann, Maria Graber, Silke Reimer:

BinaryRTS: Cross-language Regression Test Selection for C++ Binaries in CI. 327-338 - Maurizio Leotta, Boni García, Filippo Ricca, Jim Whitehead:

Challenges of End-to-End Testing with Selenium WebDriver and How to Face Them: A Survey. 339-350 - Ermanno Battista, Sergio Di Martino, Sergio Di Meglio, Fabio Scippacercola, Luigi Libero Lucio Starace:

E2E-Loader: A Framework to Support Performance Testing of Web Applications. 351-361 - Tim A. D. Henderson

, Bobby Dorward, Eric Nickell, Collin Johnston, Avi Kondareddy:
Flake Aware Culprit Finding. 362-373 - Alastair F. Donaldson, Ben Clayton, Ryan Harrison, Hasan Mohsin, David Neto, Vasyl Teliman, Hana Watson:

Industrial Deployment of Compiler Fuzzing Techniques for Two GPU Shading Languages. 374-385 - Baharin Aliashrafi Jodat, Shiva Nejati, Mehrdad Sabetzadeh, Patricio Saavedra:

Learning Non-robustness using Simulation-based Testing: a Network Traffic-shaping Case Study. 386-397 - Roland Wuersching, Daniel Elsner, Fabian Leinen, Alexander Pretschner, Georg Grueneissl, Thomas Neumeyr, Tobias Vosseler:

Severity-Aware Prioritization of System-Level Regression Tests in Automotive Software. 398-409 - Lukas Berglund, Tim Grube, Gregory Gay, Francisco Gomes de Oliveira Neto, Dimitrios Platis:

Test Maintenance for Machine Learning Systems: A Case Study in the Automotive Industry. 410-421 - Simon Hundsdorfer, Daniel Elsner, Alexander Pretschner:

DIRTS: Dependency Injection Aware Regression Test Selection. 422-432 - Andrea Arcuri, Man Zhang

, Amid Golmohammadi, Asma Belhadi, Juan P. Galeotti, Bogdan Marculescu, Susruthan Seran:
EMB: A Curated Corpus of Web/Enterprise Applications And Library Support for Software Testing Research. 433-442 - Hiroyuki Kirinuki, Masaki Tajima, Haruto Tanno:

LatteArt: A Platform for Recording and Analyzing Exploratory Testing. 443-453 - Huang Luohua Locke, Kai Ting Keshia Yap, Joseph Chu Ken Yu, Hock Yao Chua:

QEX: Automated Testing Observability and QA Developer Experience Framework. 454-460 - Daniel Hao Xian Yuen, Andrew Yong Chen Pang, Zhou Yang, Chun Yong Chong, Mei Kuan Lim, David Lo

:
ASDF: A Differential Testing Framework for Automatic Speech Recognition Systems. 461-463 - Deepika Tiwari, Martin Monperrus

, Benoit Baudry:
RICK: Generating Mocks from Production Data. 464-466 - Qusay Idrees Sarhan

, Hassan B. Hassan, Árpád Beszédes:
SFLaaS: Software Fault Localization as a Service. 467-469 - Jeewoong Kim, Shin Hong:

Poster: BugOss: A Regression Bug Benchmark for Empirical Study of Regression Fuzzing Techniques. 470-473 - Mahum Naseer, Muhammad Shafique

:
Poster: Link between Bias, Node Sensitivity and Long-Tail Distribution in trained DNNs. 474-477 - Qusay Idrees Sarhan

, Árpád Beszédes:
Poster: Improving Spectrum Based Fault Localization For Python Programs Using Weighted Code Elements. 478-481 - Qusay Idrees Sarhan

, Hassan B. Hassan, Árpád Beszédes:
Poster: Software Fault Localization as a Service (SFLaaS). 482-485 - Patric Feldmeier:

Fully Automated Game Testing via Neuroevolution. 486-488 - Ankit Jha

:
Automatic Benchmark Generation for Object Constraint Language. 486-488 - Andreas Pointner

:
Mining Attributed Input Grammars and their Applications in Fuzzing. 493-495 - Attila Szatmári

:
Towards Context-Aware Spectrum-Based Fault Localization. 496-498 - Péter Attila Soha

:
On The Efficiency Of Combination Of Program Slicing and Spectrum-Based Fault Localization. 499-501

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














