Model selection and testing for an automated constraint modelling toolchain

Authors: Hussain, Bilal Syed

Contributors: Miguel, Ian

Subject Terms: 005.1, Constraint programming, Constraint modelling, Instance generation, Model selection, Automated testing, QA276..612H8, Computer programs--Testing

Access URL: https://ethos.blethoshyku.com/concern/thesis_or_dissertations/703481

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

A toolchain to verify the parallelization of OmpSs-2 applications

Authors: Economo, Simone, Royuela Alcázar, Sara, Ayguadé Parra, Eduard, Beltran Querol, Vicenç

Contributors: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors, Barcelona Supercomputing Center, Universitat Politècnica de Catalunya. CAP - Grup de Computació d'Altes Prestacions

Subject Terms: Àrees temàtiques de la UPC::Informàtica::Arquitectura de computadors, Parallel programming (Computer science), Compilers (Computer programs), Computer programs -- Testing, Synchronization, Software testing and debugging, Programació en paral·lel (Informàtica), Compiladors (Programes d'ordinador), Programes d'ordinador -- Control de qualitat

File Description: 16 p.; application/pdf

Relation: https://link.springer.com/chapter/10.1007/978-3-030-57675-2_2; info:eu-repo/grantAgreement/MINECO//TIN2015-65316-P/ES/COMPUTACION DE ALTAS PRESTACIONES VII/; info:eu-repo/grantAgreement/EC/H2020/871669/EU/A Model-driven development framework for highly Parallel and EneRgy-Efficient computation supporting multi-criteria optimisation/AMPERE; info:eu-repo/grantAgreement/EC/H2020/730897/EU/Transnational Access Programme for a Pan-European Network of HPC Research Infrastructures and Laboratories for scientific computing/HPC-EUROPA3; info:eu-repo/grantAgreement/MINECO//SEV-2015-0493/ES/BARCELONA SUPERCOMPUTING CENTER - CENTRO. NACIONAL DE SUPERCOMPUTACION/; https://hdl.handle.net/2117/330464

Availability: https://hdl.handle.net/2117/330464
https://doi.org/10.1007/978-3-030-57675-2_2

Using Fuzz Testing to Demonstrate Smoothed Analysis

Authors: Delagardelle, Tyler, Burns, Andrew

Source: Summer Undergraduate Research Program (SURP) Symposium

Subject Terms: Smoothing (Numerical analysis), Fuzzy algorithms, Computer programs--Testing, Other Applied Mathematics, Other Computer Sciences

File Description: application/pdf

Relation: https://scholarworks.uni.edu/surp/2025/all/17; https://scholarworks.uni.edu/context/surp/article/1200/viewcontent/Delagardelle_UsingFuzzTesting_SURP_2025.pdf

Availability: https://scholarworks.uni.edu/surp/2025/all/17
https://scholarworks.uni.edu/context/surp/article/1200/viewcontent/Delagardelle_UsingFuzzTesting_SURP_2025.pdf

Heaps don't lie: countering unsoundness with heap snapshots

Authors: Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis

Source: Proceedings of the ACM on Programming Languages. 1:1-27

Subject Terms: FOS: Computer and information sciences, Software engineering, Computer Science - Programming Languages, 0202 electrical engineering, electronic engineering, information engineering, Programming languages (Electronic computers), 02 engineering and technology, Computer programs -- Testing, Programming Languages (cs.PL)

Access URL: http://dl.acm.org/ft_gateway.cfm?id=3133892&type=pdf
http://arxiv.org/abs/1905.02088
https://www.um.edu.mt/library/oar/handle/123456789/86114

Division of Vehicles Modernization Project

Additional Titles: Modernization Project

Authors: Shelite, Donna R.

Subjects: Drivers' licenses Automation. Kansas, Drivers' licenses Data processing. Kansas, Automobiles Registration and transfer Automation. Kansas, Automobiles Registration and transfer Data processing. Kansas, Technology assessment Kansas., Computer programs Testing., Technology and state Kansas., Automobiles Immatriculation Automatisation. Kansas, Automobiles Immatriculation Informatique. Kansas, Technologie Évaluation Kansas., Logiciels Essais., Politique scientifique et technique Kansas., Automobiles Registration and transfer Data processing., Computer programs Testing., Technology and state., Technology assessment., Kansas.

URL: https://kgi.contentdm.oclc.org/digital/collection/p16884coll67/search/searchterm/1018405052/field/dmoclcno/mode/all/conn/all/order/pdidat/ad/desc

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

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

Automatic fault injection for driver robustness testing

Authors: Cong, Kai, Lei, Li, Yang, Zhenkun, Xie, Fei

Source: Proceedings of the 2015 International Symposium on Software Testing and Analysis. :361-372

Subject Terms: Debugging in computer science, Computer Sciences, 0202 electrical engineering, electronic engineering, information engineering, Computer programs--Testing, Computer Engineering, 02 engineering and technology

File Description: application/pdf

Access URL: http://web.cecs.pdx.edu/%7Ezhenkun/pub/issta15.pdf

Lessons learnt from using DSLs for automated software testing

Authors: Micallef, Mark, Colombo, Christian, 8th IEEE International Conference on Software Testing, Verification and Validation Workshops

Source: 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW). :1-6

Subject Terms: Domain-specific programming languages, Software engineering, 13. Climate action, Autonomous distributed systems, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Computer programs -- Testing, 7. Clean energy

Access URL: https://www.um.edu.mt/library/oar/bitstream/123456789/30677/1/Lessons_learnt_from_using_DSLs_for_automated_software_testing.pdf
https://www.um.edu.mt/library/oar//handle/123456789/30677

Design and evaluation of testing protocols for rectangularly discretized ground-water simulation models, The

Authors: Kanzer, David A.

Contributors: Turner, A. Keith, 1941-

Subject Terms: Groundwater flow -- Computer programs, Computer programs -- Testing, Computer programs -- Validation

File Description: masters theses; application/pdf

Relation: 1990-1999 - Mines Theses & Dissertations; T 4570; https://hdl.handle.net/11124/175487

Availability: https://hdl.handle.net/11124/175487