Results 21 to 30 of about 1,150,637 (268)
Concolic testing in logic programming [PDF]
Theory and Practice of Logic Programming, 2015 AbstractSoftware testing is one of the most popular validation techniques in the software industry. Surprisingly, we can only find a few approaches to testing in the context of logic programming. In this paper, we introduce a systematic approach for dynamic testing that combines both concrete and symbolic execution.
Fred Mesnard +2 more
openaire +4 more sources
Mutagenesis Testing Program [PDF]
Environmental Health Perspectives, 1977 Until recently, mutagenicity testing was done on preselected compounds in a manner in which the testing laboratories knew the identity of the substances under test and the "expected" results, i.e., positive for compounds selected because of their carcinogenicity and negative for food additives.
openaire +2 more sources
On Testing Constraint Programs [PDF]
, 2010 The success of several constraint-based modeling languages such as OPL, ZINC, or COMET, appeals for better software engineering practices, particularly in the testing phase. This paper introduces a testing framework enabling automated test case generation for constraint programming. We propose a general framework of constraint program development which
Lazaar, Nadjib +2 more
openaire +4 more sources
Construction and verification of an integrated test system for underwater vehicle testing
The Journal of Engineering, 2019 Integrated test architecture (ITA) is a testing infrastructure developed for overcoming the design deficiency of stovepipe system based on current construction situation of underwater vehicle equipment. The general infrastructure of ITA is given at first,
Nan Jiang +4 more
doaj +1 more source
Доклады Белорусского государственного университета информатики и радиоэлектроники, 2022 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
V. O. Kaziuchyts +2 more
doaj +1 more source
PLOS Global Public Health, 2023 In response to the coronavirus pandemic (COVID-19) and scale up of diagnostic testing, the Canadian Microbiology Proficiency Testing program created a new proficiency testing (PT) program for the molecular and antigen detection of SARS-CoV-2. The program
Veronica Restelli +4 more
doaj +1 more source
A program testing assistant [PDF]
Communications of the ACM, 1982 This paper describes the design and implementation of a program testing assistant which aids a programmer in the definition, execution, and modification of test cases during incremental program development. The testing assistant helps in the interactive definition of test cases and executes them automatically when ...
openaire +1 more source
An Assessment of the Utilization of Diagnostic Parasitology Laboratory Services in Ontario
Canadian Journal of Infectious Diseases, 1996 OBJECTIVE: Diagnostic parasitology services in Ontario were assessed to determine whether the reduction in the number of provider laboratories from 209 to 70 over the period 1977 to 1994 has affected the availability and quality of service.
Harold Richardson +5 more
doaj +1 more source
Journal of Educational Chemistry, 2020 Penelitian ini bertujuan untuk mengembangkan perangkat berbentuk program (perangkat lunak) untuk komputer dengan model pengembangan jenis Unified Process (UP). Pengembangan ini memerlukan program Microsoft Visual Studio Enterprise 2019 (Visual Basic.Net)
Budiman Prastyo +2 more
doaj +1 more source
Pedagogics, Psychology, Medical-Biological Problems of Physical Training and Sports, 2016 Purpose: to determine effectiveness of badminton players’ speed power fitness program’s perfection at stage of specialized basic training with different variants of training means modules’ combination.
I.V. Karatnyk +3 more
doaj +1 more source