On the public citation graph

Bounded exhaustive test-input generation on GPUs

https://doi.org/10.1145/3133918
0 signed · 58 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.1007/978-3-319-04132-2_11openalex-snapshot
Exploring the Use of GPUs in Constraint Solving
inferredcites →https://doi.org/10.1007/978-3-642-19811-3_19openalex-snapshot
Testing Container Classes: Random or Systematic?
inferredcites →https://doi.org/10.1017/9781108974073.004openalex-snapshot
Introduction to Software Testing
inferredcites →https://doi.org/10.1017/cbo9780511809163openalex-snapshot
Introduction to Software Testing
inferredcites →https://doi.org/10.1080/0952813x.2014.954274openalex-snapshot
CUD@SAT: SAT solving on GPUs
inferredcites →https://doi.org/10.1109/32.979992openalex-snapshot
A test generation strategy for pairwise testing
inferredcites →https://doi.org/10.1109/ase.2001.989787openalex-snapshot
TestEra: a novel framework for automated testing of Java programs
inferredcites →https://doi.org/10.1109/fose.2007.25openalex-snapshot
Software Testing Research: Achievements, Challenges, Dreams
inferredcites →https://doi.org/10.1109/icpp.2011.45openalex-snapshot
A Comprehensive Performance Comparison of CUDA and OpenCL
inferredcites →https://doi.org/10.1109/icse.2007.37openalex-snapshot
Feedback-Directed Random Test Generation
inferredcites →https://doi.org/10.1109/icse.2007.48openalex-snapshot
Korat: A Tool for Generating Structurally Complex Test Inputs
inferredcites →https://doi.org/10.1109/icst.2009.48openalex-snapshot
PKorat: Parallel Generation of Structurally Complex Test Inputs
inferredcites →https://doi.org/10.1109/icstw.2011.100openalex-snapshot
Search-Based Software Testing: Past, Present and Future
inferredcites →https://doi.org/10.1109/ms.2017.3571566openalex-snapshot
International Conference on Software Engineering
inferredcites →https://doi.org/10.1109/tse.2012.14openalex-snapshot
Whole Test Suite Generation
inferredcites →https://doi.org/10.1145/1007512.1007528openalex-snapshot
Evolutionary testing of classes
inferredcites →https://doi.org/10.1145/1007512.1007531openalex-snapshot
Software assurance by bounded exhaustive testing
inferredcites →https://doi.org/10.1145/1146238.1146243openalex-snapshot
Test input generation for java containers using state matching
inferredcites →https://doi.org/10.1145/1250734.1250759openalex-snapshot
Optimistic parallelism requires abstractions
inferredcites →https://doi.org/10.1145/1273442.1250759openalex-snapshot
Optimistic parallelism requires abstractions
inferredcites →https://doi.org/10.1145/1287624.1287645openalex-snapshot
Parallel test generation and execution with Korat
inferredcites →https://doi.org/10.1145/1287624.1287651openalex-snapshot
Automated testing of refactoring engines
inferredcites →https://doi.org/10.1145/1476589.1476705openalex-snapshot
Thrashing
inferredcites →https://doi.org/10.1145/1806799.1806835openalex-snapshot
Test generation through programming in UDITA
inferredcites →https://doi.org/10.1145/1815961.1816021openalex-snapshot
Debunking the 100X GPU vs. CPU myth
inferredcites →https://doi.org/10.1145/1882291.1882320openalex-snapshot
Scalable SMT-based verification of GPU kernel functions
inferredcites →https://doi.org/10.1145/1925844.1926445openalex-snapshot
EigenCFA
inferredcites →https://doi.org/10.1145/1926385.1926445openalex-snapshot
EigenCFA
inferredcites →https://doi.org/10.1145/1941553.1941574openalex-snapshot
GRace
inferredcites →https://doi.org/10.1145/1993316.1993532openalex-snapshot
Finding and understanding bugs in C compilers
inferredcites →https://doi.org/10.1145/1993498.1993532openalex-snapshot
Finding and understanding bugs in C compilers
inferredcites →https://doi.org/10.1145/2038037.1941574openalex-snapshot
GRace
inferredcites →https://doi.org/10.1145/2145816.2145831openalex-snapshot
A GPU implementation of inclusion-based points-to analysis
inferredcites →https://doi.org/10.1145/2345156.2254110openalex-snapshot
Verifying GPU kernels by test amplification
inferredcites →https://doi.org/10.1145/2393596.2393635openalex-snapshot
Test input generation using dynamic programming
inferredcites →https://doi.org/10.1145/2660193.2660232openalex-snapshot
Bounded exhaustive test input generation from hybrid invariants
inferredcites →https://doi.org/10.1145/2717511openalex-snapshot
High-Performance and Scalable GPU Graph Traversal
inferredcites →https://doi.org/10.1145/2743017openalex-snapshot
The Design and Implementation of a Verification Technique for GPU Kernels
inferredcites →https://doi.org/10.1145/2814270.2814323openalex-snapshot
Programming with enumerable sets of structures
inferredcites →https://doi.org/10.1145/2950290.2950336openalex-snapshot
Field-exhaustive testing
inferredcites →https://doi.org/10.1145/2983990.2984015openalex-snapshot
A compiler for throughput optimization of graph algorithms on GPUs
inferredcites →https://doi.org/10.1145/3018743.3018756openalex-snapshot
Groute
inferredcites →https://doi.org/10.1145/3092282.3092293openalex-snapshot
Optimizing parallel Korat using invalid ranges
inferredcites →https://doi.org/10.1145/566172.566191openalex-snapshot
Korat
inferredcites →https://doi.org/10.15781/t2v698c11openalex-snapshot
MKorat : a novel approach for memoizing the Korat search and some potential applications
inferredcites →https://doi.org/10.5555/800078.802529openalex-snapshot
Using attributed grammars to test designs and implementations
inferredcites →https://doi.org/10.5860/choice.44-2746openalex-snapshot
Software abstractions: logic, language and analysis

What points at this work

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

inferred← citeshttps://doi.org/10.1007/978-3-319-49815-7_9openalex-snapshot
An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications
inferred← citeshttps://doi.org/10.1007/s10009-020-00577-wopenalex-snapshot
A study of learning likely data structure properties using machine learning models
inferred← citeshttps://doi.org/10.1016/j.scico.2019.05.006openalex-snapshot
An evolutionary approach to translating operational specifications into declarative specifications
inferred← citeshttps://doi.org/10.1109/icse48619.2023.00178openalex-snapshot
Learning Deep Semantics for Test Completion
inferred← citeshttps://doi.org/10.1109/icst.2019.00013openalex-snapshot
Extension-Aware Automated Testing Based on Imperative Predicates
inferred← citeshttps://doi.org/10.1109/tse.2023.3310793openalex-snapshot
CombTransformers: Statement-Wise Transformers for Statement-Wise Representations
inferred← citeshttps://doi.org/10.1145/3167132.3167339openalex-snapshot
Korat-API
inferred← citeshttps://doi.org/10.1145/3360603openalex-snapshot
Design, implementation, and application of GPU-based Java bytecode interpreters
inferred← citeshttps://doi.org/10.1145/3643777openalex-snapshot
Java JIT Testing with Template Extraction
inferred← citeshttps://doi.org/10.2172/1495188openalex-snapshot
Defining and Characterizing Methods, Tools, and Computing Resources to Support Pseudo Exhaustive Testability of Software Based I&C Devices
inferred← citeshttps://doi.org/10.48550/arxiv.2012.13516openalex-snapshot
Fuzzing with Fast Failure Feedback
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.