Program Correctness through Self-Certification.

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

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

Términos de Temas: *COMPUTER programming, *COMPUTERS, *COMPUTER systems, *SCALABILITY, *SYSTEMS design, *COMPUTER software, COMPUTER software testing, SOFTWARE verification

Test Accounts: A Hidden Risk.

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

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

Términos de Temas: *ACCESS control, *BEST practices, *DATA security failures, COMPUTER software testing

New Model for Defining and Implementing Performance Tests.

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

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

Términos de Temas: *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.

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

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

Términos de Temas: *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.

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

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

Términos de Temas: *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.

Autores: 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

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

Términos de Temas: *PUBLICATION bias, *COMPUTER software testing, *VITAMIN D, *AGE groups, *DATABASE searching, *ENGLISH language

Language-Based Software Testing.

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

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

Términos de Temas: *AUTOMATION, LANGUAGE & languages, COMPUTER software testing, SYNTAX (Grammar), SEMANTICS

Improving Testing of Deep-Learning Systems.

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

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

Términos de Temas: *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.

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

Fuente: 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.

Términos de Temas: 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.

Autores: 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

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

Términos de Temas: *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.

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

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

Términos de Temas: *COMPUTER software development, *COMPUTER software testing, *DEBUGGING, *COMPUTER software, *MONKEYS, *ENGINEERS

Is it Possible to Empirically Test a Metatheory?

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

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

Términos de Temas: *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.

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

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

Términos de Temas: *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.

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

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

Términos de Temas: *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.

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

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

Términos de Temas: *COMPUTER software testing, *ADAPTIVE testing, *MACHINE learning, *FLOWGRAPHS, *GENETIC algorithms, *CONTRACTS

Parallel program testing based on critical communication and branch transformation.

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

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

Términos de Temas: *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.

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

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

Términos de Temas: *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.

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

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

Términos de Temas: *COMPUTER software testing, *COMPUTER software development, *CONFORMANCE testing

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

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

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

Términos de Temas: *COMPUTER software testing, *REGRESSION analysis, *REGRESSION trees, *MACHINE learning, *DECISION trees

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

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

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

Términos de Temas: *SOFTWARE engineering, *COMPUTER software testing, *TEST methods, *SUCCESSIVE approximation analog-to-digital converters