Symetra: Visual Analytics for the Parameter Tuning Process of Symbolic Execution Engines.

Authors: Hong, D.¹ (AUTHOR), Kim, M.¹ (AUTHOR), Cha, S.¹ (AUTHOR), Jo, J.¹ (AUTHOR)

Source: Computer Graphics Forum. Jun2026, p1. 12p. 5 Illustrations.

Subject Terms: *Mathematical optimization, Visual analytics, Computer software testing, User-centered system design

GPT‐Monkey: Enhancing Automated GUI Testing for Android Apps via LLM‐Driven Interface Understanding and Function Segmentation.

Authors: Yuan, Zhanhui¹ (AUTHOR), Chen, Kai² (AUTHOR) chenkai@iie.ac.cn, Yang, Zhi¹ (AUTHOR), Jiang, Dongxue³ (AUTHOR), Tan, Jinglei¹ (AUTHOR), Zhang, Hongqi¹ (AUTHOR), Marchetto, Alessandro (AUTHOR) alessandro.marchetto@unitn.it

Source: IET Software (Wiley-Blackwell). 6/4/2026, Vol. 2026, p1-29. 29p.

Subject Terms: *Defect tracking (Computer software development), *Computer software quality control, Computer software testing, Parameterization, Language models, Mobile apps

Reviews & Products: Android (Operating system)

Agentic AI-Based Automated Test Case Generation and Execution: A Survey.

Authors: Haware, Srushti¹ srushtihaware16@gmail.com, Inamdar, Janhavi¹ janhavinawork@gmail.com, Hiremath, Sakshi¹ sakshihiremath97@gmail.com, Shah, Shweta¹ sshah@ms.pict.edu, Sanap, Sharayu¹ sharayussanap@gmail.com

Source: International Scientific Journal of Engineering & Management. Jun2026, Vol. 5 Issue 6, p1-5. 5p.

Subject Terms: *Intelligent agents, *Quality assurance, Computer software testing, Multiagent systems, Deep learning, Language models

A survey paper on automation of functional testing.

Authors: Peter, J. Selvin Paul¹ (AUTHOR) selvinpj@srmist.edu.in, Esther, B. Priya² (AUTHOR) priyab@srmist.edu.in, Chatterjee, Srishti¹ (AUTHOR) ss2662@srmist.edu.in, Shivansh¹ (AUTHOR) sa3758@srmist.edu.in, Verma, Shikha³ (AUTHOR)

Source: AIP Conference Proceedings. 2026, Vol. 3414 Issue 1, p1-4. 4p.

Subject Terms: *Computer software testing, *Computer software quality control, *Automation software, *Computer software development

Setting the Stage: The importance of carefully choosing factors and levels to create a resilient situational framework.

Authors: Holm, Ken¹

Source: Quality Progress. May2026, Vol. 59 Issue 5, p28-35. 8p.

Subject Terms: Computer software testing, Orthogonal arrays, Independent variables

Covariate Software Defect Discovery Models to Explicitly Characterize Changepoints.

Authors: Steakelum, Joshua¹ (AUTHOR) jsteakelum@umassd.edu, Nagaraju, Vidhyashree² (AUTHOR) vidhyashreenagaraju@gmail.com, Shi, Ying³ (AUTHOR) ying.shi@nasa.gov, Fiondella, Lance¹ (AUTHOR) lfiondella@umassd.edu

Source: International Journal of Reliability, Quality & Safety Engineering. Apr2026, Vol. 33 Issue 2, p1-30. 30p.

Subject Terms: *Defect tracking (Computer software development), *Software reliability, Change-point problems, Computer software testing, Prediction models, Optimization algorithms, Software measurement

Combinatorial Test Sequence Generation Method Integrated with STPA.

Authors: Xu, Heng¹ (AUTHOR) hengxu@nuaa.edu.cn, Huang, Zhiqiu¹ (AUTHOR) zqhuang@nuaa.edu.cn, Tao, Chuanqi¹ (AUTHOR) taochuanqi@nuaa.edu.cn, Xie, Jian¹ (AUTHOR) xiejian_5@nuaa.edu.cn, Hu, Jun¹ (AUTHOR) hujun@nuaa.edu.cn

Source: International Journal of Software Engineering & Knowledge Engineering. Mar2026, Vol. 36 Issue 3, p403-429. 27p.

Subject Terms: *Computer software, *Systems theory, Safety, Computer software testing, Dynamic testing

Proximity‐Based Filtering: An Improved Adaptive Random Testing Approach Based on Orthogonal Bisections and Imaginary Offsets.

Authors: Ackah-Arthur, Hilary^1,2 (AUTHOR), Chen, Jinfu^1,3 (AUTHOR) jinfuchen@ujs.edu.cn, Towey, Dave⁴ (AUTHOR), Xi, Jiaxiang^1,3 (AUTHOR), Omari, Michael^1,2 (AUTHOR), Chen, Haibo^1,3 (AUTHOR), Górski, Tomasz (AUTHOR) tomasz.gorski@ieee.org

Source: IET Software (Wiley-Blackwell). 3/1/2026, Vol. 2026, p1-30. 30p.

Subject Terms: Computer software testing, Recursive partitioning, Debugging

Startup Antithesis turns years of real-world chaos into hours of simulated mayhem—and key trading firms and crypto networks are paying close attention.

Authors: Lazarus, Lily Mae (AUTHOR)

Source: Fortune.com. 3/24/2026, pN.PAG-N.PAG. 1p.

Subject Terms: *Network failures (Telecommunication), *Research funding, *Software reliability, *Cryptocurrencies, Computer software testing, Computer simulation, Automation software

Test case generation using large language models: a systematic literature review.

Authors: Tasarsu, Murat¹ (AUTHOR) 2100003325@stu.iku.edu.tr, Tokmak, Ahmet Vedat¹ (AUTHOR) 2000005655@stu.iku.edu.tr, Catal, Cagatay² (AUTHOR) ccatal@qu.edu.qa

Source: Cluster Computing. Aug2026, Vol. 29 Issue 4, p1-16. 16p.

Subject Terms: *Language models, *Computer software testing, *Computer software quality control, *Software validation, *Software engineering

Assessing model-driven mutation testing of Java bytecode.

Authors: Ancona, Freya¹ (AUTHOR) freya.ancona@uni-marburg.de, Bockisch, Christoph¹ (AUTHOR) bockisch@mathematik.uni-marburg.de, Neufeld, Daniel¹ (AUTHOR) neufeld.97@gmx.de, Taentzer, Gabriele¹ (AUTHOR) taentzer@mathematik.uni-marburg.de

Source: Software & Systems Modeling. Jul2026, p1-24. 24p.

Subject Terms: *Computer software testing, *Program transformation, *Software failures

DEVELOPMENT AND VERIFICATION OF AN ORCHESTRATION ARCHITECTURE OF AI AGENTS FOR AUTOMATED API TESTING WITH A UNIFIED REPRESENTATION OF REQUIREMENTS.

Alternate Title: РОЗРОБКА ТА ВЕРИФІКАЦІЯ ОРКЕСТРАЦІЙНОЇ АРХІТЕКТУРИ AI-АГЕНТІВ ДЛЯ АВТОМАТИЗОВАНОГО ТЕСТУВАННЯ API З УНІФІКОВАНИМ ПРЕДСТАВЛЕННЯМ ВИМОГ.

Authors: Moskalenko, Maksym¹ mosmax3@gmail.com

Source: Technology Audit & Production Reserves. 2026, Vol. 3 Issue 2(89), p31-40. 10p.

Subject Terms: *Computer software testing, *Requirements engineering, *Language models, *Agile software development, *Artificial intelligence

Adaptive Multi‐Metric Test Case Selection for Deep Neural Networks Based on Genetic Algorithm.

Authors: Wang, Weiwei¹ (AUTHOR) wangweiwei@bipt.edu.cn, Chen, Qingshuai¹ (AUTHOR), Zhao, Zimo¹ (AUTHOR), Liu, Xuejun¹ (AUTHOR), Zhao, Ruilian² (AUTHOR)

Source: Journal of Software: Evolution & Process. Jul2026, Vol. 38 Issue 7, p1-21. 21p.

Subject Terms: *Genetic algorithms, *Computer software testing, *Fault diagnosis, *Artificial neural networks, *Uncertainty (Information theory), *Multi-objective optimization

HisFuzz: 基于历史缺陷的通用模糊测试用例 生成方法.

Alternate Title: His Fuzz: general fuzzing test case generation method based on historical defects.

Authors: 谢丽霞¹, 晏阳维², 杨宏宇^1,2

Source: Application Research of Computers / Jisuanji Yingyong Yanjiu. Jul2026, Vol. 43 Issue 7, p2119-2125. 7p.

Subject Terms: *Computer software testing, *Software failures, *Language models, *Software measurement, *Compilers (Computer programs)

Model-based GUI automation.

Authors: Spinak, Joshua¹ (AUTHOR) jspinak@alum.mit.edu

Source: Software & Systems Modeling. Jun2026, Vol. 25 Issue 3, p871-908. 38p.

Subject Terms: *Graphical user interfaces, *Computer software testing, *Robotics, *Cognition, *Computer software quality control, *Computer vision

LLMs and fuzzing in tandem: a new approach to automatically generating weakest preconditions.

Authors: King, Daragh¹ (AUTHOR) kingd6@tcd.ie, Koutavas, Vasileios¹ (AUTHOR) vasileios.koutavas@tcd.ie, Kovács, Laura² (AUTHOR) laura.kovacs@tuwien.ac.at

Source: International Journal on Software Tools for Technology Transfer. Jun2026, Vol. 28 Issue 3, p317-328. 12p.

Subject Terms: *Software verification, *Computer software testing, *Java programming language, *Language models, *Computer software

Comparative Analysis of Automated Testing Tools (Automation Testing) Using Cypress and Selenium with Testng Framework on Web Portal Testing Performance in A Banking Company.

Authors: Aprianto, Agam¹ agamaprianto@student.esaunggul.ac.id, Firmansyah, Gerry¹ gerry@esaunggul.ac.id, Widodo, Agung Mulyo¹ agung.mulyo@esaunggul.ac.id, Akbar, Habibullah¹ habibullah.akbar@esaunggul.ac.id

Source: Eduvest: Journal Of Universal Studies. Jun2026, Vol. 6 Issue 6, p6732-6746. 15p.

Subject Terms: *Computer software testing, *Banking industry, *Computer performance

Software testing, verification & reliability.

Additional Titles: Software testing, verification and reliability
STVR
Software

Subjects: Computer software Periodicals. Testing, Computer software Periodicals. Verification, Computer software Periodicals. Reliability, Logiciels Périodiques. Essais, Logiciels Périodiques. Vérification, Logiciels Périodiques. Fiabilité, Computer software Reliability., Computer software Testing., Computer software Verification., Programari., Auditoria informàtica.

Index Terms: Computing, mathematics and information systems, Electronic journals., Periodicals., Periodicals., Revistes electròniques.

URL: http://www.intute.ac.uk/sciences/cgi-bin/fullrecord.pl?handle=lesa.1013705225
http://www3.interscience.wiley.com/cgi-bin/jhome/13635
http://onlinelibrary.wiley.com/journal/10.1002/%28ISSN%291099-1689
https://onlinelibrary.wiley.com/journal/10991689

Documentation quality for effective and reusable test cases: An expert's perspective.

Authors: Barraood, Samera Obaid^1,2 (AUTHOR) s.barraood@hu.edu.ye, SarkinTudu, Shehu M.³ (AUTHOR) shehu.studu@ssu.edu.ng, Mohd, Haslina⁴ (AUTHOR) haslina@uum.edu.my, Baharom, Fauziah⁴ (AUTHOR) fauziah@uum.edu.ye, Almogahed, Abdullah⁵ (AUTHOR) abdullah.almogahed@outlook.com, Al-Dyani, Wafa Zubair¹ (AUTHOR) wafa.zbair@hu.edu.ye

Source: AIP Conference Proceedings. 2026, Vol. 3407 Issue 1, p1-9. 9p.

Subject Terms: *Agile software development, *Computer software testing, *Computer software quality control

Optimizing code generation with mutational prompts and automated testing in LLMs.

Authors: Jayaram¹ (AUTHOR) jayaram_258m@yahoo.com, Bhutkar, Yogesh¹ (AUTHOR) yogeshbhutkar3@gmail.com, Chaithanya, Dasari¹ (AUTHOR) chaithanyareddybi@gmail.com, Narsamma¹ (AUTHOR) narsammag443@gmail.com

Source: AIP Conference Proceedings. 2026, Vol. 3341 Issue 1, p1-7. 7p.

Subject Terms: *Code generators, *Computer software testing, *Gemini (Chatbot), *Language models

Company/Entity: OpenAI Inc.