Results of experimental investigations of aerodynamic characteristics of a sharp cone aimed at creating a validation basis for testing computer programs and models

Authors: Bosnyakov, S. M.^Aff1, Glazkov, S. A.^{Aff1, IDS0869864324050019_cor1}, Gorbushin, A. R.^{Aff1, IDS0869864324050019_cor2}, Gusev, D. Yu.^Aff1, Klemeshova, M. N.^Aff1, Krapivina, E. A.^Aff1, Mikhailov, S. V.^Aff1, Semenov, A. V.^Aff1, Shvalev, Yu. G.^Aff1

Source: Thermophysics and Aeromechanics. 31(5):915-928

Solsmith: Solidity Random Program Generator for Compiler Testing

Authors: Li, Lantian, Liu, Zhihao, Yu, Zhongxing

Subject Terms: Computer Science - Software Engineering

Access URL: http://arxiv.org/abs/2506.03909

Dataset Coverage for Testing Machine Learning Computer Programs

Authors: Nakajima, Shin, Bui, Hai Ngoc

Source: 2016 23rd Asia-Pacific Software Engineering Conference (APSEC) APSEC Software Engineering Conference (APSEC), 2016 23rd Asia-Pacific. :297-304 2016

Relation: 2016 23rd Asia-Pacific Software Engineering Conference (APSEC)

Model for Prediction of Testing Time of a Computer Program for Automated Reliability Evaluation of Semiconductor Devices

Authors: V. O. Kaziuchyts, S. M. Borovikov, E. N. Shneiderov

Source: Доклады Белорусского государственного университета информатики и радиоэлектроники, Vol 20, Iss 7, Pp 72-80 (2022)

Subject Terms: computer programs, testing efficiency, testing time, operational reliability, semiconductor devices, Electronics, TK7800-8360

File Description: electronic resource

Relation: https://doklady.bsuir.by/jour/article/view/3504; https://doaj.org/toc/1729-7648

Access URL: https://doaj.org/article/653128222b384bdd93290c6c6f5d3495

An Analysis of the Performance of an Artificial Immune Approach to Detecting Infections in Computer Programs

Authors: Widulinski, Patryk, Wawryn, Krzysztof

Source: 2023 30th International Conference on Mixed Design of Integrated Circuits and System (MIXDES) Mixed Design of Integrated Circuits and System (MIXDES), 2023 30th International Conference on. :133-137 Jun, 2023

Relation: 2023 30th International Conference on Mixed Design of Integrated Circuits and System (MIXDES)

ParityFuzz: Finding inconsistencies across solidity compilers via fine-grained mutation and differential analysis.

Authors: Su, Bowei¹ (AUTHOR) subw3@mail2.sysu.edu.cn, Ye, Mingxi¹ (AUTHOR) yemx6@mail2.sysu.edu.cn, Nan, Yuhong¹ (AUTHOR) nanyh@mail.sysu.edu.cn, Zheng, Peilin¹ (AUTHOR) zhengplin@mail.sysu.edu.cn, Zheng, Zibin¹ (AUTHOR) zhzibin@mail.sysu.edu.cn

Source: Journal of Systems & Software. Nov2026, Vol. 241, pN.PAG-N.PAG. 1p.

Subject Terms: *Blockchains, *Defect tracking (Computer software development), Compilers (Computer programs), Computer software testing, Reinforcement learning

HisFuzz: 基于历史缺陷的通用模糊测试用例 生成方法.

Alternate Title: His Fuzz: general fuzzing test case generation method based on historical defects.

Authors: 谢丽霞¹, 晏阳维², 杨宏宇^1,2

Source: Application Research of Computers / Jisuanji Yingyong Yanjiu. Jul2026, Vol. 43 Issue 7, p2119-2125. 7p.

Subject Terms: *Computer software testing, *Software failures, *Language models, *Software measurement, *Compilers (Computer programs)

Testing for linear errors in nonlinear computer programs

Authors: Afifi, F.H., Zeil, S.J., White, L.J.

Source: International Conference on Software Engineering Software Engineering, 1992. International Conference on. :81-91 1992

Relation: International Conference on Software Engineering

Testing Quantum Programs with Multiple Subroutines

Authors: Long, Peixun, Zhao, Jianjun

Subject Terms: Computer Science - Software Engineering

Access URL: http://arxiv.org/abs/2208.09206

Testing Distributions in Banking Sector Loans with Different Computer Programs: An Experimental Analysis for Turkey

Authors: Afşin Şahin

Source: Athens Journal of Business & Economics, Vol 9, Iss 2, Pp 167-180 (2023)

Subject Terms: distribution, banking sector loans, risk management, Regional economics. Space in economics, HT388

File Description: electronic resource

Relation: https://www.athensjournals.gr/business/2023-9-2-3-Sahin.pdf; https://doaj.org/toc/2241-794X

Access URL: https://doaj.org/article/1baf74f332d74c12bbe827e59349a9ae

DRIVEN 1.0 user's manual : a program for determining ultimate vertical static pile capacity.

Authors: Mathias, Dean

Subject Terms: Handbooks and manuals., Soils -- Handbooks, manuals, etc. -- Testing -- Computer programs, Piling (Civil engineering) -- Handbooks, manuals, etc. -- Computer programs

Other Titles: Program for determining ultimate vertical static pile capacity
Driven 1.0 : a Microsoft Windows based program for determining ultimate vertical static pile capacity

Online Access: https://purl.fdlp.gov/GPO/gpo117122
https://ntrl.ntis.gov/NTRL/dashboard/searchResults/titleDetail/PB99104341.xhtml
https://catalog.gpo.gov/fdlpdir/locate.jsp?ItemNumber=0982-G-94&SYS=001094440

Theory of fault-based predicate testing for computer programs

Authors: Kuo-Chung Tai

Source: IEEE Transactions on Software Engineering IIEEE Trans. Software Eng. Software Engineering, IEEE Transactions on. 22(8):552-562 Aug, 1996

Monte Carlo Results from a Computer Program for Tailored Testing.

Authors: Cudeck, Robert A., University of Southern California, Los Angeles. Dept. of Psychology.

Peer Reviewed: N

Page Count: 44

Sponsoring Agency: Office of Naval Research, Arlington, VA. Personnel and Training Research Programs Office.

Descriptors: Adaptive Testing, Branching, Computer Assisted Testing, Computer Programs, Correlation, Evaluation, Flow Charts, Matrices, Monte Carlo Methods, Response Style (Tests)

When GUI‐Based Testing of Web Applications Meets Code Review.

Authors: Bauer, Andreas, Helmfridsson, Tomas, Alégroth, Emil, Schwarz, Georg‐Daniel

Source: Software Testing: Verification & Reliability; Aug2026, Vol. 36 Issue 5, p1-26, 26p

Subject Terms: Computer software testing, Quality assurance, Software development tools, Web-based user interfaces, Subroutines (Computer programs)

ACTest: A testing toolkit for analytic continuation methods and codes

Authors: Huang, Li

Source: In Computer Physics Communications November 2025 316

A Computer Program for Adaptive Testing by Microcomputer.

Authors: Linacre, John M.

Peer Reviewed: N

Page Count: 30

Descriptors: Adaptive Testing, Computer Assisted Testing, Difficulty Level, Individual Testing, Item Analysis, Item Banks, Latent Trait Theory, Microcomputers, Multiple Choice Tests, Programing, Test Format, Test Items, Test Results

Teaching and learning Visual arts by using a computer program

Authors: Prohaska, Zvjezdana

Source: The 33rd International Convention MIPRO MIPRO, 2010 Proceedings of the 33rd International Convention. :979-984 May, 2010

Relation: 2010 33rd International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO)

Development and Testing of an Intelligent VR Simulator with an Adaptive AI-Based System for Training Specialists in Information-Measuring and Control Systems

Authors: Akchurin, Damir, Khafizov, Alik, Kryshko, Konstantin

Source: 2026 International Russian Smart Industry Conference (SmartIndustryCon) Russian Smart Industry Conference (SmartIndustryCon), 2026 International. :663-668 Mar, 2026

Relation: 2026 International Russian Smart Industry Conference (SmartIndustryCon)

Women's Involvement in the Field of Computer Programming: A Systematic Mapping Study

Authors: Macek, Marija, Novak, Matija

Source: 2025 MIPRO 48th ICT and Electronics Convention ICT and Electronics Convention, 2025 MIPRO 48th. :536-541 Jun, 2025

Relation: 2025 MIPRO 48th ICT and Electronics Convention

Collaborative Research in Planning an Approach to Testing and Dissemination of Computer Programs for Research and Development. Final Report.

Authors: Cowell, Wayne, Fosdick, Lloyd

Peer Reviewed: N

Page Count: 77

Sponsoring Agency: National Science Foundation, Washington, DC.

Descriptors: Computer Programs, Developmental Programs, Information Dissemination, Material Development, Mathematics, Mathematics Materials, Program Descriptions, Program Development, Research, Workshops