Model selection and testing for an automated constraint modelling toolchain

Συγγραφείς: Hussain, Bilal Syed

Συνεισφορές: Miguel, Ian

Θεματικοί όροι: 005.1, Constraint programming, Constraint modelling, Instance generation, Model selection, Automated testing, QA276..612H8, Computer programs--Testing

Σύνδεσμος πρόσβασης: https://ethos.blethoshyku.com/concern/thesis_or_dissertations/703481

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

A toolchain to verify the parallelization of OmpSs-2 applications

Συγγραφείς: Economo, Simone, Royuela Alcázar, Sara, Ayguadé Parra, Eduard, Beltran Querol, Vicenç

Συνεισφορές: 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

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

Περιγραφή αρχείου: 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

Διαθεσιμότητα: https://hdl.handle.net/2117/330464
https://doi.org/10.1007/978-3-030-57675-2_2

Using Fuzz Testing to Demonstrate Smoothed Analysis

Συγγραφείς: Delagardelle, Tyler, Burns, Andrew

Πηγή: Summer Undergraduate Research Program (SURP) Symposium

Θεματικοί όροι: Smoothing (Numerical analysis), Fuzzy algorithms, Computer programs--Testing, Other Applied Mathematics, Other Computer Sciences

Περιγραφή αρχείου: 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

Διαθεσιμότητα: 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

Συγγραφείς: Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis

Πηγή: Proceedings of the ACM on Programming Languages. 1:1-27

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

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Shelite, Donna R.

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

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

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

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

Automatic fault injection for driver robustness testing

Συγγραφείς: Cong, Kai, Lei, Li, Yang, Zhenkun, Xie, Fei

Πηγή: Proceedings of the 2015 International Symposium on Software Testing and Analysis. :361-372

Θεματικοί όροι: Debugging in computer science, Computer Sciences, 0202 electrical engineering, electronic engineering, information engineering, Computer programs--Testing, Computer Engineering, 02 engineering and technology

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://web.cecs.pdx.edu/%7Ezhenkun/pub/issta15.pdf

Lessons learnt from using DSLs for automated software testing

Συγγραφείς: Micallef, Mark, Colombo, Christian, 8th IEEE International Conference on Software Testing, Verification and Validation Workshops

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

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

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Kanzer, David A.

Συνεισφορές: Turner, A. Keith, 1941-

Θεματικοί όροι: Groundwater flow -- Computer programs, Computer programs -- Testing, Computer programs -- Validation

Περιγραφή αρχείου: masters theses; application/pdf

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

Διαθεσιμότητα: https://hdl.handle.net/11124/175487