Program Correctness through Self-Certification.

作者: Namjoshi, Kedar S.¹ (AUTHOR) kedar.namjoshi@nokia-bell-labs.com, Zuck, Lenore D.² (AUTHOR) zuck@uic.edu

Source: Communications of the ACM. Feb2025, Vol. 68 Issue 2, p74-84. 11p.

Subject Terms: *COMPUTER programming, *COMPUTERS, *COMPUTER systems, *SCALABILITY, *SYSTEMS design, *COMPUTER software, COMPUTER software testing, SOFTWARE verification

Test Accounts: A Hidden Risk.

作者: Vachon, Phil¹ (AUTHOR) phil@vachon.nyc

Source: Communications of the ACM. Jan2025, Vol. 68 Issue 1, p46-49. 4p.

Subject Terms: *ACCESS control, *BEST practices, *DATA security failures, COMPUTER software testing

New Model for Defining and Implementing Performance Tests.

作者: Bolanowski, Marek¹ (AUTHOR) marekb@prz.edu.pl, Ćmil, Michał¹ (AUTHOR) marekb@prz.edu.pl, Starzec, Adrian² (AUTHOR) starzec88@gmail.com

Source: Future Internet. Oct2024, Vol. 16 Issue 10, p366. 27p.

Subject Terms: *INFORMATION technology, *COMPUTER software testing, *WEB-based user interfaces, *TEST systems, *TESTING laboratories

Fuzzing frameworks for server-side web applications: a survey: Fuzzing Frameworks for Server-side Web Applications: A Survey...: I. P. A. Dharmaadi et al.

作者: Dharmaadi, I Putu Arya^1,2 (AUTHOR) arya.dharmaadi@rug.nl, Athanasopoulos, Elias³ (AUTHOR), Turkmen, Fatih¹ (AUTHOR) f.turkmen@rug.nl

Source: International Journal of Information Security. Apr2025, Vol. 24 Issue 2, p1-28. 28p.

Subject Terms: *COMPUTER software, WEB-based user interfaces, COMPUTER software testing, INTERNET surveys, INTERNET research

A Cost-effective and Machine-learning-based method to identify and cluster redundant mutants in software mutation testing.

作者: Arasteh, Bahman^1,2 (AUTHOR) bahman.arasteh@istinye.edu.tr, Ghaffari, Ali¹ (AUTHOR)

Source: Journal of Supercomputing. Aug2024, Vol. 80 Issue 12, p16711-16743. 33p.

Subject Terms: *COMPUTER software testing, *COMPUTER software quality control, *MACHINE learning, *SOURCE code, *ERROR rates, *TEST scoring

Association between serum vitamin D level and Graves' disease: a systematic review and meta-analysis.

作者: Pang, Boxian^1,2 (AUTHOR), Li, Leyang¹ (AUTHOR), Liu, Xin³ (AUTHOR), Cao, Zhengmin⁴ (AUTHOR), Pang, Tieliang⁵ (AUTHOR) taishengpang@mail.ccmu.edu.cn, Wang, Qiuhong¹ (AUTHOR) qiuhongfortune@126.com, Wei, Junping¹ (AUTHOR) weijunping@126.com

Source: Nutrition Journal. 6/7/2024, Vol. 23 Issue 1, p1-11. 11p.

Subject Terms: *PUBLICATION bias, *COMPUTER software testing, *VITAMIN D, *AGE groups, *DATABASE searching, *ENGLISH language

Language-Based Software Testing.

作者: Steinhöfel, Dominic¹ (AUTHOR), Zeller, Andreas² (AUTHOR)

Source: Communications of the ACM. Apr2024, Vol. 67 Issue 4, p80-84. 5p.

Subject Terms: *AUTOMATION, LANGUAGE & languages, COMPUTER software testing, SYNTAX (Grammar), SEMANTICS

Improving Testing of Deep-Learning Systems.

作者: Deokuliar, Harsh¹ (AUTHOR), Sangwan, Raghvinder S.² (AUTHOR), Badr, Yoaukim³ (AUTHOR), Srinivasan, Satish M.³ (AUTHOR)

Source: Communications of the ACM. Mar2024, Vol. 67 Issue 3, p44-48. 5p.

Subject Terms: *ARTIFICIAL neural networks, DEEP learning, COMPUTER software testing, DATA quality, MUTATION testing of computer software, ITERATIVE methods (Mathematics)

Frezeleme işleminde CNC tabla titreşimlerinin kestirimi için dinamik simülasyon modeli geliştirilmesi.

Alternate Title: Development of a dynamic simulation model for CNC table vibration estimation in milling operations.

作者: Altun, Barış¹ baraltun@metu.edu.tr, Çalışkan, Hakan¹ chakan@metu.edu.tr, Özşahin, Orkun¹ ozsahin@metu.edu.tr

Source: Journal of the Faculty of Engineering & Architecture of Gazi University / Gazi Üniversitesi Mühendislik Mimarlık Fakültesi Dergisi,. 2024, Vol. 39 Issue 3, p1703-1715. 13p.

Subject Terms: Modal analysis, Computer software testing, Milling-machines, Transfer functions, Industry 4.0

Analyzing the Effects of White Noise on Software Release Planning Using SDE-Based SRGM.

作者: Aggarwal, Anu G.¹ (AUTHOR) anuagg17@gmail.com, Anand, Sameer¹ (AUTHOR) sananddu@gmail.com, Bibyan, Ritu¹ (AUTHOR) ritubibyan.du.or.17@gmail.com, Verma, Vibha² (AUTHOR) vibhaverma.du.aor@gmail.com

Source: Fluctuation & Noise Letters. Apr2024, Vol. 23 Issue 2, p1-21. 21p.

Subject Terms: *COMPUTER software testing, *WHITE noise, *SOFTWARE reliability, *COMPUTER software, *APPLICATION software, *FAULT diagnosis

Test suite optimization under multi-objective constraints for software fault detection and localization: Hybrid optimization based model.

作者: Freeda R, Adline¹ (AUTHOR) adlinefreeda6@gmail.com, Rajendran P, Selvi¹ (AUTHOR) selvir@hindustanuniv.ac.in

Source: Web Intelligence (2405-6456). 2024, Vol. 22 Issue 2, p151-166. 16p.

Subject Terms: *COMPUTER software development, *COMPUTER software testing, *DEBUGGING, *COMPUTER software, *MONKEYS, *ENGINEERS

Is it Possible to Empirically Test a Metatheory?

作者: Roffé, Ariel Jonathan¹ (AUTHOR) arielroffe@filo.uba.ar, Díez, José² (AUTHOR)

Source: Foundations of Science. Mar2025, Vol. 30 Issue 1, p149-174. 26p.

Subject Terms: *COMPUTER software testing, *CLASSICAL mechanics, *COMPUTER software, *STRUCTURALISM, *METATHEORY

Using Dynamic and Static Techniques to Establish Traceability Links Between Production Code and Test Code on Python Projects: A Replication Study.

作者: Chen, Zhifei¹ (AUTHOR), Jia, Chiheng² (AUTHOR), Li, Yanhui² (AUTHOR), Chen, Lin² (AUTHOR) lchen@nju.edu.cn

Source: Journal of Software: Evolution & Process. Mar2025, Vol. 37 Issue 3, p1-16. 16p.

Subject Terms: *COMPUTER software testing, *SYSTEMS software, *MACHINE learning, *PYTHONS, *RESEARCH personnel, *PYTHON programming language

Hybrid whale optimized crow search algorithm and multi-SVM classifier for effective system level test case selection.

作者: Tamizharasi, A.¹ (AUTHOR) tamizh04384@gmail.com, Ezhumalai, P.¹ (AUTHOR)

Source: Journal of Intelligent & Fuzzy Systems. 2024, Vol. 46 Issue 2, p4191-4207. 17p.

Subject Terms: *COMPUTER software testing, *SEARCH algorithms, *METAHEURISTIC algorithms, *OPTIMIZATION algorithms, *SOFTWARE maintenance, *FEATURE selection

Improving Coverage and Vulnerability Detection in Smart Contract Testing Using Self-Adaptive Learning GA.

作者: Sujeetha, R.¹ (AUTHOR) sr7092@srmist.edu.in, Akila, K.¹ (AUTHOR) akilak@srmist.edu.in

Source: IETE Journal of Research. Feb2024, Vol. 70 Issue 2, p1593-1606. 14p.

Subject Terms: *COMPUTER software testing, *ADAPTIVE testing, *MACHINE learning, *FLOWGRAPHS, *GENETIC algorithms, *CONTRACTS

Parallel program testing based on critical communication and branch transformation.

作者: Tian, Tian¹ (AUTHOR), Wang, Anshi¹ (AUTHOR), Yang, Xiuting¹ (AUTHOR), Gong, Dunwei² (AUTHOR) dwgong@vip.163.com, Hou, Tie¹ (AUTHOR), Yao, Xiangjuan³ (AUTHOR)

Source: Journal of Supercomputing. Jan2024, Vol. 80 Issue 1, p519-548. 30p.

Subject Terms: *GENETIC algorithms, *COMPUTER software testing, *COMMUNICATION barriers, *TEST methods, *EVALUATION methodology

User acceptance test for software development in the agricultural domain using natural language processing.

作者: Antonelli, Leandro¹ (AUTHOR) lanto2004@gmail.com, Camilleri, Guy² (AUTHOR), Torres, Diego^1,3 (AUTHOR), Zaraté, Pascale² (AUTHOR)

Source: Journal of Decision Systems. Nov2024, Vol. 33 Issue 4, p913-936. 24p.

Subject Terms: *ARTIFICIAL intelligence, *COMPUTER software development, COMPUTER software testing, REQUIREMENTS engineering, AGRICULTURAL development

Reducing branch divergence to speed up parallel execution of unit testing on GPUs.

作者: Bagies, Taghreed¹ (AUTHOR) tbagies@kau.edu.sa, Le, Wei² (AUTHOR), Sheaffer, Jeremy² (AUTHOR), Jannesari, Ali² (AUTHOR)

Source: Journal of Supercomputing. Nov2023, Vol. 79 Issue 16, p18340-18374. 35p.

Subject Terms: *COMPUTER software testing, *COMPUTER software development, *CONFORMANCE testing

On the value of parameter tuning in stacking ensemble model for software regression test effort estimation.

作者: Labidi, Taher^1,2 (AUTHOR) t.labidi@psau.edu.sa, Sakhrawi, Zaineb^2,3 (AUTHOR)

Source: Journal of Supercomputing. Oct2023, Vol. 79 Issue 15, p17123-17145. 23p.

Subject Terms: *COMPUTER software testing, *REGRESSION analysis, *REGRESSION trees, *MACHINE learning, *DECISION trees

Implementation of Test Suites using Enhanced State Chart Diagrams: A Case Study.

作者: Gupta, K.¹ kritikagupta47@yahoo.co.in, Goyal, P.¹

Source: Journal of Scientific Research. 2023, Vol. 15 Issue 3, p637-649. 13p.

Subject Terms: *SOFTWARE engineering, *COMPUTER software testing, *TEST methods, *SUCCESSIVE approximation analog-to-digital converters