default search action
15th ICST 2022: Valencia, Spain - Workshops
- 15th IEEE International Conference on Software Testing, Verification and Validation Workshops ICST Workshops 2022, Valencia, Spain, April 4-13, 2022. IEEE 2022, ISBN 978-1-6654-9628-5
- Markus Borg:
Using Search-Based Software Testing to Guide the Strive for Robust Machine Learning Components: Lessons Learned Across Systems and Simulators in the Mobility Domain. 1 - Ildar Nigmatullin, Andrey Sadovykh
, Nan Messe, Sophie Ebersold, Jean-Michel Bruel:
RQCODE - Towards Object-Oriented Requirements in the Software Security Domain. 2-6 - Manh-Dung Nguyen, Vinh Hoa La, Ana R. Cavalli, Edgardo Montes de Oca:
Towards improving explainability, resilience and performance of cybersecurity analysis of 5G/IoT networks (work-in-progress paper). 7-10 - Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed, Youcef Belkhier
Prioritized Variable-length Test Cases Generation for Finite State Machines. 11-20 - Jarkko Peltomäki
Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits. 21-28 - Wissam Mallouli:
Security Testing as part of Software Quality Assurance: Principles and Challenges. 29 - Tanwir Ahmad
Early Detection of Network Attacks Using Deep Learning. 30-39 - Zujany Salazar, Ana Rosa Cavalli, Wissam Mallouli, Filip Sebek, Fatiha Zaïdi, Monika Ewa Rakoczy:
Monitoring Approaches for Security and Safety Analysis: Application to a Load Position System. 40-48 - Rui Huang, Chang Rao, Yu Lei, Jin Guo, Yadong Zhang:
Applying Combinatorial Testing to High-Speed Railway Automatic Train Protection System. 49-56 - Giray Coskun, Cankut Coskun, Hanefi Mercan, Cemal Yilmaz:
Using Unified Combinatorial Interaction Testing for MC/DC Coverage. 57-62 - Manuel Leithner, Dimitris E. Simos:
CA2: Practical Archival and Compression of Covering Arrays. 63-67 - Naoko Okubo, Shoma Takatsuki, Yasushi Ueda:
Experience of Combinatorial Testing toward Fault Detection, Isolation and Recovery Functionality. 68-71 - Kenya Takemura:
A C++ implementation of the IPO algorithm. 72-73 - Andrea Bombarda
Parallel Test Generation for Combinatorial Models Based on Multivalued Decision Diagrams. 74-81 - Yan Wang, Huayao Wu, Xintao Niu, Changhai Nie, Jiaxi Xu:
A Constrained Covering Array Generator using Adaptive Penalty based Parallel Tabu Search. 82-86 - Michael Wagner, Manuel Leithner, Dimitris E. Simos, Rick Kuhn, Raghu Kacker:
Developing multithreaded techniques and improved constraint handling for the tool CAgen. 87-93 - Ankita Ramjibhai Patel, Jaganmohan Chandrasekaran, Yu Lei, Raghu N. Kacker, D. Richard Kuhn:
A Combinatorial Approach to Fairness Testing of Machine Learning Models. 94-101 - Tyler Cody, Erin Lanus, Daniel D. Doyle, Laura J. Freeman:
Systematic Training and Testing for Machine Learning Using Combinatorial Interaction Testing. 102-109 - D. Richard Kuhn, M. S. Raunak, Charles B. Prado, Vinay C. Patil, Raghu N. Kacker:
Combination Frequency Differencing for Identifying Design Weaknesses in Physical Unclonable Functions. 110-117 - Miguel Trinca, João F. Ferreira, Rui Abreu:
A Preliminary Study on Generating Well-Formed Q# Quantum Programs for Fuzz Testing. 118-121 - Mohamed Abdelkarim, Reem ElAdawi:
TCP-Net: Test Case Prioritization using End-to-End Deep Neural Networks. 122-129 - Mohit Kumar Ahuja, Arnaud Gotlieb, Helge Spieker
Testing Deep Learning Models: A First Comparative Study of Multiple Testing Techniques. 130-137 - Vahana Dorcis, Fabrice Bouquet, Frédéric Dadeau:
Clustering of Usage Traces for Regression Test Cases Selection. 138-145 - Cristina Gatt, Mark Bugeja, Mark Micallef:
Towards Domain-Specific Automated Testing via Behavioural Cloning. 146-149 - Seungjoon Chung, Shin Yoo:
Augmenting Equivalent Mutant Dataset Using Symbolic Execution. 150-159 - Renzo Degiovanni
µBert: Mutation Testing using Pre-Trained Language Models. 160-169 - Rowland Pitts:
Random Mutant Selection and Equivalent Mutants Revisited. 170-178 - Giovanni Guarnieri, Alessandro Viola Pizzoleto, Fabiano Cutigi Ferrari:
An Automated Framework for Cost Reduction of Mutation Testing Based on Program Similarity. 179-188 - Thomas Laurent, Stephen Gaffney, Anthony Ventresque:
Re-visiting the coupling between mutants and real faults with Defects4J 2.0. 189-198 - Mats Holmberg, Felix Dobslaw:
An Industrial Case-Study on GUI Testing With RPA. 199-206 - Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed:
Overview of Test Coverage Criteria for Test Case Generation from Finite State Machines Modelled as Directed Graphs. 207-214 - Tommaso Fulcini, Luca Ardito
Gamified Exploratory GUI Testing of Web Applications: a Preliminary Evaluation. 215-222 - Marko Savic
Win GUI Crawler: A tool prototype for desktop GUI image and metadata collection. 223-228 - Tomohiro Takeda, Satoshi Masuda, Kazuhiko Tsuda:
Software Bug Prediction Model Based on Mathematical Graph Features Metrics. 229-235 - Wenxi Zhang:
Obtaining Fuzzing Results with Different Timeouts. 236-239 - Yasuaki Hiruta, Hidetoshi Suhara, Yasuharu Nishi:
Patterns to Improve Fidelity for Model-Based Testing. 240-243 - Satoshi Masuda, Jon D. Hagar, Yasuharu Nishi, Kazuhiro Suzuki:
Software Test Architecture Definition by Analogy with Software Architecture. 244-247 - Jon D. Hagar:
Software Architecture Elements Applied to Software Test: View, Viewpoints and Containers. 248-252 - Yanwei Ren, Youda Gu, Zongqing Ma, Hualiang Zhu, Fei Yin:
Cross-Device Difference Detector for Mobile Application GUI Compatibility Testing. 253-260 - Felix Schuckert, Hanno Langweg, Basel Katt:
Systematic Generation of XSS and SQLi Vulnerabilities in PHP as Test Cases for Static Code Analysis. 261-268 - You Wu, Qi Zhan, Haipeng Qu, Xiaoqi Zhao:
AcoFuzz: Adaptive Energy Allocation for Greybox Fuzzing. 269-276 - Mikael Ebrahimi Salari, Eduard Paul Enoiu, Wasif Afzal, Cristina Seceleanu
Choosing a Test Automation Framework for Programmable Logic Controllers in CODESYS Development Environment. 277-284 - Mika Mäntylä, Martín Varela, Shayan Hashemi:
Pinpointing Anomaly Events in Logs from Stability Testing - N-Grams vs. Deep-Learning. 285-292 - Azeem Ahmad, Erik Norrestam Held, Ola Leifler, Kristian Sandahl:
Identifying Randomness related Flaky Tests through Divergence and Execution Tracing. 293-300 - Aftab Hussain, Mohammad Amin Alipour:
Removing Uninteresting Bytes in Software Fuzzing. 301-305 - Qusay Idrees Sarhan, Tamás Gergely, Árpád Beszédes:
New Ranking Formulas to Improve Spectrum Based Fault Localization Via Systematic Search. 306-309
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-12-23 19:17 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: