On the public citation graph
Discovering Likely Method Specifications
0 signed · 77 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.1007/11547662_8openalex-snapshot
Abstraction Refinement for Termination
inferredcites →https://doi.org/10.1007/11591191_2openalex-snapshot
Zap: Automated Theorem Proving for Software Analysis
inferredcites →https://doi.org/10.1007/3-540-44829-2_8openalex-snapshot
What Went Wrong: Explaining Counterexamples
inferredcites →https://doi.org/10.1007/3-540-45251-6openalex-snapshot
FME 2001: Formal Methods for Increasing Software Productivity
inferredcites →https://doi.org/10.1007/3-540-45251-6_29openalex-snapshot
Houdini, an Annotation Assistant for ESC/Java
inferredcites →https://doi.org/10.1007/978-3-540-24622-0_18openalex-snapshot
Automatic Inference of Class Invariants
inferredcites →https://doi.org/10.1007/978-3-540-24622-0_23openalex-snapshot
Analysis of Recursive Game Graphs Using Data Flow Equations
inferredcites →https://doi.org/10.1007/978-3-540-30569-9_1openalex-snapshot
Mobile Resource Guarantees for Smart Devices
inferredcites →https://doi.org/10.1007/978-3-540-30569-9_3openalex-snapshot
The Spec# Programming System: An Overview
inferredcites →https://doi.org/10.1007/978-3-540-45070-2_19openalex-snapshot
Discovering Algebraic Specifications from Java Classes
inferredcites →https://doi.org/10.1007/978-3-642-61284-8openalex-snapshot
Fundamentals of Algebraic Specification 2
inferredcites →https://doi.org/10.1007/978-3-642-69962-7openalex-snapshot
Fundamentals of Algebraic Specification 1
inferredcites →https://doi.org/10.1007/s10009-004-0167-4openalex-snapshot
An overview of JML tools and applications
inferredcites →https://doi.org/10.1007/s10515-006-0005-xopenalex-snapshot
Inferring specifications to detect errors in code
inferredcites →https://doi.org/10.1007/s10851-006-8530-6openalex-snapshot
Tool-assisted unit-test generation and selection based on operational abstractions
inferredcites →https://doi.org/10.1016/j.entcs.2006.01.002openalex-snapshot
XRT– Exploring Runtime for .NET Architecture and Applications
inferredcites →https://doi.org/10.1109/32.908957openalex-snapshot
Dynamically discovering likely program invariants to support program evolution
inferredcites →https://doi.org/10.1109/issre.2005.12openalex-snapshot
Automatically Identifying Special and Common Unit Tests for Object-Oriented Programs
inferredcites →https://doi.org/10.1109/wcre.1995.514707openalex-snapshot
Strongest postcondition semantics as the formal basis for reverse engineering
inferredcites →https://doi.org/10.1145/1066100.1066102openalex-snapshot
Simplify: a theorem prover for program checking
inferredcites →https://doi.org/10.1145/1081706.1081745openalex-snapshot
Parameterized unit tests with unit meister
inferredcites →https://doi.org/10.1145/302405.302661openalex-snapshot
A specification matching based approach to reverse engineering
inferredcites →https://doi.org/10.1145/360248.360252openalex-snapshot
Symbolic execution and program testing
inferredcites →https://doi.org/10.1145/514188.514190openalex-snapshot
Parametric shape analysis via 3-valued logic
inferredcites →https://doi.org/10.1145/566171.566212openalex-snapshot
Automatic extraction of object-oriented component interfaces
inferredcites →https://doi.org/10.1145/566210.566212openalex-snapshot
Automatic extraction of object-oriented component interfaces
inferredcites →https://doi.org/10.1145/996821.996832openalex-snapshot
Dynamically inferring temporal properties
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/stvr.380openalex-snapshot
Automated discovery of state transitions and their functions in source code
inferred← citeshttps://doi.org/10.1007/978-3-031-31476-6_3openalex-snapshot
Automated Synthesis of Software Contracts with KindSpec
inferred← citeshttps://doi.org/10.1007/978-3-319-63139-4_11openalex-snapshot
Symbolic Abstract Contract Synthesis in a Rewriting Framework
inferred← citeshttps://doi.org/10.1007/978-3-540-69738-1_21openalex-snapshot
Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes
inferred← citeshttps://doi.org/10.1007/978-3-642-54624-2_14openalex-snapshot
Synthesis of Infinite-State Abstractions and Their Use for Software Validation
inferred← citeshttps://doi.org/10.1007/s10270-020-00809-2openalex-snapshot
Interface protocol inference to aid understanding legacy software components
inferred← citeshttps://doi.org/10.1007/s10664-014-9312-1openalex-snapshot
Do topics make sense to managers and developers?
inferred← citeshttps://doi.org/10.1007/s10664-023-10392-xopenalex-snapshot
Lightweight precise automatic extraction of exception preconditions in java methods
inferred← citeshttps://doi.org/10.1109/apsec53868.2021.00024openalex-snapshot
Mining API Constraints from Library and Client to Detect API Misuses
inferred← citeshttps://doi.org/10.1109/ase.2011.6100094openalex-snapshot
Stateful testing: Finding more errors in code and contracts
inferred← citeshttps://doi.org/10.1109/ase.2013.6693101openalex-snapshot
TzuYu: Learning stateful typestates
inferred← citeshttps://doi.org/10.1109/codesisss.2015.7331382openalex-snapshot
A parallelizable approach for mining likely invariants
inferred← citeshttps://doi.org/10.1109/iccd.2015.7357102openalex-snapshot
Exploiting GPU architectures for dynamic invariant mining
inferred← citeshttps://doi.org/10.1109/icse.2012.6227137openalex-snapshot
Inferring method specifications from natural language API descriptions
inferred← citeshttps://doi.org/10.1109/icsm.2012.6405278openalex-snapshot
Relating requirements to implementation via topic analysis: Do topics extracted from requirements make sense to managers and developers?
inferred← citeshttps://doi.org/10.1109/icsme.2016.59openalex-snapshot
ICON: Inferring Temporal Constraints from Natural Language API Descriptions
inferred← citeshttps://doi.org/10.1109/icsme55016.2022.00038openalex-snapshot
What Is Thrown? Lightweight Precise Automatic Extraction of Exception Preconditions in Java Methods
inferred← citeshttps://doi.org/10.1109/qsic.2014.46openalex-snapshot
A Comparative Study of Invariants Generated by Daikon and User-Defined Design Contracts
inferred← citeshttps://doi.org/10.1109/scam63643.2024.00025openalex-snapshot
PROZE: Generating Parameterized Unit Tests Informed by Runtime Data
inferred← citeshttps://doi.org/10.1109/seaa.2013.37openalex-snapshot
Trace-Guided Synthesis of Reactive Behavior Models of Programmable Logic Controllers
inferred← citeshttps://doi.org/10.1109/tc.2019.2953846openalex-snapshot
Mangrove: An Inference-Based Dynamic Invariant Mining for GPU Architectures
inferred← citeshttps://doi.org/10.1109/tse.2007.70705openalex-snapshot
Discovering Documentation for Java Container Classes
inferred← citeshttps://doi.org/10.1109/tse.2012.63openalex-snapshot
Automated API Property Inference Techniques
inferred← citeshttps://doi.org/10.1145/1390630.1390665openalex-snapshot
Universal symbolic execution and its application to likely data structure invariant generation
inferred← citeshttps://doi.org/10.1145/1572272.1572284openalex-snapshot
A comparative study of programmer-written and automatically inferred contracts
inferred← citeshttps://doi.org/10.1145/2338965.2336776openalex-snapshot
Understanding user understanding: determining correctness of generated program invariants
inferred← citeshttps://doi.org/10.1145/2426890.2426914openalex-snapshot
Automatic inference of specifications using matching logic
inferred← citeshttps://doi.org/10.1145/2610384.2610389openalex-snapshot
Feedback-driven dynamic invariant discovery
inferred← citeshttps://doi.org/10.1145/3448975openalex-snapshot
The Role of Formalism in System Requirements
inferred← citeshttps://doi.org/10.1145/3643991.3644904openalex-snapshot
Boosting API Misuse Detection via Integrating API Constraints from Multiple Sources
inferred← citeshttps://doi.org/10.17706/jsw.12.10.816-823openalex-snapshot
Invariant Detection Using Enhanced Autoinfer
inferred← citeshttps://doi.org/10.22215/etd/2014-10300openalex-snapshot
A Comparative Study of Invariants Generated by Daikon and User-Defined Design Contracts
inferred← citeshttps://doi.org/10.3233/fi-2020-1989openalex-snapshot
Abstract Contract Synthesis and Verification in the Symbolic 𝕂 Framework
inferred← citeshttps://doi.org/10.32657/10356/72506openalex-snapshot
Automatic model learning and its applications in malware detection
inferred← citeshttps://doi.org/10.3929/ethz-a-006154473openalex-snapshot
Applying data mining to contract inference
inferred← citeshttps://doi.org/10.4204/eptcs.200.1openalex-snapshot
Automatic Inference of Specifications in the K Framework
inferred← citeshttps://doi.org/10.48550/arxiv.1911.02564openalex-snapshot
The role of formalism in system requirements (full version)
inferred← citeshttps://doi.org/10.48550/arxiv.2012.11182openalex-snapshot
Program State Abstraction for Feedback-Driven Fuzz Testing using Likely Invariants
inferred← citeshttps://doi.org/10.5555/2337223.2337319openalex-snapshot
Inferring method specifications from natural language API descriptions
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.