To see the other types of publications on this topic, follow the link: Testing program.

Journal articles on the topic 'Testing program'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Testing program.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

HWANG, GWAN-HWAN, KUO-CHUNG TAI, and TING-LU HUANG. "REACHABILITY TESTING: AN APPROACH TO TESTING CONCURRENT SOFTWARE." International Journal of Software Engineering and Knowledge Engineering 05, no. 04 (1995): 493–510. http://dx.doi.org/10.1142/s0218194095000241.

Full text
Abstract:
Concurrent programs are more difficult to test than sequential programs because of non-deterministic behavior. An execution of a concurrent program non-deterministically exercises a sequence of synchronization events called a synchronization sequence (or SYN-sequence). Non-deterministic testing of a concurrent program P is to execute P with a given input many times in order to exercise distinct SYN-sequences. In this paper, we present a new testing approach called reachability testing. If every execution of P with input X terminates, reachability testing of P with input X derives and executes
APA, Harvard, Vancouver, ISO, and other styles
2

Pérez, Sergio, Josep Silva, and Salvador Tamarit. "Automatic Testing of Program Slicers." Scientific Programming 2019 (February 25, 2019): 1–15. http://dx.doi.org/10.1155/2019/4108652.

Full text
Abstract:
Program slicing is a technique to extract the part of a program (the slice) that influences or is influenced by a set of variables at a given point (the slicing criterion). Computing minimal slices is undecidable in the general case, and obtaining the minimal slice of a given program is normally computationally prohibitive even for very small programs. Therefore, no matter what program slicer we use, in general, we cannot be sure that our slices are minimal. This is probably the fundamental reason why no benchmark collection of minimal program slices exists. In this work, we present a method t
APA, Harvard, Vancouver, ISO, and other styles
3

Groff, Jensen H., and Paul C. Schlecht. "PAT Program: Proficiency Analytical Testing (PAT) Program." Applied Occupational and Environmental Hygiene 8, no. 10 (1993): 837–39. http://dx.doi.org/10.1080/1047322x.1993.10388211.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Hou (Favonia), Kuen-Bang, and Zhuyang Wang. "Logarithm and program testing." Proceedings of the ACM on Programming Languages 6, POPL (2022): 1–26. http://dx.doi.org/10.1145/3498726.

Full text
Abstract:
Randomized property-based testing has gained much attention recently, but most frameworks stop short at polymorphic properties. Although Bernardy et al. have developed a theory to reduce a wide range of polymorphic properties to monomorphic ones, it relies upon ad-hoc embedding-projection pairs to massage the types into a particular form. This paper skips the embedding-projection pairs and presents a mechanical monomorphization for a general class of polymorphic functions, a step towards automatic testing for polymorphic properties. The calculation of suitable types for monomorphization turns
APA, Harvard, Vancouver, ISO, and other styles
5

HILEMAN, BETTE. "TESTING PROGRAM HITS SNAGS." Chemical & Engineering News Archive 79, no. 31 (2001): 35–37. http://dx.doi.org/10.1021/cen-v079n031.p035.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

HANKINS, JANETTE A. "Florida's Vocational Testing Program." Journal of Employment Counseling 27, no. 3 (1990): 130–38. http://dx.doi.org/10.1002/j.2161-1920.1990.tb00372.x.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Lapp, H. J. "Rate your testing program." Performance + Instruction 34, no. 8 (1995): 36–38. http://dx.doi.org/10.1002/pfi.4170340809.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Miao, Miao, Sriteja Kummita, Eric Bodden, and Shiyi Wei. "Program Feature-Based Benchmarking for Fuzz Testing." Proceedings of the ACM on Software Engineering 2, ISSTA (2025): 527–49. https://doi.org/10.1145/3728899.

Full text
Abstract:
Fuzzing is a powerful software testing technique renowned for its effectiveness in identifying software vulnerabilities. Traditional fuzzing evaluations typically focus on overall fuzzer performance across a set of target programs, yet few benchmarks consider how fine-grained program features influence fuzzing effectiveness. To bridge this gap, we introduce FeatureBench, a novel benchmark designed to generate programs with configurable, fine-grained program features to enhance fuzzing evaluations. We reviewed 25 recent grey-box fuzzing studies, extracting 7 program features related to control-
APA, Harvard, Vancouver, ISO, and other styles
9

Hamlet, D., and R. Taylor. "Partition testing does not inspire confidence (program testing)." IEEE Transactions on Software Engineering 16, no. 12 (1990): 1402–11. http://dx.doi.org/10.1109/32.62448.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Griffin, Charles W. "Model Performance Evaluation Program (HIV Testing): Program Overview." Infection Control and Hospital Epidemiology 9, no. 8 (1988): 364. http://dx.doi.org/10.2307/30145462.

Full text
APA, Harvard, Vancouver, ISO, and other styles
11

Griffin, Charles W. "Model Performance Evaluation Program (HIV Testing): Program Overview." Infection Control and Hospital Epidemiology 9, no. 8 (1988): 364. http://dx.doi.org/10.1086/645887.

Full text
APA, Harvard, Vancouver, ISO, and other styles
12

Korel, Bogdan. "The program dependence graph in static program testing." Information Processing Letters 24, no. 2 (1987): 103–8. http://dx.doi.org/10.1016/0020-0190(87)90102-5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
13

Laube, Robert. "Testing of Satellites After Ground Storage." Journal of the IEST 30, no. 2 (1987): 37–41. http://dx.doi.org/10.17764/jiet.1.30.2.577048068j78460v.

Full text
Abstract:
This paper presents data about the effects of storage, the storage practices of several Space Division programs, and the failures identified by functional and environmental post-storage tests. The failure data are the basis for plots to approximate the risk of orbital failure as a function of storage time for different types of tests. Since the determination of an appropriate test program has to also consider the program impact of conducting a test, no one test program can be recommended. However, some program considerations are discussed. The aim of the paper is to provide data to assist in a
APA, Harvard, Vancouver, ISO, and other styles
14

Kaziuchyts, V. O., S. M. Borovikov, and E. N. Shneiderov. "Model for Prediction of Testing Time of a Computer Program for Automated Reliability Evaluation of Semiconductor Devices." Doklady BGUIR 20, no. 7 (2022): 72–80. http://dx.doi.org/10.35596/1729-7648-2022-20-7-72-80.

Full text
Abstract:
The KLASS computer program planned for development is designed to work as a part of the ARION-plus software package and allows you to perform an automated assessment of the reliability of electronic products, including semiconductor devices. At the stage of work planning on the creation of the KLASS program, as a module of the ARION-plus complex, the question arose about the working time allotted for the procedure for testing a computer program. The approaches described in the scientific literature used to assess the operational reliability of computer programs, taking into account their testi
APA, Harvard, Vancouver, ISO, and other styles
15

Weiler, Conrad. "ABO, Rh Blood Testing Program." American Biology Teacher 52, no. 6 (1990): 384. http://dx.doi.org/10.2307/4449139.

Full text
APA, Harvard, Vancouver, ISO, and other styles
16

Thomas, Morgan, Louise Amlie-Wolf, Laura Baker, and Karen W. Gripp. "The Genetic Testing Stewardship Program:." Delaware Journal of Public Health 7, no. 5 (2021): 20–23. http://dx.doi.org/10.32481/djph.2021.12.007.

Full text
APA, Harvard, Vancouver, ISO, and other styles
17

Mutilin, V. S. "Multithreaded testing of program interfaces." Programming and Computer Software 35, no. 6 (2009): 314–20. http://dx.doi.org/10.1134/s0361768809060024.

Full text
APA, Harvard, Vancouver, ISO, and other styles
18

HOGUE, CHERYL. "TESTING PROGRAM GETS UNDER WAY." Chemical & Engineering News 79, no. 34 (2001): 30–33. http://dx.doi.org/10.1021/cen-v079n034.p030.

Full text
APA, Harvard, Vancouver, ISO, and other styles
19

Margaria, Tiziana, Zongyan Qiu, and Hongli Yang. "Program verification and testing technologies." International Journal on Software Tools for Technology Transfer 16, no. 4 (2014): 335–37. http://dx.doi.org/10.1007/s10009-014-0327-0.

Full text
APA, Harvard, Vancouver, ISO, and other styles
20

Ozvacic, V., G. Wong, G. Marson, et al. "Biomedical waste incinerator testing program." Chemosphere 20, no. 10-12 (1990): 1801–8. http://dx.doi.org/10.1016/0045-6535(90)90345-t.

Full text
APA, Harvard, Vancouver, ISO, and other styles
21

Budd, Timothy A., and Ajei S. Gopal. "Program testing by specification mutation." Computer Languages 10, no. 1 (1985): 63–73. http://dx.doi.org/10.1016/0096-0551(85)90011-6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
22

Smith, Michele A., John E. Shalkham, and Stanley L. Inhorn. "Wisconsin Cytology Proficiency Testing Program." Acta Cytologica 41, no. 6 (1997): 1681–89. http://dx.doi.org/10.1159/000333168.

Full text
APA, Harvard, Vancouver, ISO, and other styles
23

Lemanski, John. "Emergency eyewash/shower testing program." Journal of Chemical Health and Safety 19, no. 4 (2012): 50. http://dx.doi.org/10.1016/j.jchas.2012.04.053.

Full text
APA, Harvard, Vancouver, ISO, and other styles
24

Lucas, D. M., C. G. Leete, and K. S. Field. "An American proficiency testing program." Forensic Science International 27, no. 2 (1985): 71–79. http://dx.doi.org/10.1016/0379-0738(85)90169-0.

Full text
APA, Harvard, Vancouver, ISO, and other styles
25

Conrad, Kendon J., and Todd Q. Miller. "Measuring and testing program philosophy." New Directions for Program Evaluation 1987, no. 33 (1987): 19–42. http://dx.doi.org/10.1002/ev.1444.

Full text
APA, Harvard, Vancouver, ISO, and other styles
26

Valenti, William M. "Prevention and Control of Tuberculosis." Infection Control 6, no. 4 (1985): 169–71. http://dx.doi.org/10.1017/s0195941700062998.

Full text
Abstract:
One activity of most employee health programs is a tuberculosis control program. No two programs will be exactly the same since many of the components of this program are controversial. Each should be tailored to the needs of the individual health care facility. In general, there are two components of a program for tuberculin skin testing of employees:1. Skin testing prior to exposure.2. Skin testing after exposure.
APA, Harvard, Vancouver, ISO, and other styles
27

Khalitovna, Ilona Israilova. "PILOT TESTING PROGRAM FOR ENGLISH LANGUAGE TEACHING IN MEDICAL SCHOOLS." European International Journal of Multidisciplinary Research and Management Studies 02, no. 04 (2022): 173–80. http://dx.doi.org/10.55640/eijmrms-02-04-31.

Full text
Abstract:
This article analyzes the experimental program for running specific study in medical universities on improving quality of study. The main aim is to develop of communicative competence of future medical specialists in their professional activity. It focuses on concrete experiment held in 3 medical universities of Uzbekistan, with the description of program of pilot testing. In order to disseminate and generalize pedagogical experience, the article considers the relevance, theoretical foundations and methodology for conducting and implementing a pedagogical experiment in educational activities.
APA, Harvard, Vancouver, ISO, and other styles
28

Smith, M. "239 INVITED Testing program approaches to evaluating new agents - The Pediatric Preclinical Testing Program (PPTP)." European Journal of Cancer Supplements 4, no. 12 (2006): 77–78. http://dx.doi.org/10.1016/s1359-6349(06)70244-0.

Full text
APA, Harvard, Vancouver, ISO, and other styles
29

Ansari, Mohammed Afzal, and Kiran Bhimrao Ingle. "Software Testing." International Journal for Research in Applied Science and Engineering Technology 10, no. 6 (2022): 979–84. http://dx.doi.org/10.22214/ijraset.2022.43914.

Full text
Abstract:
Abstract— With the developing complexity of today’s software program applications injunction with the increasing competitive pressure has driven the excellent assurance of developed software towards new heights. software program trying out is an inevitable part of the software program development Lifecycle and retaining in keeping with its criticality in the pre and submit development process makes it something that have to be catered with stronger and green methodologies and strategies. This paper objectives to speak about the prevailing in addition to advanced trying out techniques for the b
APA, Harvard, Vancouver, ISO, and other styles
30

Wang, Ya Ning, and Lan Nan Xiao. "Research on Automatic Scoring Methods for Programs Based on Program Understanding." Applied Mechanics and Materials 513-517 (February 2014): 2054–58. http://dx.doi.org/10.4028/www.scientific.net/amm.513-517.2054.

Full text
Abstract:
This paper discusses three general automatic scoring algorithms including software quality metric algorithm, dynamic testing algorithm and static analysis algorithm based on program understanding, analyzes and designs their rationality, practicality and maneuverability. Therefore, a new automatic scoring strategy which combines dynamic testing and pattern matching based on program understanding is proposed. This method focuses on the accurate expressions on program algorithm and semantic points in student program, enhances the performance of the automatic scoring system and matches the idea of
APA, Harvard, Vancouver, ISO, and other styles
31

Oh, Youngjae, Jason D. Zurn, Nahla Bassil, et al. "The Strawberry DNA Testing Handbook." HortScience 54, no. 12 (2019): 2267–70. http://dx.doi.org/10.21273/hortsci14387-19.

Full text
Abstract:
The availability of strawberry (Fragaria ×ananassa) genomic resources has increased dramatically in recent years. Some of these resources are readily applicable to strawberry breeding programs for use in DNA-informed breeding. Information about these tests and how to interpret them is dispersed through numerous manuscripts or in the laboratories that use them routinely. To assist breeders in identifying tests available to their breeding program and in implementing them in their program, a compendium of strawberry DNA tests was created. This compendium is available for download from the Genome
APA, Harvard, Vancouver, ISO, and other styles
32

Adedokun, Omolola A., Amy L. Childress, and Wilella D. Burgess. "Testing Conceptual Frameworks of Nonexperimental Program Evaluation Designs Using Structural Equation Modeling." American Journal of Evaluation 32, no. 4 (2011): 480–93. http://dx.doi.org/10.1177/1098214011401368.

Full text
Abstract:
A theory-driven approach to evaluation (TDE) emphasizes the development and empirical testing of conceptual models to understand the processes and mechanisms through which programs achieve their intended goals. However, most reported applications of TDE are limited to large-scale experimental/quasi-experimental program evaluation designs. Very few (limited) examples of the relevance of TDE to nonexperimental program evaluation designs exist in literature. Using the method of structural equation modeling to analyze data from the Interns for Indiana (IfI) program, this study demonstrates how eva
APA, Harvard, Vancouver, ISO, and other styles
33

Hulevych, Mykhailo. "CIDER : ASSISTED AUTOMATION TOOL FOR C++ LIBRARIES TESTING." Системи управління, навігації та зв’язку. Збірник наукових праць 2, no. 76 (2024): 74–77. http://dx.doi.org/10.26906/sunz.2024.2.074.

Full text
Abstract:
Software testing is one of the most important parts of a product development lifecycle (PDL). Companies face significant risks associated with program failures, including financial and reputational ones, having an interest in investing time and money in new testing and quality assurance practices. The programs written in C++ are known as high performant, but complex due to the language specifics. At the same time automated tools that are available mostly for GUI programs can't help with native modules regression testing. Thus, even partial automation of such processes can have a positive effec
APA, Harvard, Vancouver, ISO, and other styles
34

White, Lee. "Domain Testing And Several Outstanding Research Problems In Program Testing." INFOR: Information Systems and Operational Research 23, no. 1 (1985): 53–68. http://dx.doi.org/10.1080/03155986.1985.11731944.

Full text
APA, Harvard, Vancouver, ISO, and other styles
35

Carol, Hernan, Peter J. Houghton, Christopher L. Morton, et al. "Initial testing of topotecan by the pediatric preclinical testing program." Pediatric Blood & Cancer 54, no. 5 (2009): 707–15. http://dx.doi.org/10.1002/pbc.22352.

Full text
APA, Harvard, Vancouver, ISO, and other styles
36

Reynolds, C. Patrick, Min H. Kang, Stephen T. Keir, et al. "Initial testing of lenalidomide by the pediatric preclinical testing program." Pediatric Blood & Cancer 57, no. 4 (2011): 606–11. http://dx.doi.org/10.1002/pbc.22877.

Full text
APA, Harvard, Vancouver, ISO, and other styles
37

Tajbakhsh, Mimi, Peter J. Houghton, Christopher L. Morton, et al. "Initial testing of cisplatin by the pediatric preclinical testing program." Pediatric Blood & Cancer 50, no. 5 (2008): 992–1000. http://dx.doi.org/10.1002/pbc.21263.

Full text
APA, Harvard, Vancouver, ISO, and other styles
38

Kolb, E. Anders, Richard Gorlick, Peter J. Houghton, et al. "Initial testing of dasatinib by the pediatric preclinical testing program." Pediatric Blood & Cancer 50, no. 6 (2008): 1198–206. http://dx.doi.org/10.1002/pbc.21368.

Full text
APA, Harvard, Vancouver, ISO, and other styles
39

Vashishtha, Shwet. "Ensuring Quality and Consistency in OPC-53 Cement Testing: A Comprehensive Proficiency Testing Evaluation." American Journal of Science, Engineering and Technology 9, no. 4 (2024): 191–201. http://dx.doi.org/10.11648/j.ajset.20240904.11.

Full text
Abstract:
The proficiency testing (PT) program is a critical part of quality assurance in laboratories, especially within industries like construction where cement testing is essential. This study provides a comprehensive evaluation of the fifth PT scheme for Ordinary Portland Cement (OPC) grade 53, conducted by the Nodal Laboratory. The key parameters assessed in this program were standard consistency, compressive strength, and soundness using the Le-Chatelier method. Twenty-four laboratories participated, and their performance was analyzed using advanced statistical methods, adhering to ISO 17043:2010
APA, Harvard, Vancouver, ISO, and other styles
40

Godefroid, Patrice, Peli de Halleux, Aditya V. Nori, et al. "Automating Software Testing Using Program Analysis." IEEE Software 25, no. 5 (2008): 30–37. http://dx.doi.org/10.1109/ms.2008.109.

Full text
APA, Harvard, Vancouver, ISO, and other styles
41

Laski, Janusz. "Testing in the program development cycle." Software Engineering Journal 4, no. 2 (1989): 95. http://dx.doi.org/10.1049/sej.1989.0012.

Full text
APA, Harvard, Vancouver, ISO, and other styles
42

Van Verth, Patricia B. "Testing a model of program quality." ACM SIGCSE Bulletin 18, no. 1 (1986): 163–72. http://dx.doi.org/10.1145/953055.5648.

Full text
APA, Harvard, Vancouver, ISO, and other styles
43

Tso, Chunto, Lai-Ho Huang, and Chung-Jen Tseng. "Hydrogen Scooter Testing and Verification Program." Energy Procedia 29 (2012): 633–43. http://dx.doi.org/10.1016/j.egypro.2012.09.073.

Full text
APA, Harvard, Vancouver, ISO, and other styles
44

Murphy, Denise C. "Designing a Respirator Fit Testing Program." AAOHN Journal 40, no. 11 (1992): 545–49. http://dx.doi.org/10.1177/216507999204001106.

Full text
Abstract:
The requirements for adequate respiratory protection for the employees of this agency vary. Therefore, accurate, updated job descriptions are a critical piece of information. Although the agency has made an effort to establish a respiratory protection program, a number of limitations exist when compared to the program components defined in ANSI, NIOSH, and OSHA guidance documents. In response to a request from the agency, the nurse consultant evaluated the existing respiratory protection program and made specific recommendations for improvement. At this time, the agency has signed a formal agr
APA, Harvard, Vancouver, ISO, and other styles
45

Fisher, Thomas H., and Julia Smith. "Adventures in Implementing a Testing Program." Educational Measurement: Issues and Practice 10, no. 1 (1991): 24–26. http://dx.doi.org/10.1111/j.1745-3992.1991.tb00175.x.

Full text
APA, Harvard, Vancouver, ISO, and other styles
46

Betsu, Fay. "107 Workshop: “ISBER’s Proficiency Testing Program”." Cryobiology 67, no. 3 (2013): 428. http://dx.doi.org/10.1016/j.cryobiol.2013.09.113.

Full text
APA, Harvard, Vancouver, ISO, and other styles
47

Cottingham, Bruce. "Laboratory Proficiency Testing Program Advisory Committee." Journal of AOAC INTERNATIONAL 81, no. 1 (1998): 272–73. http://dx.doi.org/10.1093/jaoac/81.1.272.

Full text
APA, Harvard, Vancouver, ISO, and other styles
48

Criscuolo, Nicholas P. "Parent Involvement in the Testing Program." Clearing House: A Journal of Educational Strategies, Issues and Ideas 59, no. 7 (1986): 330–31. http://dx.doi.org/10.1080/00098655.1986.9955682.

Full text
APA, Harvard, Vancouver, ISO, and other styles
49

GUPTA, RAJIV, MARY JEAN HARROLD, and MARY LOU SOFFA. "Program Slicing-Based Regression Testing Techniques." Software Testing, Verification and Reliability 6, no. 2 (1996): 83–111. http://dx.doi.org/10.1002/(sici)1099-1689(199606)6:2<83::aid-stvr112>3.0.co;2-9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
50

Howden, William E. "Program testing versus proofs of correctness." Software Testing, Verification and Reliability 1, no. 1 (1991): 5–15. http://dx.doi.org/10.1002/stvr.4370010103.

Full text
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!