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 comprehensive review on code clone detection techniques.

Συγγραφείς: Chatley, Geetika¹ (AUTHOR) Geetikachatley@gmail.com, Kaur, Amandeep¹ (AUTHOR) Amandeep1426@sggswu.edu.in

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

Θεματικοί όροι: *Computer software testing, *Computer software development, *Defect tracking (Computer software development), *Computer software security, *Software failures

Test case generation and prioritization from UML: A review.

Συγγραφείς: Ulhas, Shinde Sangramsinh¹ (AUTHOR) shindesangramsinh96@gmail.com, Singh, Balraj¹ (AUTHOR) balraj.13075@lpu.co.in

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

Θεματικοί όροι: *Computer software testing, *Modeling languages (Computer science), *Software maintenance, *Computer software development, *Quality assurance

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

Automatic test suite generation using bat algorithm.

Συγγραφείς: Malhotra, Ruchika¹ (AUTHOR), Pandey, Shivani^1,2 (AUTHOR) shivanipnd459@gmail.com

Πηγή: Intelligent Data Analysis. Sep2026, Vol. 30 Issue 5, p1392-1410. 19p.

Θεματικοί όροι: *Mathematical optimization, Metaheuristic algorithms, Computer software testing, Particle swarm optimization, Genetic algorithms

From Pareto to Neural: A Mathematical Survey of Multi-Objective Optimization Algorithms—With Applications to Software Testing.

Συγγραφείς: Zheng, Xufan¹ (AUTHOR) 2023014561@nwsuaf.edu.cn, Rasheed, Waqas² (AUTHOR)

Πηγή: Mathematics (2227-7390). Aug2026, Vol. 14 Issue 15, p2694. 26p.

Θεματικοί όροι: *Multi-objective optimization, *Computer software testing, *Evolutionary algorithms, *Reinforcement learning, *Language models, *Pareto optimum, *Artificial neural networks

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

การพัฒนาและเปรียบเทียบประสิทธิภาพของโมเดลภาษาขนาดใหญ่สำหรับการสร้าง กรณีทดสอบอัตโนมัติในงานทดสอบซอฟต์แวร์ระบบธนาคาร.

Alternate Title: Development and comparative evaluation of large language models for automated test case generation in banking software testing.

Συγγραφείς: หทัยรัตน์ เจนวิ&¹, รัฐศิลป์ รานอกภ&¹ ratthaslip.ran@dpu.ac.th

Πηγή: Journal of Science & Technology MSU. Jul/Aug2026, Vol. 45 Issue 4, p446-462. 17p.

Θεματικοί όροι: *Language models, *Computer software testing, *Software frameworks, *Banking industry

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)

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

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

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