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
A Coverage-Driven Systematic Test Approach for Simultaneous Localization and Mapping. 25-36 - Michael Auer
Android Fuzzing: Balancing User-Inputs and Intents. 37-48 - Zalán Lévai
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
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
Metamorphic Testing with Causal Graphs. 153-164 - Linghui Luo
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
Mutation Testing of Deep Reinforcement Learning Based on Real Faults. 188-198 - Luca Vittorio Sartori, Hélène Waeselynck
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
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
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
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
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
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.
last updated on 2024-10-31 20:02 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: