On the public citation graph

Reducing scheduling sequences of message-passing parallel programs

https://doi.org/10.1016/j.infsof.2016.09.003

0 signed · 57 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.

Claim with ORCID

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.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1002/cpe.1297openalex-snapshot

Structural testing criteria for message‐passing parallel programs

inferredcites →https://doi.org/10.1002/cpe.1573openalex-snapshot

Distributed reachability testing of concurrent programs

inferredcites →https://doi.org/10.1002/stvr.262openalex-snapshot

All‐uses testing of shared memory parallel programs

inferredcites →https://doi.org/10.1007/11846802_21openalex-snapshot

Correctness Checking of MPI One-Sided Communication Using Marmot

inferredcites →https://doi.org/10.1007/978-3-540-72360-8_28openalex-snapshot

MPIRace-Check: Detection of Message Races in MPI Programs

inferredcites →https://doi.org/10.1007/978-3-540-87475-1_34openalex-snapshot

Implementing Efficient Dynamic Formal Verification Methods for MPI Programs

inferredcites →https://doi.org/10.1007/978-3-642-00593-0_30openalex-snapshot

HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis

inferredcites →https://doi.org/10.1007/978-3-642-18378-2_3openalex-snapshot

Detection of Asynchronous Message Passing Errors Using Static Analysis

inferredcites →https://doi.org/10.1007/978-3-642-19718-5_21openalex-snapshot

Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs

inferredcites →https://doi.org/10.1007/bfb0019411openalex-snapshot

Slicing concurrent programs

inferredcites →https://doi.org/10.1007/s10515-014-0173-zopenalex-snapshot

Test data generation for path coverage of message-passing parallel programs based on co-evolutionary genetic algorithms

inferredcites →https://doi.org/10.1016/0377-2217(87)90230-xopenalex-snapshot

Software engineering metrics and models

inferredcites →https://doi.org/10.1016/0950-5849(95)01064-5openalex-snapshot

Generating test data for distributed software using the chaining approach

inferredcites →https://doi.org/10.1016/b978-0-408-03741-9.50028-3openalex-snapshot

Software testing techniques

inferredcites →https://doi.org/10.1016/j.infsof.2012.02.004openalex-snapshot

Mutation based test case generation via a path selection strategy

inferredcites →https://doi.org/10.1016/j.infsof.2013.07.007openalex-snapshot

Estimating software testing complexity

inferredcites →https://doi.org/10.1109/71.920589openalex-snapshot

LoGPG: Modeling network contention in message-passing programs

inferredcites →https://doi.org/10.1109/hldvt.2010.5496659openalex-snapshot

Coverage metrics for verification of concurrent SystemC designs using mutation testing

inferredcites →https://doi.org/10.1109/iccci.2012.6158825openalex-snapshot

Static and dynamic software metrics complexity analysis in regression testing

inferredcites →https://doi.org/10.1109/iccci36666.2016openalex-snapshot

2016 International Conference on Computer Communication and Informatics (ICCCI)

inferredcites →https://doi.org/10.1109/iwast.2013.6595789openalex-snapshot

Automatic generation of parallel unit tests

inferredcites →https://doi.org/10.1109/spdp.1994.346124openalex-snapshot

C/sup 3/: an architecture-independent model for coarse-grained parallel machines

inferredcites →https://doi.org/10.1109/tase.2012.21openalex-snapshot

Statement-Coverage Testing for Nondeterministic Concurrent Programs

inferredcites →https://doi.org/10.1109/tase31979.2013openalex-snapshot

2013 International Symposium on Theoretical Aspects of Software Engineering

inferredcites →https://doi.org/10.1109/tse.1976.233837openalex-snapshot

A Complexity Measure

inferredcites →https://doi.org/10.1109/tse.2006.56openalex-snapshot

Reachability testing of concurrent programs

inferredcites →https://doi.org/10.1145/1040305.1040315openalex-snapshot

Dynamic partial-order reduction for model checking software

inferredcites →https://doi.org/10.1145/1047659.1040315openalex-snapshot

Dynamic partial-order reduction for model checking software

inferredcites →https://doi.org/10.1145/155332.155333openalex-snapshot

LogP: towards a realistic model of parallel computation

inferredcites →https://doi.org/10.1145/1941553.1941603openalex-snapshot

Automatic formal verification of MPI-based parallel programs

inferredcites →https://doi.org/10.1145/2002962.2002964openalex-snapshot

Research in concurrent software testing

inferredcites →https://doi.org/10.1145/2038037.1941603openalex-snapshot

Automatic formal verification of MPI-based parallel programs

inferredcites →https://doi.org/10.1145/215399.215427openalex-snapshot

LogGP

inferredcites →https://doi.org/10.1145/242224.242490openalex-snapshot

A bridging model for parallel computation, communication, and I/O

inferredcites →https://doi.org/10.1145/2593501openalex-snapshot

Proceedings of the 9th International Workshop on Automation of Software Test

inferredcites →https://doi.org/10.1145/271771.271804openalex-snapshot

All-du-path coverage for parallel programs

inferredcites →https://doi.org/10.1145/277851.277933openalex-snapshot

LoGPC

inferredcites →https://doi.org/10.1145/3219617.3219675openalex-snapshot

ACM Sigmetrics Performance Evaluation Review

inferredcites →https://doi.org/10.1145/379539.379592openalex-snapshot

LogGPS

inferredcites →https://doi.org/10.1145/390011.808263openalex-snapshot

The program dependence graph in a software development environment

inferredcites →https://doi.org/10.1145/42372.42379openalex-snapshot

NPATH: a measure of execution path complexity and its applications

inferredcites →https://doi.org/10.1177/1094342005051521openalex-snapshot

Optimization of Collective Communication Operations in MPICH

inferredcites →https://doi.org/10.1201/9780203011188openalex-snapshot

Software Engineering Measurement

inferredcites →https://doi.org/10.1201/9781420048131.axhopenalex-snapshot

Software Testing Techniques

inferredcites →https://doi.org/10.3785/j.issn.1008-973x.2014.05.028openalex-snapshot

Evolutionary generation of test data for path coverage through selecting target paths based on coverage difficulty

inferredcites →https://doi.org/10.48550/arxiv.0709.3692openalex-snapshot

Deadlock Detection in Basic Models of MPI Synchronization Communication Programs

inferredcites →https://doi.org/10.5120/11435-6798openalex-snapshot

Unit Testing Concurrent Java Programs

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/s11227-023-05460-4openalex-snapshot

Parallel program testing based on critical communication and branch transformation

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.infsof.2020.106318openalex-snapshot

A feedback-directed method of evolutionary test data generation for parallel programs

inferred← citeshttps://doi.org/10.1109/access.2019.2901588openalex-snapshot

Efficient Test Case Generation for Thread-Safe Classes

inferred← citeshttps://doi.org/10.1109/access.2019.2918558openalex-snapshot

An Approach for Detecting Infeasible Paths Based on a SMT Solver

inferred← citeshttps://doi.org/10.1109/ispa/iucc.2017.00126openalex-snapshot

Research on CPN Model Reduction Focus on Parallel Tested Behaviors

inferred← citeshttps://doi.org/10.1109/ssci.2018.8628861openalex-snapshot

An Enhanced Set-based Evolutionary Algorithm for Generating Test Data that Cover Multiple Paths of a Parallel Program

inferred← citeshttps://doi.org/10.1109/tr.2017.2738660openalex-snapshot

Constraint Handling in NSGA-II for Solving Optimal Testing Resource Allocation Problems

inferred← citeshttps://doi.org/10.1109/tse.2023.3263509openalex-snapshot

Evolutionary generation of test suites for multi-path coverage of MPI programs with non-determinism

inferred← citeshttps://doi.org/10.1145/3423132openalex-snapshot

Test Data Generation for Path Coverage of MPI Programs Using SAEO

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.