On the public citation graph
All‐uses testing of shared memory parallel programs
0 signed · 62 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1002/spe.4380160304openalex-snapshot
A probe effect in concurrent programs
inferredcites →https://doi.org/10.1007/3-540-57659-2_34openalex-snapshot
Efficient computation of precedence information in parallel programs
inferredcites →https://doi.org/10.1007/bfb0038653openalex-snapshot
Languages and Compilers for Parallel Computing
inferredcites →https://doi.org/10.1109/32.126769openalex-snapshot
Structural testing of concurrent programs
inferredcites →https://doi.org/10.1109/32.221133openalex-snapshot
A formal analysis of the fault-detecting ability of testing methods
inferredcites →https://doi.org/10.1109/32.238581openalex-snapshot
An experimental comparison of the effectiveness of branch testing and data flow testing
inferredcites →https://doi.org/10.1109/32.241773openalex-snapshot
More experience with data flow testing
inferredcites →https://doi.org/10.1109/32.245738openalex-snapshot
Provable improvements on branch testing
inferredcites →https://doi.org/10.1109/32.310668openalex-snapshot
Tractable dataflow analysis for distributed systems
inferredcites →https://doi.org/10.1109/32.345831openalex-snapshot
Testing and debugging distributed programs using global predicates
inferredcites →https://doi.org/10.1109/32.368137openalex-snapshot
Automatic generation of path covers based on the control flow analysis of computer programs
inferredcites →https://doi.org/10.1109/32.67578openalex-snapshot
Debugging concurrent Ada programs by deterministic execution
inferredcites →https://doi.org/10.1109/ats.1997.643968openalex-snapshot
An algorithm for all-du-path testing coverage of shared memory parallel programs
inferredcites →https://doi.org/10.1109/pccc.1990.101652openalex-snapshot
A path analysis approach to concurrent program testing
inferredcites →https://doi.org/10.1109/tse.1976.233819openalex-snapshot
On Two Problems in the Generation of Program Test Paths
inferredcites →https://doi.org/10.1109/tse.1979.234213openalex-snapshot
On Path Cover Problems in Digraphs and Applications to Program Testing
inferredcites →https://doi.org/10.1109/tse.1984.5010257openalex-snapshot
An Evaluation of Random Testing
inferredcites →https://doi.org/10.1109/tse.1985.232226openalex-snapshot
Selecting Software Test Data Using Data Flow Information
inferredcites →https://doi.org/10.1145/120807.120811openalex-snapshot
Concurrency analysis in the presence of procedures using a data-flow framework
inferredcites →https://doi.org/10.1145/2001420openalex-snapshot
Proceedings of the 2011 International Symposium on Software Testing and Analysis
inferredcites →https://doi.org/10.1145/226295.226298openalex-snapshot
An incremental approach to structural testing of concurrent software
inferredcites →https://doi.org/10.1145/271771.271804openalex-snapshot
All-du-path coverage for parallel programs
inferredcites →https://doi.org/10.1145/318789.318809openalex-snapshot
Compile-time detection of race conditions in a parallel program
inferredcites →https://doi.org/10.1145/62959.62963openalex-snapshot
The evaluation of program-based software test data adequacy criteria
inferredcites →https://doi.org/10.1145/62959.62964openalex-snapshot
The category-partition method for specifying and generating functional tests
inferredcites →https://doi.org/10.1145/75308.75331openalex-snapshot
Integrated concurrency analysis in a software development enviornment
inferredcites →https://doi.org/10.1145/75309.75331openalex-snapshot
Integrated concurrency analysis in a software development enviornment
inferredcites →https://doi.org/10.1145/99508.99551openalex-snapshot
Transport protocol processing at GBPS rates
inferredcites →https://doi.org/10.1145/99508.99553openalex-snapshot
Architectural considerations for a new generation of protocols
inferredcites →https://doi.org/10.5555/319568.319662openalex-snapshot
An integrated system for program testing using weak mutation and data flow analysis
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/cpe.1297openalex-snapshot
Structural testing criteria for message‐passing parallel programs
inferred← citeshttps://doi.org/10.1002/cpe.2937openalex-snapshot
Structural testing for message‐passing concurrent programs: an extended test model
inferred← citeshttps://doi.org/10.1002/cpe.995openalex-snapshot
Toward a search architecture for software components
inferred← citeshttps://doi.org/10.1002/stvr.1568openalex-snapshot
Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs
inferred← citeshttps://doi.org/10.1007/1-84628-339-6_8openalex-snapshot
Toward GRIDLE: A Way to Build Grid Applications Searching Through an Ecosystem of Components
inferred← citeshttps://doi.org/10.1007/978-0-387-29445-2_9openalex-snapshot
A Search Architecture for Grid Software Components
inferred← citeshttps://doi.org/10.1007/978-3-319-71147-8_36openalex-snapshot
Modeling and Verifying Multi-core Programs
inferred← citeshttps://doi.org/10.1007/978-3-540-69384-0_39openalex-snapshot
Structural Testing for Semaphore-Based Multithread Programs
inferred← citeshttps://doi.org/10.1007/978-3-540-87891-9openalex-snapshot
Component-Based Software Engineering
inferred← citeshttps://doi.org/10.1007/978-3-540-87891-9_12openalex-snapshot
Structural Testing of Component-Based Systems
inferred← citeshttps://doi.org/10.1007/s11219-017-9376-4openalex-snapshot
Contributions for the structural testing of multithreaded programs: coverage criteria, testing tool, and experimental evaluation
inferred← citeshttps://doi.org/10.1016/j.infsof.2016.09.003openalex-snapshot
Reducing scheduling sequences of message-passing parallel programs
inferred← citeshttps://doi.org/10.1016/j.infsof.2019.07.002openalex-snapshot
Scheduling sequence selection for generating test data to cover paths of MPI programs
inferred← citeshttps://doi.org/10.1016/j.parco.2020.102665openalex-snapshot
A novel method of grouping target paths for parallel programs
inferred← citeshttps://doi.org/10.1016/j.procs.2013.05.178openalex-snapshot
Data Flow Testing in Concurrent Programs with Message Passing and Shared Memory Paradigms
inferred← citeshttps://doi.org/10.1109/wi.2004.10026openalex-snapshot
A Search Architecture for Grid Software Components
inferred← citeshttps://doi.org/10.1109/wi.2004.13openalex-snapshot
A Search Architecture for Grid Software Components
inferred← citeshttps://doi.org/10.1145/2002962.2002964openalex-snapshot
Research in concurrent software testing
inferred← citeshttps://doi.org/10.11606/d.55.2008.tde-21052008-111500openalex-snapshot
Teste de composição de web services: uma estratégia baseada em um modelo de teste de programas paralelos
inferred← citeshttps://doi.org/10.11606/d.55.2009.tde-29042010-101946openalex-snapshot
Teste de programas concorrentes com memória compartilhada
inferred← citeshttps://doi.org/10.11606/d.55.2011.tde-01092011-084548openalex-snapshot
Estudo e definição de mecanismos para redução do custo de aplicação do teste de programas concorrentes
inferred← citeshttps://doi.org/10.11606/d.55.2011.tde-13012012-094510openalex-snapshot
Avaliação da efetividade dos critérios de teste estruturais no contexto de programas concorrentes
inferred← citeshttps://doi.org/10.11606/d.55.2012.tde-24012013-151702openalex-snapshot
Avaliação do custo e efetividade dos critérios de teste estruturais no contexto de programas concorrentes com memória compartilhada
inferred← citeshttps://doi.org/10.11606/d.55.2014.tde-13022015-143049openalex-snapshot
Geração automática de dados de teste para programas concorrrentes com meta-heurística
inferred← citeshttps://doi.org/10.11606/d.55.2015.tde-03082015-110554openalex-snapshot
Otimizando o teste estrutural de programas concorrentes: uma abordagem determinística e paralela
inferred← citeshttps://doi.org/10.11606/t.55.2011.tde-17082011-153853openalex-snapshot
Contribuições para o Teste de Software
inferred← citeshttps://doi.org/10.11606/t.55.2016.tde-27012016-145238openalex-snapshot
Contribuições na área de Teste de Software Concorrente.
inferred← citeshttps://doi.org/10.11606/t.55.2018.tde-10102018-085404openalex-snapshot
Um framework para avaliação sistemática de técnicas de teste no contexto de programação concorrente
inferred← citeshttps://doi.org/10.17706/jsw.11.10.994-1007openalex-snapshot
Concurrent Defects and Test Coverage Criteria
inferred← citeshttps://doi.org/10.23919/cje.2014.10851871openalex-snapshot
Evolutionary Generation Approach of Test Data for Multiple Paths Coverage of Message-Passing Parallel Programs
inferred← citeshttps://doi.org/10.5897/sre12.023openalex-snapshot
Generic method for statistical testing of parallel programs based on task trees
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.