default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID17th ICST 2024: Toronto, ON, Canada - Workshops
- IEEE International Conference on Software Testing, Verification and Validation, ICST 2024 - Workshops, Toronto, ON, Canada, May 27-31, 2024. IEEE 2024, ISBN 979-8-3503-4479-0
- Md. Asif Khan, Akramul Azim, Ramiro Liscano, Kevin Smith, Yee-Kang Chang, Gkerta Seferi, Qasim Tauseef:
An End-to-End Test Case Prioritization Framework using Optimized Machine Learning Models. 1-8 - Andrea Bombarda, Silvia Bonfanti
, Angelo Gargantini:
Testing the Evolution of Feature Models with Specific Combinatorial Tests. 1-10 - Bara' Nazzal, Manar H. Alalfi, James R. Cordy:
A Survey on the Verification and Validation of Artificial Pancreas Software Systems. 1-9 - Cristopher McIntyre-Garcia, Adrien Heymans, Beril Borali, Won-Sook Lee, Shiva Nejati:
Generating Minimalist Adversarial Perturbations to Test Object-Detection Models: An Adaptive Multi-Metric Evolutionary Search Approach. 9-12 - Gaadha Sudheerbabu, Tanwir Ahmad, Dragos Truscan, Jüri Vain, Ivan Porres:
Iterative Optimization of Hyperparameter-based Metamorphic Transformations. 13-20 - Hajra Naeem, Manar H. Alalfi:
Machine Learning for Cross-Vulnerability Prediction in Smart Contracts. 21-28 - Sol Zilberman, Betty H. C. Cheng:
"No Free Lunch" when using Large Language Models to Verify Self-Generated Programs. 29-36 - Vahid Garousi, Alper Bugra Keles, Yunus Balaman, Alper Mermer, Zeynep Özdemir Güler:
Coverage measurement in model-based testing of web applications: Tool support and an industrial experience report. 37-43 - Muhammad Nouman Zafar, Wasif Afzal, Eduard Paul Enoiu, Zulqarnain Haider, Inderjeet Singh:
Optimizing Model-based Generated Tests: Leveraging Machine Learning for Test Reduction. 44-54 - Sean Kauffman, Carlos Moreno, Sebastian Fischmeister:
Annotating Control-Flow Graphs for Formalized Test Coverage Criteria. 55-62 - Sergio Quijano, Mahsa Varshosaz, Andrzej Wasowski:
Modeling and Safety Analysis of Autonomous Underwater Vehicles Behaviors. 63-67 - Martin Tappler, Florian Lorber:
Bridging the Gap Between Models in RL: Test Models vs. Neural Networks. 68-77 - Edi Muskardin, Tamim Burgstaller, Martin Tappler, Bernhard K. Aichernig:
Active Model Learning of Git Version Control System. 78-82 - Adam A. Porter, Alan F. Karr:
Active Model Learning for Software Interrogation and Diagnosis. 93-100 - Denini Silva, Martin Gruber, Satyajit Gokhale, Ellen Arteca, Alexi Turcotte, Marcelo d'Amorim, Wing Lam, Stefan Winter, Jonathan Bell:
The Effects of Computational Resources on Flaky Tests. 101 - Sushmita Azad, Avi Kondareddy:
The Future of Google Testing. 103-104 - Ola Rozenfeld, Ulf Adams:
Scalable Continuous Integration using Remote Execution. 105 - Asma Fariha, Akramul Azim, Ramiro Liscano:
Replay-Based Continual Learning for Test Case Prioritization. 106-107 - Tim Keller:
Thinktank: Leveraging LLM Reasoning for Advanced Task Execution in CI/CD. 108 - Toshiharu Kato, Satoshi Masuda, Kazuhiko Tsuda:
Design and construction of requirement specifications ambiguity detection support method. 109-115 - Jon D. Hagar, Satoshi Masuda:
Prompt Engineering Impacts to Software Test Architectures for Beginner to Experts. 116-121 - Tomohiro Takeda, Satoshi Masuda:
Software Bug Prediction Model using Graph Neural Network. 122-127 - Jarkko Peltomäki, Jesper Winsten, Maxime Methais, Ivan Porres:
Testing cyber-physical systems with explicit output coverage. 128-136 - Jinseok Park, Chang-Hui Bae, Seongjin Lee:
ConDU: Method for On-the-fly Detection of Non-deadlock Concurrency Errors in UAV Software. 137-143 - Aritra Ahmed, Ramiro Liscano, Akramul Azim, Yee-Kang Chang, Vijay Sundaresan:
Java lock contention anti-patterns and their associated recommendations. 144-151 - Tanwir Ahmad, Dragos Truscan:
Early Detection with Explainability of Network Attacks Using Deep Learning. 161-167 - Ridwan Hossain, Akramul Azim, Linda Cato, Bruce Wilkins:
Automated SQA Framework with Predictive Machine Learning in Airfield Software. 168-177 - Florian Klück, Yihao Li, Jianbo Tao, Franz Wotawa:
Summary of "An empirical comparison of combinatorial testing and search-based testing in the context of automated and autonomous driving systems". 178-179 - Krishna Khadka, Sunny Shree, Yu Lei, Raghu N. Kacker, D. Richard Kuhn:
Assessing the Degree of Feature Interactions that Determine a Model Prediction. 180-187 - Michael Wagner, Irene Hiess, Ludwig Kampel, Dimitris E. Simos, Yu Lei:
Algorithmic Optimizations for Deriving Minimal Forbidden Tuples. 188-192 - Andrew C. M. Hicks, Deborah Ann Furman, Ryan Thomas Rawlins, Michael Edward Gildein, Eitan Farchi:
A Novel Double T-wise Approach to Root Cause Analysis via Combinatorial Test Set Completion. 193-196 - Andrea Bombarda, Angelo Gargantini:
Integrating Product Sampling and Behavioral Testing for Software Product Lines with Combinatorial Testing. 197-206 - Dimitris E. Simos, Bernhard Garn, Dominik Schreiber, Manuel Leithner, D. Richard Kuhn, Raghu Kacker:
On Combinatorial Security Testing for the Tor Anonymity Network Client. 207-210 - Tatsuhiro Tsuchiya:
Use of binary decision diagrams to handle constraints in combinatorial interaction testing. 211-214 - Hao Jin, Ce Shi, Tatsuhiro Tsuchiya:
Summary of Constrained Detecting Arrays: Mathematical Structures for Fault Identification in Combinatorial Interaction Testing. 215-216 - Erin Lanus, Brian Lee, Luis Pol, Daniel Sobien, Justin A. Kauffman, Laura J. Freeman:
Coverage for Identifying Critical Metadata in Machine Learning Operating Envelopes. 217-226 - Josue Molina-Morales, Lin Deng, Josh Dehlinger, Suranjan Chakraborty:
Mutant-Kraken: A Mutation Testing Tool for Kotlin. 227-236 - Philipp Straubinger, Alexander Degenhart, Gordon Fraser:
An Empirical Evaluation of Manually Created Equivalent Mutants. 237-246 - Samuel Moelius:
Test Harness Mutilation. 247-256 - Abdulrahman Alshammari, Paul Ammann, Michael Hilton, Jonathan Bell:
A Study of Flaky Failure De-Duplication to Identify Unreliably Killed Mutants. 257-262 - Jian Chen, Manar H. Alalfi, Thomas R. Dean:
Timed Model-Based Mutation Operators for Simulink Models. 263-272 - Kris Roker, Upulee Kanewala:
Improving the Efficacy of Testing Scientific Software: Insights from Mutation Testing. 273-282 - Andrea Bogle, Tan Tran, Rafael Ceja, Joshua Sasaki, Riyadh Mahmood:
Automated Hybrid Fuzzing of Web APIs. 283-292 - Lucas Neves, Oscar Campos, Robson Santos, Cleyton V. C. de Magalhães, Ítalo Santos, Ronnie Edson de Souza Santos:
Elevating Software Quality in Agile Environments: The Role of Testing Professionals in Unit Testing. 293-296 - Charles Lohest, Axel Legay:
Improving security analysis rule set by relationship identification. 297-300 - Sundos Mojahed, Réjean Drouin, Lokman Sboui:
ODACE: An Appium-based Testing Automation Platform for Android Mobile Devices Certification. 301-308 - Robert Balink, Marc-Florian Wendland, Yuriy Yevstihnyeyev:
Selecting "good" regression tests based on a classification of side-effects. 309-317 - Yara Q. Mahmoud, Akramul Azim, Md. Asif Khan:
TCPGraphix: A Visualization Tool for ML-Powered Test Case Prioritization Data Analysis. 318-321 - Philipp Straubinger, Lena Bloch, Gordon Fraser:
Engaging Young Learners with Testing Using the Code Critters Mutation Game. 322-330 - Susmita Haldar, Mary Pierce, Luiz Fernando Capretz:
Factors Influencing the Performance of Students in Software Automated Test Tools Course. 331-339 - Minjie Hu, Aleksei Trofimov:
Course Design of Introducing Selenium WebDriver. 340-348 - Ben Coleman, Nathan Sommer:
Fostering a Testing Mindset through Automated Feedback on Multiple Submissions Using Git-keeper. 349-353 - Vahid Garousi, Alper Bugra Keles:
A pragmatic look at education and training of software test engineers: Further cooperation of academia and industry is needed. 354-360
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 2026-05-29 23:44 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:
