On the public citation graph

Mining and checking paired functions in device drivers using characteristic fault injection

https://doi.org/10.1016/j.infsof.2016.01.018
0 signed · 43 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.1109/apsec.2004.99openalex-snapshot
Proceedings. 11th Asia-Pacific Software Engineering Conference
inferredcites →https://doi.org/10.1109/apsec.2014.66openalex-snapshot
Runtime Checking for Paired Functions in Device Drivers
inferredcites →https://doi.org/10.1109/ase.2004openalex-snapshot
Proceedings. 19th International Conference on Automated Software Engineering, 2004.
inferredcites →https://doi.org/10.1109/ase.2009.60openalex-snapshot
Automatic Generation of Object Usage Specifications from Large Method Traces
inferredcites →https://doi.org/10.1109/ase.2011.6100058openalex-snapshot
Iterative mining of resource-releasing specifications
inferredcites →https://doi.org/10.1109/compsac.2014.10openalex-snapshot
PF-Miner: A New Paired Functions Mining Method for Android Kernel in Error Paths
inferredcites →https://doi.org/10.1109/dsn.2007.85openalex-snapshot
Robustness Testing of the Windows DDK
inferredcites →https://doi.org/10.1109/dsn.2009.5270354openalex-snapshot
WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code
inferredcites →https://doi.org/10.1109/dsn.2013.6575307openalex-snapshot
Hector: Detecting Resource-Release Omission Faults in error-handling code for systems software
inferredcites →https://doi.org/10.1109/dsnw.2011.5958824openalex-snapshot
Detecting resource leaks through dynamical mining of resource usage patterns
inferredcites →https://doi.org/10.1109/icse.2009.5070548openalex-snapshot
Mining exception-handling rules as sequence association rules
inferredcites →https://doi.org/10.1109/icse.2012.6227157openalex-snapshot
Amplifying tests to validate exception handling code
inferredcites →https://doi.org/10.1109/tse.2011.124openalex-snapshot
On Fault Representativeness of Software Fault Injection
inferredcites →https://doi.org/10.1145/1081706.1081755openalex-snapshot
PR-Miner
inferredcites →https://doi.org/10.1145/1134285.1134325openalex-snapshot
Perracotta
inferredcites →https://doi.org/10.1145/1189256.1189257openalex-snapshot
Recovering device drivers
inferredcites →https://doi.org/10.1145/1352592.1352618openalex-snapshot
Documenting and automating collateral evolutions in linux device drivers
inferredcites →https://doi.org/10.1145/1453101.1453150openalex-snapshot
Javert
inferredcites →https://doi.org/10.1145/1629575.1629582openalex-snapshot
Tolerating hardware device failures in software
inferredcites →https://doi.org/10.1145/1831708openalex-snapshot
Proceedings of the 19th international symposium on Software testing and analysis
inferredcites →https://doi.org/10.1145/1831708.1831719openalex-snapshot
Generating test cases for specification mining
inferredcites →https://doi.org/10.1145/1967677.1967684openalex-snapshot
An approach to improving the structure of error-handling code in the linux kernel
inferredcites →https://doi.org/10.1145/1985793openalex-snapshot
Proceedings of the 33rd International Conference on Software Engineering
inferredcites →https://doi.org/10.1145/1985793.1985801openalex-snapshot
The impact of fault models on software robustness evaluations
inferredcites →https://doi.org/10.1145/1985793.1985874openalex-snapshot
Mining parametric specifications
inferredcites →https://doi.org/10.1145/2063509.2063511openalex-snapshot
Efficient Testing of Recovery Code Using Fault Injection
inferredcites →https://doi.org/10.1145/2544137.2544164openalex-snapshot
Call Paths for Pin Tools
inferredcites →https://doi.org/10.1145/3179541openalex-snapshot
Proceedings of the 2018 International Symposium on Code Generation and Optimization
inferredcites →https://doi.org/10.1145/3341301openalex-snapshot
Proceedings of the 27th ACM Symposium on Operating Systems Principles
inferredcites →https://doi.org/10.1145/502034.502041openalex-snapshot
Bugs as deviant behavior
inferredcites →https://doi.org/10.1145/800230.806987openalex-snapshot
Gprof
inferredcites →https://doi.org/10.5555/2664446.2664471openalex-snapshot
Discovering complete API rules with mutation testing

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-030-80825-9_10openalex-snapshot
Third-Eye: Practical and Context-Aware Inference of Causal Relationship Violations in Commodity Kernels
inferred← citeshttps://doi.org/10.1016/j.jss.2017.06.004openalex-snapshot
Automated and reliable resource release in device drivers based on dynamic analysis
inferred← citeshttps://doi.org/10.1109/ase51524.2021.9678785openalex-snapshot
IFIZZ: Deep-State and Efficient Fault-Scenario Generation to Test IoT Firmware
inferred← citeshttps://doi.org/10.1109/qrs-c.2017.27openalex-snapshot
A Model Driven Approach for Device Driver Development
inferred← citeshttps://doi.org/10.1109/saner60148.2024.00039openalex-snapshot
Towards Effective and Efficient Error Handling Code Fuzzing Based on Software Fault Injection
inferred← citeshttps://doi.org/10.1109/sp54263.2024.00109openalex-snapshot
Chronos: Finding Timeout Bugs in Practical Distributed Systems by Deep-Priority Fuzzing with Transient Delay
inferred← citeshttps://doi.org/10.1145/3381990openalex-snapshot
Effective Detection of Sleep-in-atomic-context Bugs in the Linux Kernel
inferred← citeshttps://doi.org/10.1145/3634737.3637650openalex-snapshot
Fuzzing API Error Handling Behaviors using Coverage Guided Fault Injection
inferred← citeshttps://doi.org/10.1145/3767295.3769373openalex-snapshot
CSnake: Detecting Self-Sustaining Cascading Failure via Causal Stitching of Fault Propagations
inferred← citeshttps://doi.org/10.1177/0926227x251343867openalex-snapshot
HuntFUZZ: Enhancing error handling testing through clustering based fuzzing
inferred← citeshttps://doi.org/10.5555/3489212.3489358openalex-snapshot
Fuzzing Error Handling Code using Context-Sensitive Software Fault Injection
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.