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

Συγγραφείς: Hong, D.¹ (AUTHOR), Kim, M.¹ (AUTHOR), Cha, S.¹ (AUTHOR), Jo, J.¹ (AUTHOR)

Πηγή: Computer Graphics Forum. Jun2026, p1. 12p. 5 Illustrations.

Θεματικοί όροι: *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.

Συγγραφείς: 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

Πηγή: IET Software (Wiley-Blackwell). 6/4/2026, Vol. 2026, p1-29. 29p.

Θεματικοί όροι: *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.

Συγγραφείς: 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

Πηγή: International Scientific Journal of Engineering & Management. Jun2026, Vol. 5 Issue 6, p1-5. 5p.

Θεματικοί όροι: *Intelligent agents, *Quality assurance, Computer software testing, Multiagent systems, Deep learning, Language models

A survey paper on automation of functional testing.

Συγγραφείς: 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)

Πηγή: AIP Conference Proceedings. 2026, Vol. 3414 Issue 1, p1-4. 4p.

Θεματικοί όροι: *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.

Συγγραφείς: Holm, Ken¹

Πηγή: Quality Progress. May2026, Vol. 59 Issue 5, p28-35. 8p.

Θεματικοί όροι: Computer software testing, Orthogonal arrays, Independent variables

Covariate Software Defect Discovery Models to Explicitly Characterize Changepoints.

Συγγραφείς: 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

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

Θεματικοί όροι: *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.

Συγγραφείς: 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

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

Θεματικοί όροι: *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.

Συγγραφείς: 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

Πηγή: IET Software (Wiley-Blackwell). 3/1/2026, Vol. 2026, p1-30. 30p.

Θεματικοί όροι: 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.

Συγγραφείς: Lazarus, Lily Mae (AUTHOR)

Πηγή: Fortune.com. 3/24/2026, pN.PAG-N.PAG. 1p.

Θεματικοί όροι: *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.

Συγγραφείς: Tasarsu, Murat¹ (AUTHOR) 2100003325@stu.iku.edu.tr, Tokmak, Ahmet Vedat¹ (AUTHOR) 2000005655@stu.iku.edu.tr, Catal, Cagatay² (AUTHOR) ccatal@qu.edu.qa

Πηγή: Cluster Computing. Aug2026, Vol. 29 Issue 4, p1-16. 16p.

Θεματικοί όροι: *Language models, *Computer software testing, *Computer software quality control, *Software validation, *Software engineering

Assessing model-driven mutation testing of Java bytecode.

Συγγραφείς: 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

Πηγή: Software & Systems Modeling. Jul2026, p1-24. 24p.

Θεματικοί όροι: *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 З УНІФІКОВАНИМ ПРЕДСТАВЛЕННЯМ ВИМОГ.

Συγγραφείς: Moskalenko, Maksym¹ mosmax3@gmail.com

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

Θεματικοί όροι: *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.

Συγγραφείς: Wang, Weiwei¹ (AUTHOR) wangweiwei@bipt.edu.cn, Chen, Qingshuai¹ (AUTHOR), Zhao, Zimo¹ (AUTHOR), Liu, Xuejun¹ (AUTHOR), Zhao, Ruilian² (AUTHOR)

Πηγή: Journal of Software: Evolution & Process. Jul2026, Vol. 38 Issue 7, p1-21. 21p.

Θεματικοί όροι: *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.

Συγγραφείς: 谢丽霞¹, 晏阳维², 杨宏宇^1,2

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

Θεματικοί όροι: *Computer software testing, *Software failures, *Language models, *Software measurement, *Compilers (Computer programs)

Model-based GUI automation.

Συγγραφείς: Spinak, Joshua¹ (AUTHOR) jspinak@alum.mit.edu

Πηγή: Software & Systems Modeling. Jun2026, Vol. 25 Issue 3, p871-908. 38p.

Θεματικοί όροι: *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.

Συγγραφείς: King, Daragh¹ (AUTHOR) kingd6@tcd.ie, Koutavas, Vasileios¹ (AUTHOR) vasileios.koutavas@tcd.ie, Kovács, Laura² (AUTHOR) laura.kovacs@tuwien.ac.at

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

Θεματικοί όροι: *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.

Συγγραφείς: 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

Πηγή: Eduvest: Journal Of Universal Studies. Jun2026, Vol. 6 Issue 6, p6732-6746. 15p.

Θεματικοί όροι: *Computer software testing, *Banking industry, *Computer performance

Software testing, verification & reliability.

Additional Titles: Software testing, verification and reliability
STVR
Software

Θέματα: 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.

Όροι ευρετηρίου: Computing, mathematics and information systems, Electronic journals., Periodicals., Periodicals., Revistes electròniques.

Σύνδεσμος: 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.

Συγγραφείς: 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

Πηγή: AIP Conference Proceedings. 2026, Vol. 3407 Issue 1, p1-9. 9p.

Θεματικοί όροι: *Agile software development, *Computer software testing, *Computer software quality control

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

Συγγραφείς: Jayaram¹ (AUTHOR) jayaram_258m@yahoo.com, Bhutkar, Yogesh¹ (AUTHOR) yogeshbhutkar3@gmail.com, Chaithanya, Dasari¹ (AUTHOR) chaithanyareddybi@gmail.com, Narsamma¹ (AUTHOR) narsammag443@gmail.com

Πηγή: AIP Conference Proceedings. 2026, Vol. 3341 Issue 1, p1-7. 7p.

Θεματικοί όροι: *Code generators, *Computer software testing, *Gemini (Chatbot), *Language models

Εταιρία/Οντότητα: OpenAI Inc.