Program Correctness through Self-Certification.

Nhiều tác giả: Namjoshi, Kedar S.¹ (AUTHOR) kedar.namjoshi@nokia-bell-labs.com, Zuck, Lenore D.² (AUTHOR) zuck@uic.edu

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

Điều khoản chủ đề: *COMPUTER programming, *COMPUTERS, *COMPUTER systems, *SCALABILITY, *SYSTEMS design, *COMPUTER software, COMPUTER software testing, SOFTWARE verification

Test Accounts: A Hidden Risk.

Nhiều tác giả: Vachon, Phil¹ (AUTHOR) phil@vachon.nyc

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

Điều khoản chủ đề: *ACCESS control, *BEST practices, *DATA security failures, COMPUTER software testing

New Model for Defining and Implementing Performance Tests.

Nhiều tác giả: Bolanowski, Marek¹ (AUTHOR) marekb@prz.edu.pl, Ćmil, Michał¹ (AUTHOR) marekb@prz.edu.pl, Starzec, Adrian² (AUTHOR) starzec88@gmail.com

Nguồn: Future Internet. Oct2024, Vol. 16 Issue 10, p366. 27p.

Điều khoản chủ đề: *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.

Nhiều tác giả: Dharmaadi, I Putu Arya^1,2 (AUTHOR) arya.dharmaadi@rug.nl, Athanasopoulos, Elias³ (AUTHOR), Turkmen, Fatih¹ (AUTHOR) f.turkmen@rug.nl

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

Điều khoản chủ đề: *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.

Nhiều tác giả: Arasteh, Bahman^1,2 (AUTHOR) bahman.arasteh@istinye.edu.tr, Ghaffari, Ali¹ (AUTHOR)

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

Điều khoản chủ đề: *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.

Nhiều tác giả: 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

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

Điều khoản chủ đề: *PUBLICATION bias, *COMPUTER software testing, *VITAMIN D, *AGE groups, *DATABASE searching, *ENGLISH language

Language-Based Software Testing.

Nhiều tác giả: Steinhöfel, Dominic¹ (AUTHOR), Zeller, Andreas² (AUTHOR)

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

Điều khoản chủ đề: *AUTOMATION, LANGUAGE & languages, COMPUTER software testing, SYNTAX (Grammar), SEMANTICS

Improving Testing of Deep-Learning Systems.

Nhiều tác giả: Deokuliar, Harsh¹ (AUTHOR), Sangwan, Raghvinder S.² (AUTHOR), Badr, Yoaukim³ (AUTHOR), Srinivasan, Satish M.³ (AUTHOR)

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

Điều khoản chủ đề: *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.

Nhiều tác giả: Altun, Barış¹ baraltun@metu.edu.tr, Çalışkan, Hakan¹ chakan@metu.edu.tr, Özşahin, Orkun¹ ozsahin@metu.edu.tr

Nguồn: 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.

Điều khoản chủ đề: 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.

Nhiều tác giả: 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

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

Điều khoản chủ đề: *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.

Nhiều tác giả: Freeda R, Adline¹ (AUTHOR) adlinefreeda6@gmail.com, Rajendran P, Selvi¹ (AUTHOR) selvir@hindustanuniv.ac.in

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

Điều khoản chủ đề: *COMPUTER software development, *COMPUTER software testing, *DEBUGGING, *COMPUTER software, *MONKEYS, *ENGINEERS

Is it Possible to Empirically Test a Metatheory?

Nhiều tác giả: Roffé, Ariel Jonathan¹ (AUTHOR) arielroffe@filo.uba.ar, Díez, José² (AUTHOR)

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

Điều khoản chủ đề: *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.

Nhiều tác giả: Chen, Zhifei¹ (AUTHOR), Jia, Chiheng² (AUTHOR), Li, Yanhui² (AUTHOR), Chen, Lin² (AUTHOR) lchen@nju.edu.cn

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

Điều khoản chủ đề: *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.

Nhiều tác giả: Tamizharasi, A.¹ (AUTHOR) tamizh04384@gmail.com, Ezhumalai, P.¹ (AUTHOR)

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

Điều khoản chủ đề: *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.

Nhiều tác giả: Sujeetha, R.¹ (AUTHOR) sr7092@srmist.edu.in, Akila, K.¹ (AUTHOR) akilak@srmist.edu.in

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

Điều khoản chủ đề: *COMPUTER software testing, *ADAPTIVE testing, *MACHINE learning, *FLOWGRAPHS, *GENETIC algorithms, *CONTRACTS

Parallel program testing based on critical communication and branch transformation.

Nhiều tác giả: Tian, Tian¹ (AUTHOR), Wang, Anshi¹ (AUTHOR), Yang, Xiuting¹ (AUTHOR), Gong, Dunwei² (AUTHOR) dwgong@vip.163.com, Hou, Tie¹ (AUTHOR), Yao, Xiangjuan³ (AUTHOR)

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

Điều khoản chủ đề: *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.

Nhiều tác giả: Antonelli, Leandro¹ (AUTHOR) lanto2004@gmail.com, Camilleri, Guy² (AUTHOR), Torres, Diego^1,3 (AUTHOR), Zaraté, Pascale² (AUTHOR)

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

Điều khoản chủ đề: *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.

Nhiều tác giả: Bagies, Taghreed¹ (AUTHOR) tbagies@kau.edu.sa, Le, Wei² (AUTHOR), Sheaffer, Jeremy² (AUTHOR), Jannesari, Ali² (AUTHOR)

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

Điều khoản chủ đề: *COMPUTER software testing, *COMPUTER software development, *CONFORMANCE testing

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

Nhiều tác giả: Labidi, Taher^1,2 (AUTHOR) t.labidi@psau.edu.sa, Sakhrawi, Zaineb^2,3 (AUTHOR)

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

Điều khoản chủ đề: *COMPUTER software testing, *REGRESSION analysis, *REGRESSION trees, *MACHINE learning, *DECISION trees

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

Nhiều tác giả: Gupta, K.¹ kritikagupta47@yahoo.co.in, Goyal, P.¹

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

Điều khoản chủ đề: *SOFTWARE engineering, *COMPUTER software testing, *TEST methods, *SUCCESSIVE approximation analog-to-digital converters