Program Correctness through Self-Certification.

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

Źródło: Communications of the ACM. Feb2025, Vol. 68 Issue 2, p74-84. 11p.

Hasła: *COMPUTER programming, *COMPUTERS, *COMPUTER systems, *SCALABILITY, *SYSTEMS design, *COMPUTER software, COMPUTER software testing, SOFTWARE verification

Test Accounts: A Hidden Risk.

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

Źródło: Communications of the ACM. Jan2025, Vol. 68 Issue 1, p46-49. 4p.

Hasła: *ACCESS control, *BEST practices, *DATA security failures, COMPUTER software testing

New Model for Defining and Implementing Performance Tests.

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

Źródło: Future Internet. Oct2024, Vol. 16 Issue 10, p366. 27p.

Hasła: *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.

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

Źródło: International Journal of Information Security. Apr2025, Vol. 24 Issue 2, p1-28. 28p.

Hasła: *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.

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

Źródło: Journal of Supercomputing. Aug2024, Vol. 80 Issue 12, p16711-16743. 33p.

Hasła: *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.

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

Źródło: Nutrition Journal. 6/7/2024, Vol. 23 Issue 1, p1-11. 11p.

Hasła: *PUBLICATION bias, *COMPUTER software testing, *VITAMIN D, *AGE groups, *DATABASE searching, *ENGLISH language

Language-Based Software Testing.

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

Źródło: Communications of the ACM. Apr2024, Vol. 67 Issue 4, p80-84. 5p.

Hasła: *AUTOMATION, LANGUAGE & languages, COMPUTER software testing, SYNTAX (Grammar), SEMANTICS

Improving Testing of Deep-Learning Systems.

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

Źródło: Communications of the ACM. Mar2024, Vol. 67 Issue 3, p44-48. 5p.

Hasła: *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.

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

Źródło: 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.

Hasła: 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.

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

Źródło: Fluctuation & Noise Letters. Apr2024, Vol. 23 Issue 2, p1-21. 21p.

Hasła: *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.

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

Źródło: Web Intelligence (2405-6456). 2024, Vol. 22 Issue 2, p151-166. 16p.

Hasła: *COMPUTER software development, *COMPUTER software testing, *DEBUGGING, *COMPUTER software, *MONKEYS, *ENGINEERS

Is it Possible to Empirically Test a Metatheory?

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

Źródło: Foundations of Science. Mar2025, Vol. 30 Issue 1, p149-174. 26p.

Hasła: *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.

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

Źródło: Journal of Software: Evolution & Process. Mar2025, Vol. 37 Issue 3, p1-16. 16p.

Hasła: *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.

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

Źródło: Journal of Intelligent & Fuzzy Systems. 2024, Vol. 46 Issue 2, p4191-4207. 17p.

Hasła: *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.

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

Źródło: IETE Journal of Research. Feb2024, Vol. 70 Issue 2, p1593-1606. 14p.

Hasła: *COMPUTER software testing, *ADAPTIVE testing, *MACHINE learning, *FLOWGRAPHS, *GENETIC algorithms, *CONTRACTS

Parallel program testing based on critical communication and branch transformation.

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

Źródło: Journal of Supercomputing. Jan2024, Vol. 80 Issue 1, p519-548. 30p.

Hasła: *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.

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

Źródło: Journal of Decision Systems. Nov2024, Vol. 33 Issue 4, p913-936. 24p.

Hasła: *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.

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

Źródło: Journal of Supercomputing. Nov2023, Vol. 79 Issue 16, p18340-18374. 35p.

Hasła: *COMPUTER software testing, *COMPUTER software development, *CONFORMANCE testing

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

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

Źródło: Journal of Supercomputing. Oct2023, Vol. 79 Issue 15, p17123-17145. 23p.

Hasła: *COMPUTER software testing, *REGRESSION analysis, *REGRESSION trees, *MACHINE learning, *DECISION trees

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

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

Źródło: Journal of Scientific Research. 2023, Vol. 15 Issue 3, p637-649. 13p.

Hasła: *SOFTWARE engineering, *COMPUTER software testing, *TEST methods, *SUCCESSIVE approximation analog-to-digital converters