Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID15th ICST 2022: Valencia, Spain
- 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022. IEEE 2022, ISBN 978-1-6654-6679-0
- Fitsum Meshesha Kifetew, Annibale Panichella:
Message from the Program Co-Chairs. xiii - Jun-Wei Lin, Sam Malek:
GUI Test Transfer from Web to Android. 1-11 - Jan Haltermann, Heike Wehrheim:
Machine Learning Based Invariant Generation: A Framework and Reproducibility Study. 12-23 - Andrea Romdhana, Mariano Ceccato
, Alessio Merlo, Paolo Tonella:
IFRIT: Focused Testing through Deep Reinforcement Learning. 24-34 - Andrei Lascu, Alastair F. Donaldson, Tobias Grosser, Torsten Hoefler:
Metamorphic Fuzzing of C++ Libraries. 35-46 - Cecilio Cannavacciuolo, Leonardo Mariani:
Smoke Testing of Cloud Systems. 47-57 - Luca Gazzola, Leonardo Mariani, Matteo Orrù, Mauro Pezzè, Martin Tappler:
Testing Software in Production Environments with Data from the Field. 58-69 - Hooman Asadian, Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas:
Applying Symbolic Execution to Test Implementations of a Network Protocol Against its Specification. 70-81 - Martin Gruber, Gordon Fraser:
A Survey on How Test Flakiness Affects Developers and What Support They Need To Address It. 82-92 - Owain Parry, Gregory M. Kapfhammer, Michael Hilton, Phil McMinn:
Evaluating Features for Machine Learning Detection of Order- and Non-Order-Dependent Flaky Tests. 93-104 - Man Zhang, Asma Belhadi, Andrea Arcuri:
JavaScript Instrumentation for Search-Based Software Testing: A Study with RESTful APIs. 105-115 - Samiha Shimmi, Mona Rahimi:
Patterns of Code-to-Test Co-evolution for Automated Test Suite Maintenance. 116-127 - Misoo Kim, Youngkyoung Kim, Eunseok Lee:
An Empirical Study of IR-based Bug Localization for Deep Learning-based Software. 128-139 - Ibrahim Althomali, Gregory M. Kapfhammer, Phil McMinn:
Automated Repair of Responsive Web Page Layouts. 140-150 - Saikat Dutta, Anshul Arunachalam, Sasa Misailovic:
To Seed or Not to Seed? An Empirical Analysis of Usage of Seeds for Testing in Machine Learning Projects. 151-161 - Cedric Richter, Heike Wehrheim:
Learning Realistic Mutations: Bug Creation for Neural Bug Detectors. 162-173 - João Becho, Frederico Cerveira, João Leitão, Rui André Oliveira:
TESRAC: A Framework for Test Suite Reduction Assessment at Scale. 174-184 - Hengbiao Yu, Banghu Yin, Xin Yi:
Symbolic Verification of Message Signatures in MPI. 185-195 - Sonal Mahajan, Mukul R. Prasad:
Providing Real-time Assistance for Repairing Runtime Exceptions using Stack Overflow Posts. 196-207 - Mohammad Mehedi Hassan, Akond Rahman:
As Code Testing: Characterizing Test Quality in Open Source Ansible Development. 208-219 - Ahcheong Lee, Irfan Ariq, Yunho Kim, Moonzoo Kim:
POWER: Program Option-Aware Fuzzer for High Bug Detection Ability. 220-231 - Ali S. Alotaibi, Paul T. Chiou, William G. J. Halfond:
Automated Detection of TalkBack Interactive Accessibility Failures in Android Applications. 232-243 - Sarra Habchi, Guillaume Haben, Mike Papadakis, Maxime Cordy, Yves Le Traon:
A Qualitative Study on the Sources, Impacts, and Mitigation Strategies of Flaky Tests. 244-255 - Richard Rutledge, Alessandro Orso:
Automating Differential Testing with Overapproximate Symbolic Execution. 256-266 - Ke Mao, Timotej Kapus, Lambros Petrou, Ákos Hajdu, Matteo Marescotti, Andreas Löscher, Mark Harman, Dino Distefano:
FAUSTA: Scaling Dynamic Analysis with Traffic Generation at WhatsApp. 267-278 - Paolo Arcaini, Xiao-Yi Zhang, Fuyuki Ishikawa:
Less is More: Simplification of Test Scenarios for Autonomous Driving System Testing. 279-290 - Juyeon Yoon, Seungjoon Chung, Kihyuck Shin, Jinhan Kim, Shin Hong, Shin Yoo:
Repairing Fragile GUI Test Cases Using Word and Layout Embedding. 291-301 - Dario Asprone, Jonathan Metzman, Abhishek Arya, Giovani Guizzo, Federica Sarro:
Comparing Fuzzers on a Level Playing Field with FuzzBench. 302-311 - Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Daniele Gamba, Rita Pedercini:
Robustness assessment and improvement of a neural network for blood oxygen pressure estimation. 312-322 - Neetha Jambigi, Thomas Bach, Felix Schabernack, Michael Felderer:
Automatic Error Classification and Root Cause Determination while Replaying Recorded Workload Data at SAP HANA. 323-333 - Jesse Postema, Johan Fabry, Yannick Barthol, Ana Oprescu:
Testing a PL/I Compiler Using Precomputation-based Program Generation. 334-344 - Alexander Senchenko, Jordan Patterson, Hamman Samuel, Dan Ispir:
SUPERNOVA: Automating Test Selection and Defect Prevention in AAA Video Games Using Risk Based Testing and Machine Learning. 345-354 - Tobias Bachmann, Djurre van der Wal, Machiel van der Bijl, Daan van der Meij, Ana Oprescu:
Translating EULYNX SysML Models into Symbolic Transition Systems for Model-Based Testing of Railway Signaling Systems. 355-364 - Louise Zetterlund, Deepika Tiwari, Martin Monperrus, Benoit Baudry:
Harvesting Production GraphQL Queries to Detect Schema Faults. 365-376 - Riyadh Mahmood, Jay Pennington, Danny Tsang, Tan Tran, Andrea Bogle:
A Framework for Automated API Fuzzing at Enterprise Scale. 377-388 - Maurizio Leotta, Antonio Molinari, Filippo Ricca:
Assessor: a PO-Based WebDriver Test Suites Generator from Selenium IDE Recordings. 389-399 - Robert Sebastian Herlim, Yunho Kim, Moonzoo Kim:
CITRUS: Automated Unit Testing Tool for Real-world C++ Programs. 400-410 - Katharina Götz, Patric Feldmeier, Gordon Fraser:
Model-based Testing of Scratch Programs. 411-421 - Ciprian Paduraru, Miruna Paduraru, Alin Stefanescu:
RiverGame - a game testing tool using artificial intelligence. 422-432 - Tuba Yavuz:
SIFT: A Tool for Property Directed Symbolic Execution of Multithreaded Software. 433-443 - Rachel Tzoref-Brill, Saurabh Sinha, Antonio Abu Nassar, Victoria Goldin, Haim Kermany:
TackleTest: A Tool for Amplifying Test Generation via Type-Based Combinatorial Coverage. 444-455 - Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist:
DTLS-Fuzzer: A DTLS Protocol State Fuzzer. 456-458 - Okan Örsan Özener, Hasan Sözer:
Summary of An Effective Formulation of the Multi-Criteria Test Suite Minimization Problem. 459 - Muhammad Ashfaq, Rubing Huang, Dave Towey, Michael Omari, Dmitry A. Yashunin, Patrick Kwaku Kudjo, Tao Zhang:
Summary of SWFC-ART: A Cost-effective Approach for Fixed-Size-Candidate-Set Adaptive Random Testing through Small World Graphs. 460 - Felipe R. Monteiro, Mikhail R. Gadelha, Lucas C. Cordeiro:
Summary of Model Checking C++ Programs. 461 - Pedro Delgado-Pérez, Francisco Chicano:
An Experimental and Practical Study on the Equivalent Mutant Connection: An Evolutionary Approach. 462 - Renhe Jiang, Zhengzhao Chen, Yu Pei, Minxue Pan, Tian Zhang, Xuandong Li:
Documentation-based functional constraint generation for library methods. 463 - Yunho Kim, Shin Hong:
Learning-based Mutant Reduction Using Fine-grained Mutation Operators. 464 - Sudakshina Dutta, Debarshi Kumar Sanyal:
Locating Code Omission Error due to Incorrect Polymorphic Method Call. 465-468 - Monika Rani Golla, Sangharatna Godboley:
Poster: A gCov based new profiler, gMCov, for MC/DC and SC-MCC. 469-472 - Arpita Dutta:
Poster: EBFL-An Ensemble Classifier based Fault Localization. 473-476 - Daniel Zimmermann:
Automated GUI-based Software-Testing Using Deep Neuroevolution. 477-479 - Amirfarhad Nilizadeh:
Automated Program Repair and Test Overfitting: Measurements and Approaches using Formal Methods. 480-482 - Max Eisele:
Debugger-driven Embedded Fuzzing. 483-485 - Sergio Quijano, Mahsa Varshosaz:
Model-Based Testing for System-Level Safety of Autonomous Underwater Robots. 486-488
a service of 
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-08-14 22:31 CEST 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:
