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

Συγγραφείς: 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

Πηγή: Thermophysics and Aeromechanics. 31(5):915-928

Solsmith: Solidity Random Program Generator for Compiler Testing

Συγγραφείς: Li, Lantian, Liu, Zhihao, Yu, Zhongxing

Θεματικοί όροι: Computer Science - Software Engineering

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2506.03909

Dataset Coverage for Testing Machine Learning Computer Programs

Συγγραφείς: Nakajima, Shin, Bui, Hai Ngoc

Πηγή: 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

Συγγραφείς: V. O. Kaziuchyts, S. M. Borovikov, E. N. Shneiderov

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

Θεματικοί όροι: computer programs, testing efficiency, testing time, operational reliability, semiconductor devices, Electronics, TK7800-8360

Περιγραφή αρχείου: electronic resource

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

Σύνδεσμος πρόσβασης: https://doaj.org/article/653128222b384bdd93290c6c6f5d3495

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

Συγγραφείς: Widulinski, Patryk, Wawryn, Krzysztof

Πηγή: 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.

Συγγραφείς: 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

Πηγή: Journal of Systems & Software. Nov2026, Vol. 241, pN.PAG-N.PAG. 1p.

Θεματικοί όροι: *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.

Συγγραφείς: 谢丽霞¹, 晏阳维², 杨宏宇^1,2

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

Θεματικοί όροι: *Computer software testing, *Software failures, *Language models, *Software measurement, *Compilers (Computer programs)

Testing for linear errors in nonlinear computer programs

Συγγραφείς: Afifi, F.H., Zeil, S.J., White, L.J.

Πηγή: 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

Συγγραφείς: Long, Peixun, Zhao, Jianjun

Θεματικοί όροι: Computer Science - Software Engineering

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2208.09206

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

Συγγραφείς: Afşin Şahin

Πηγή: Athens Journal of Business & Economics, Vol 9, Iss 2, Pp 167-180 (2023)

Θεματικοί όροι: distribution, banking sector loans, risk management, Regional economics. Space in economics, HT388

Περιγραφή αρχείου: electronic resource

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

Σύνδεσμος πρόσβασης: https://doaj.org/article/1baf74f332d74c12bbe827e59349a9ae

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

Συγγραφείς: Mathias, Dean

Θεματικοί όροι: 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: 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

Συγγραφείς: Kuo-Chung Tai

Πηγή: 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.

Συγγραφείς: 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.

Συγγραφείς: Bauer, Andreas, Helmfridsson, Tomas, Alégroth, Emil, Schwarz, Georg‐Daniel

Πηγή: Software Testing: Verification & Reliability; Aug2026, Vol. 36 Issue 5, p1-26, 26p

Θεματικοί όροι: 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

Συγγραφείς: Huang, Li

Πηγή: In Computer Physics Communications November 2025 316

A Computer Program for Adaptive Testing by Microcomputer.

Συγγραφείς: 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

Συγγραφείς: Prohaska, Zvjezdana

Πηγή: 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

Συγγραφείς: Akchurin, Damir, Khafizov, Alik, Kryshko, Konstantin

Πηγή: 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

Συγγραφείς: Macek, Marija, Novak, Matija

Πηγή: 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.

Συγγραφείς: 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