On the public citation graph

Automated discovery of state transitions and their functions in source code

https://doi.org/10.1002/stvr.380
0 signed · 60 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/spe.556openalex-snapshot
C ON SIT: a fully automated conditioned program slicer
inferredcites →https://doi.org/10.1007/10515.1573-7535openalex-snapshot
Automated Software Engineering
inferredcites →https://doi.org/10.1007/11691372_5openalex-snapshot
Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs
inferredcites →https://doi.org/10.1007/11759744openalex-snapshot
Formal Approaches to Software Testing
inferredcites →https://doi.org/10.1007/11901433_39openalex-snapshot
Discovering Likely Method Specifications
inferredcites →https://doi.org/10.1007/3-540-36577-x_40openalex-snapshot
Generalized Symbolic Execution for Model Checking and Testing
inferredcites →https://doi.org/10.1007/3-540-56922-7_10openalex-snapshot
Reachability and recurrence in Extended Finite State Machines: Modular Vector Addition Systems
inferredcites →https://doi.org/10.1007/978-1-4471-3435-0openalex-snapshot
Correct Systems
inferredcites →https://doi.org/10.1007/978-3-540-24732-6_13openalex-snapshot
Verification of Java Programs Using Symbolic Execution and Invariant Generation
inferredcites →https://doi.org/10.1007/978-3-540-30482-1_27openalex-snapshot
Automatic Extraction of Object-Oriented Observer Abstractions from Unit-Test Executions
inferredcites →https://doi.org/10.1007/978-3-540-31980-1_24openalex-snapshot
Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution
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/s00165-005-0085-6openalex-snapshot
Testing methods for X-machines: a review
inferredcites →https://doi.org/10.1016/0950-5849(91)90024-6openalex-snapshot
Symbolic execution and testing
inferredcites →https://doi.org/10.1016/j.jss.2004.03.034openalex-snapshot
ConSUS: a light-weight program conditioner
inferredcites →https://doi.org/10.1016/j.tcs.2004.11.006openalex-snapshot
Abstract state machines and high-level system design and analysis
inferredcites →https://doi.org/10.1016/s0950-5849(98)00086-xopenalex-snapshot
Conditioned program slicing
inferredcites →https://doi.org/10.1109/32.908957openalex-snapshot
Dynamically discovering likely program invariants to support program evolution
inferredcites →https://doi.org/10.1109/5.533956openalex-snapshot
Principles and methods of testing finite state machines-a survey
inferredcites →https://doi.org/10.1109/tc.1972.5009015openalex-snapshot
On the Synthesis of Finite-State Machines from Samples of Their Behavior
inferredcites →https://doi.org/10.1109/tse.1978.231496openalex-snapshot
Testing Software Design Modeled by Finite-State Machines
inferredcites →https://doi.org/10.1109/wcre.2004.26openalex-snapshot
Loop squashing transformations for amorphous slicing
inferredcites →https://doi.org/10.1109/wpc.2001.921717openalex-snapshot
Backward conditioning: a new program specialisation technique and its application to program comprehension
inferredcites →https://doi.org/10.1145/1007512.1007526openalex-snapshot
Test input generation with java PathFinder
inferredcites →https://doi.org/10.1145/1095430.1081750openalex-snapshot
CUTE
inferredcites →https://doi.org/10.1145/1138912.1138918openalex-snapshot
Mining object behavior with ADABU
inferredcites →https://doi.org/10.1145/1138912.1138919openalex-snapshot
Inferring state-based behavior models
inferredcites →https://doi.org/10.1145/343369.343384openalex-snapshot
Sequential abstract-state machines capture sequential algorithms
inferredcites →https://doi.org/10.1145/360248.360252openalex-snapshot
Symbolic execution and program testing
inferredcites →https://doi.org/10.1145/566172.566212openalex-snapshot
Automatic extraction of object-oriented component interfaces
inferredcites →https://doi.org/10.1147/sj.153.0182openalex-snapshot
Design and code inspections to reduce errors in program development

What points at this work

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

inferred← citeshttps://doi.org/10.1002/smr.373openalex-snapshot
Improving dynamic software analysis by applying grammar inference principles
inferred← citeshttps://doi.org/10.1007/978-3-030-11030-7_10openalex-snapshot
Interactive Measures for Mining Understandable State Machines from Embedded Software: Experiments and Case Studies
inferred← citeshttps://doi.org/10.1007/978-3-030-41418-4_18openalex-snapshot
Combining Model Learning and Model Checking to Analyze Java Libraries
inferred← citeshttps://doi.org/10.1007/978-3-031-70797-1_4openalex-snapshot
Automated Architecture Recovery for Embedded Software Systems: An Industrial Case Study
inferred← citeshttps://doi.org/10.1007/978-3-642-05089-3_20openalex-snapshot
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing
inferred← citeshttps://doi.org/10.1007/978-3-642-17071-3_14openalex-snapshot
Incrementally Discovering Testable Specifications from Program Executions
inferred← citeshttps://doi.org/10.1007/s10270-014-0415-3openalex-snapshot
Extracting finite state representation of Java programs
inferred← citeshttps://doi.org/10.1007/s10270-014-0440-2openalex-snapshot
Systematic approach for constructing an understandable state machine from a contract-based specification: controlled experiments
inferred← citeshttps://doi.org/10.1007/s10664-015-9367-7openalex-snapshot
Inferring extended finite state machine models from software executions
inferred← citeshttps://doi.org/10.1007/s10664-020-09865-0openalex-snapshot
Mining understandable state machine models from embedded code
inferred← citeshttps://doi.org/10.1007/s11219-016-9330-xopenalex-snapshot
State-based models in regression test suite prioritization
inferred← citeshttps://doi.org/10.1007/s11704-019-9212-zopenalex-snapshot
Model learning: a survey of foundations, tools and applications
inferred← citeshttps://doi.org/10.1016/b978-0-12-408089-8.00001-xopenalex-snapshot
Reverse-Engineering Software Behavior
inferred← citeshttps://doi.org/10.1016/b978-0-12-408094-2.00003-5openalex-snapshot
Model Inference and Testing
inferred← citeshttps://doi.org/10.1016/j.scico.2017.04.004openalex-snapshot
Inferring software behavioral models with MapReduce
inferred← citeshttps://doi.org/10.1109/apsec53868.2021.00072openalex-snapshot
Extracting a Micro State Transition Table Using the KLEE Symbolic Execution Engine
inferred← citeshttps://doi.org/10.1109/ibcast.2019.8667149openalex-snapshot
Testing-based Model Learning Approach for Legacy Components
inferred← citeshttps://doi.org/10.1109/iccce.2012.6271169openalex-snapshot
Software architecture recovery and re-documentation tool of a Hospital Information System
inferred← citeshttps://doi.org/10.1109/icsea.2009.26openalex-snapshot
Program Comprehension for User-Assisted Test Oracle Generation
inferred← citeshttps://doi.org/10.1109/icsme.2016.74openalex-snapshot
Inferring Computational State Machine Models from Program Executions
inferred← citeshttps://doi.org/10.1109/icsme.2018.00024openalex-snapshot
On State Machine Mining from Embedded Control Software
inferred← citeshttps://doi.org/10.1109/icsme.2018.00025openalex-snapshot
Reflexion Models for State Machine Extraction and Verification
inferred← citeshttps://doi.org/10.1109/saner.2019.8667983openalex-snapshot
Towards Understandable Guards of Extracted State Machines from Embedded Software
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/tse.2020.2977016openalex-snapshot
Integrating Provenance Capture and UML With UML2PROV: Principles and Experience
inferred← citeshttps://doi.org/10.1109/wcre.2013.6671305openalex-snapshot
Inferring Extended Finite State Machine models from software executions
inferred← citeshttps://doi.org/10.1145/3341108.3342244openalex-snapshot
Symbolic execution-based approach to extracting a micro state transition table
inferred← citeshttps://doi.org/10.11606/d.55.2023.tde-10012024-173035openalex-snapshot
Improving model learning by inferring separating sequences from traces
inferred← citeshttps://doi.org/10.12681/eadd/53415openalex-snapshot
Learning regular languages over large alphabets
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.