Program Correctness through Self-Certification.

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

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

Termos do assunto: *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

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

Termos do assunto: *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

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

Termos do assunto: *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

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

Termos do assunto: *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)

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

Termos do assunto: *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

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

Termos do assunto: *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)

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

Termos do assunto: *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)

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

Termos do assunto: *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

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

Termos do assunto: 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

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

Termos do assunto: *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

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

Termos do assunto: *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)

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

Termos do assunto: *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

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

Termos do assunto: *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)

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

Termos do assunto: *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

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

Termos do assunto: *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)

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

Termos do assunto: *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)

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

Termos do assunto: *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)

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

Termos do assunto: *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)

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

Termos do assunto: *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.¹

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

Termos do assunto: *SOFTWARE engineering, *COMPUTER software testing, *TEST methods, *SUCCESSIVE approximation analog-to-digital converters