On the public citation graph

A theory of regression testing for behaviourally compatible object types

https://doi.org/10.1002/stvr.349
0 signed · 33 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/3-540-45352-0_6openalex-snapshot
Invariant-Based Synthesis of Fault-Tolerant Systems
inferredcites →https://doi.org/10.1007/3-540-45672-4_13openalex-snapshot
An Informal Formal Method for Systematic JUnit Test Case Generation
inferredcites →https://doi.org/10.1007/3-540-45672-4_31openalex-snapshot
Refactoring: Improving the Design of Existing Code
inferredcites →https://doi.org/10.1007/3-540-47910-4_8openalex-snapshot
A New Definition of the Subtype Relation
inferredcites →https://doi.org/10.1007/978-1-4471-3435-0openalex-snapshot
Correct Systems
inferredcites →https://doi.org/10.1007/bf01212304openalex-snapshot
Temporal theories as modularisation units for concurrent system specification
inferredcites →https://doi.org/10.1007/bfb0014022openalex-snapshot
Structural and behavioural views on OMT-classes
inferredcites →https://doi.org/10.1016/0304-3975(79)90041-0openalex-snapshot
On the reachability problem for 5-dimensional vector addition systems
inferredcites →https://doi.org/10.1016/0378-4754(81)90068-9openalex-snapshot
Introduction to automata theory, languages and computation
inferredcites →https://doi.org/10.1049/sej.1991.0040openalex-snapshot
Software testing based on formal specifications: a theory and a tool
inferredcites →https://doi.org/10.1080/00207169708804559openalex-snapshot
An integration testing method that is proved to find all faults
inferredcites →https://doi.org/10.1093/comjnl/32.4.305openalex-snapshot
A Proposal for Making Eiffel Type-safe
inferredcites →https://doi.org/10.1109/concapan.2017.8278488openalex-snapshot
Refactoring improving the design of existing code
inferredcites →https://doi.org/10.1109/tse.1978.231496openalex-snapshot
Testing Software Design Modeled by Finite-State Machines
inferredcites →https://doi.org/10.1142/2563openalex-snapshot
The Book of Traces
inferredcites →https://doi.org/10.1145/163626.163635openalex-snapshot
A note on inheritance and state machines
inferredcites →https://doi.org/10.1145/182987.184075openalex-snapshot
Integrated object-oriented testing and development processes
inferredcites →https://doi.org/10.1145/235321.235322openalex-snapshot
The STATEMATE semantics of statecharts
inferredcites →https://doi.org/10.1145/6041.6042openalex-snapshot
On understanding types, data abstraction, and polymorphism
inferredcites →https://doi.org/10.1145/97945.97982openalex-snapshot
Mixin-based inheritance
inferredcites →https://doi.org/10.1145/97946.97982openalex-snapshot
Mixin-based inheritance
inferredcites →https://doi.org/10.5381/jot.2003.2.1.c2openalex-snapshot
The Theory of Classification, Part 5: Axioms, Assertions and Subtyping.

What points at this work

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

inferred← citeshttps://doi.org/10.1007/11955757_15openalex-snapshot
Refinement of Statemachines Using Event B Semantics
inferred← citeshttps://doi.org/10.1007/978-3-642-05089-3_37openalex-snapshot
Language and Tool Support for Class and State Machine Refinement in UML-B
inferred← citeshttps://doi.org/10.1007/978-3-642-24559-6_38openalex-snapshot
Refining Nodes and Edges of State Machines
inferred← citeshttps://doi.org/10.1007/s10270-013-0391-zopenalex-snapshot
A method of refinement in UML-B
inferred← citeshttps://doi.org/10.1007/s10515-007-0015-3openalex-snapshot
JWalk: a tool for lazy, systematic testing of java classes by design introspection and user interaction
inferred← citeshttps://doi.org/10.1109/icstw.2008.10openalex-snapshot
Benchmarking Effectiveness for Object-Oriented Unit Testing
inferred← citeshttps://doi.org/10.1109/taic-part.2008.20openalex-snapshot
Feedback-Based Specification, Coding and Testing with JWalk
inferred← citeshttps://doi.org/10.1109/taicpart.2009.28openalex-snapshot
Dynamic Analysis of Algebraic Structure to Optimize Test Generation and Test Case Selection
inferred← citeshttps://doi.org/10.1145/1287624.1287707openalex-snapshot
Differential testing
inferred← citeshttps://doi.org/10.5220/0001683700420049openalex-snapshot
SEMANTICS AND REFINEMENT OF BEHAVIOR STATE MACHINES
inferred← citeshttps://doi.org/10.5381/jot.2007.6.9.a2openalex-snapshot
Direct Semantics of Extended State Machines.
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.