Suchergebnisse - Parallel Programs Testing
-
1
Parallel program testing based on critical communication and branch transformation
ISSN: 0920-8542, 1573-0484Veröffentlicht: New York Springer US 01.01.2024Veröffentlicht in The Journal of supercomputing (01.01.2024)“… Software testing is an efficient way to guarantee the reliability and accuracy of parallel programs …”
Volltext
Journal Article -
2
Structural testing criteria for message-passing parallel programs
ISSN: 1532-0626, 1532-0634Veröffentlicht: Chichester, UK John Wiley & Sons, Ltd 01.11.2008Veröffentlicht in Concurrency and computation (01.11.2008)“… In this paper we investigate the challenges of validating message‐passing parallel programs and present a set of specific testing criteria …”
Volltext
Journal Article -
3
A systems analysis and improvement approach to optimizing syringe services programs’ delivery of HIV testing and referrals: Study protocol for a parallel-group randomized controlled trial (SAIA-SSP-HIV)
ISSN: 1932-6203, 1932-6203Veröffentlicht: United States Public Library of Science 25.02.2025Veröffentlicht in PloS one (25.02.2025)“… HIV testing and referrals to effective prevention and treatment services are critical for individual and population health, yet multilevel barriers limit access to HIV testing for this population …”
Volltext
Journal Article -
4
Structural testing for communication events into loops of message‐passing parallel programs
ISSN: 1532-0626, 1532-0634Veröffentlicht: Hoboken Wiley Subscription Services, Inc 25.09.2021Veröffentlicht in Concurrency and computation (25.09.2021)“… However, communication and synchronization in parallel programs bring new challenges to the testing activity, such as nondeterminism. Message …”
Volltext
Journal Article -
5
Parallel Specification-Based Testing for Concurrent Programs
ISSN: 2169-3536, 2169-3536Veröffentlicht: Piscataway IEEE 2022Veröffentlicht in IEEE access (2022)“… The paper proposes a new testing technique for concurrent programs. The technique is a specification-based testing …”
Volltext
Journal Article -
6
Reachability testing algorithm for parallel program in heterogeneous network environment
ISSN: 1000-436XVeröffentlicht: Editorial Department of Journal on Communications 01.02.2006Veröffentlicht in Tongxin Xuebao (01.02.2006)“… Orienting to difficulty of testing nondeterministic parallel programs,the relationship between message-passing behavior and network performance constraint in grid environment was analyzed,and a new …”
Volltext
Journal Article -
7
Optimal Establishments of Massive Testing Programs to Combat COVID-19: A Perspective of Parallel-Machine Scheduling-Location (ScheLoc) Problem
ISSN: 0018-9391, 1558-0040Veröffentlicht: IEEE 2024Veröffentlicht in IEEE transactions on engineering management (2024)“… This article proposes a decision framework for developing massive testing programs. Specifically, a biobjective parallel-testing-site Scheduling-location (ScheLoc …”
Volltext
Journal Article -
8
All-uses testing of shared memory parallel programs
ISSN: 0960-0833, 1099-1689Veröffentlicht: Chichester, UK John Wiley & Sons, Ltd 01.01.2003Veröffentlicht in Software testing, verification & reliability (01.01.2003)“… ‐automatic testing tools for parallel programs are lacking. This paper takes a first step in developing an approach to providing …”
Volltext
Journal Article -
9
The effectiveness of parallel gamma-interferon testing in New Zealand’s bovine tuberculosis eradication programme
ISSN: 0167-5877, 1873-1716, 1873-1716Veröffentlicht: Netherlands Elsevier B.V 01.05.2016Veröffentlicht in Preventive veterinary medicine (01.05.2016)“… In bovine tuberculosis (bTB) eradication programmes, especially where prevalence is low, sensitivity of testing in infected herds must be maximised to reduce the possibility of recrudescence of prior infection and the risk …”
Volltext
Journal Article -
10
Light64: lightweight hardware support for data race detection during systematic testing of parallel programs
ISBN: 9781605587981, 1605587982ISSN: 1072-4451Veröffentlicht: New York, NY, USA ACM 12.12.2009Veröffentlicht in 2009 42nd Annual IEEE/ACM International Symposium on Microarchitecture (MICRO) (12.12.2009)“… Developing and testing parallel code is hard. Even for one given input, a parallel program can have many possible different thread interleavings, which are hard …”
Volltext
Tagungsbericht -
11
Smart Interleavings for Testing Parallel Programs
ISBN: 0470936908, 9780470936900Veröffentlicht: Hoboken, NJ, USA John Wiley & Sons, Inc 24.01.2017Veröffentlicht in Programming multi‐core and many‐core computing systems (24.01.2017)“… This chapter considers the problem of testing programs that execute several parallel tasks …”
Volltext
Buchkapitel -
12
PERMORY-MPI: a program for high-speed parallel permutation testing in genome-wide association studies
ISSN: 1367-4803, 1367-4811, 1367-4811Veröffentlicht: Oxford Oxford University Press 15.04.2012Veröffentlicht in Bioinformatics (Oxford, England) (15.04.2012)“… PERMORY is software for accelerated permutation testing of genome-wide association studies (GWAS …”
Volltext
Journal Article -
13
Parallel Hybrid Testing Techniques for the Dual-Programming Models-Based Programs
ISSN: 2073-8994, 2073-8994Veröffentlicht: 01.09.2020Veröffentlicht in Symmetry (Basel) (01.09.2020)“… Several testing tools target parallel applications built by using programming models, but more effort is needed, especially for high-level Graphics Processing Unit (GPU …”
Volltext
Journal Article -
14
Web Services Composition Testing: A Strategy Based on Structural Testing of Parallel Programs
ISBN: 9780769533834, 0769533833Veröffentlicht: IEEE 01.08.2008Veröffentlicht in Testing: Academic and Industry Conference--Practice and Research Techniques : TAIC PART 2008 : 29-31, August 2008, Windsor, United Kingdom ; sponsored by EPSRC ... [et a.l]. (01.08.2008)“… In this paper, we present a strategy for Web Services Composition structural integration testing …”
Volltext
Tagungsbericht -
15
Program State Sensitive Parallel Fuzzing for Real World Software
ISSN: 2169-3536, 2169-3536Veröffentlicht: Piscataway IEEE 2019Veröffentlicht in IEEE access (2019)“… Parallel testing is an augmented method aiming to make the best of the computing resource to expose more deep program bugs …”
Volltext
Journal Article -
16
Timing-sequence testing of parallel programs
ISSN: 1000-9000, 1860-4749Veröffentlicht: Beijing Springer Nature B.V 01.01.2000Veröffentlicht in Journal of computer science and technology (01.01.2000)“… Testing of parallel programs involves two parts—testing of control-flow within the processes and testing of timing-sequence …”
Volltext
Journal Article -
17
Reachability testing algorithm for parallel program in heterogeneous network environment
ISSN: 1000-436XVeröffentlicht: Editorial Department of Journal on Communications 01.01.2006Veröffentlicht in Tongxin Xuebao (01.01.2006)“… Orienting to difficulty of testing nondeterministic parallel programs,the relationship between message-passing behavior and network performance constraint in grid environment was analyzed,and a new …”
Volltext
Journal Article -
18
Parallel and serial computing tools for testing single-locus and epistatic SNP effects of quantitative traits in genome-wide association studies
ISSN: 1471-2105, 1471-2105Veröffentlicht: London BioMed Central 21.07.2008Veröffentlicht in BMC bioinformatics (21.07.2008)“… ) based on the extended Kempthorne model. EPISNPmpi is the parallel computing program for epistasis testing in large scale GWAS and achieved …”
Volltext
Journal Article -
19
Parallel stratified random testing for concurrent programs
Veröffentlicht: IEEE 01.12.2020Veröffentlicht in 2020 IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C) (01.12.2020)“… For a concurrent program in Java, the reachable state space from each initial state is divided into L layers such that each layer depth is D_{l} for l=1, \ldots, L …”
Volltext
Tagungsbericht -
20
Reducing scheduling sequences of message-passing parallel programs
ISSN: 0950-5849, 1873-6025Veröffentlicht: Amsterdam Elsevier B.V 01.12.2016Veröffentlicht in Information and software technology (01.12.2016)“… Context: Message-passing parallel programs are commonly used parallel programs. Various scheduling sequences contained in these programs, however, increase the difficulty of testing …”
Volltext
Journal Article

