On the public citation graph

Symbolic Animation of JML Specifications

https://doi.org/10.1007/11526841_7
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.1002/stvr.287openalex-snapshot
Controlling test case explosion in test generation from B formal models
inferredcites →https://doi.org/10.1002/stvr.v14:2openalex-snapshot
Controlling test case explosion in test generation from B formal models: Research Articles
inferredcites →https://doi.org/10.1007/11415787_25openalex-snapshot
Checking JML Specifications with B Machines
inferredcites →https://doi.org/10.1007/3-540-36087-5openalex-snapshot
EurAsia-ICT 2002: Information and Communication Technology
inferredcites →https://doi.org/10.1007/3-540-36087-5_27openalex-snapshot
Development of UML Descriptions with USE
inferredcites →https://doi.org/10.1007/3-540-45694-5_10openalex-snapshot
A Hierarchy of Polynomial-Time Computable Simulations for Automata
inferredcites →https://doi.org/10.1007/978-3-540-24730-2_31openalex-snapshot
Checking Strong Specifications Using an Extensible Software Model Checking Framework
inferredcites →https://doi.org/10.1007/978-3-540-24730-2_35openalex-snapshot
A Temporal Logic of Nested Calls and Returns
inferredcites →https://doi.org/10.1007/978-3-540-31980-1_37openalex-snapshot
JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP
inferredcites →https://doi.org/10.1007/b135596openalex-snapshot
ZB 2005: Formal Specification and Development in Z and B
inferredcites →https://doi.org/10.1017/cbo9780511624162openalex-snapshot
The B-Book
inferredcites →https://doi.org/10.1023/a:1026554217992openalex-snapshot
Executing Formal Specifications with Concurrent Constraint Programming
inferredcites →https://doi.org/10.1108/ir.1999.04926fae.001openalex-snapshot
Lecture Notes in Computer Science 1205
inferredcites →https://doi.org/10.1109/apsec.1997.640160openalex-snapshot
Possum: an animator for the SUM specification language
inferredcites →https://doi.org/10.1109/sefm.2003.1236221openalex-snapshot
Animation of Object-Z specifications using a Z animator
inferredcites →https://doi.org/10.1145/1127716.1127718openalex-snapshot
Constraint animation using an object-oriented declarative language
inferredcites →https://doi.org/10.1145/346852.346968openalex-snapshot
Formal underpinnings of Java
inferredcites →https://doi.org/10.31274/rtd-180813-9872openalex-snapshot
A runtime assertion checker for the Java Modeling Language
inferredcites →https://doi.org/10.5860/choice.34-3906openalex-snapshot
The B-book: assigning programs to meanings

What points at this work

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

inferred← citeshttps://doi.org/10.1007/11813040_29openalex-snapshot
Automated Boundary Test Generation from JML Specifications
inferred← citeshttps://doi.org/10.1007/11940197_15openalex-snapshot
Safety Property Driven Test Generation from JML Specifications
inferred← citeshttps://doi.org/10.1007/11955757_31openalex-snapshot
JML2B: Checking JML Specifications with B Machines
inferred← citeshttps://doi.org/10.1007/978-3-540-70952-7_19openalex-snapshot
jmle: A Tool for Executing JML Specifications Via Constraint Programming
inferred← citeshttps://doi.org/10.1007/978-3-642-38088-4_18openalex-snapshot
Automatically Detecting Inconsistencies in Program Specifications
inferred← citeshttps://doi.org/10.1016/j.entcs.2009.09.055openalex-snapshot
jSynoPSys – A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines
inferred← citeshttps://doi.org/10.1109/cist.2012.6388060openalex-snapshot
A formal model of similarity testing for inheritance in object-oriented software
inferred← citeshttps://doi.org/10.1109/cist.2016.7805040openalex-snapshot
Conformity testing by optimal constraints for object oriented programs
inferred← citeshttps://doi.org/10.1109/icecocs.2018.8610627openalex-snapshot
An Optimal Constraint Model of Robustness Behavior for Object Oriented Programs
inferred← citeshttps://doi.org/10.1109/it4od.2016.7479255openalex-snapshot
Invalid input data and conformity testing for an object-oriented specification
inferred← citeshttps://doi.org/10.1145/1292316.1292319openalex-snapshot
Reachability analysis for annotated code
inferred← citeshttps://doi.org/10.1145/1453101.1453123openalex-snapshot
Alchemy
inferred← citeshttps://doi.org/10.1145/1497308.1497322openalex-snapshot
Automating UML models merge for web services testing
inferred← citeshttps://doi.org/10.1145/1529282.1529373openalex-snapshot
Executing JML specifications of Java card applications
inferred← citeshttps://doi.org/10.1145/1868294.1868303openalex-snapshot
Automatic and efficient simulation of operation contracts
inferred← citeshttps://doi.org/10.1145/1942788.1868303openalex-snapshot
Automatic and efficient simulation of operation contracts
inferred← citeshttps://doi.org/10.14257/ijseia.2013.7.5.19openalex-snapshot
A Formal Model of Conformity Testing of Inheritance for Object Oriented Constraint Programming
inferred← citeshttps://doi.org/10.14257/ijseia.2016.10.3.15openalex-snapshot
A Formal Model of Robustness Testing for an Object-Oriented Specification
inferred← citeshttps://doi.org/10.14279/tuj.eceasst.15.176openalex-snapshot
Executing Underspecified OCL Operation Contracts with a SAT Solver
inferred← citeshttps://doi.org/10.14279/tuj.eceasst.44.662openalex-snapshot
Extending OCL Operation Contracts with Objective Functions
inferred← citeshttps://doi.org/10.1504/ijwgs.2009.027569openalex-snapshot
Automated UML models merging for web services testing
inferred← citeshttps://doi.org/10.17706/jcp.12.4.335-353openalex-snapshot
A Robustness Testing Approach for an Object Oriented Model
inferred← citeshttps://doi.org/10.4230/lipics.iclp.2010.144openalex-snapshot
From Relational Specifications to Logic Programs
inferred← citeshttps://doi.org/10.4236/jis.2013.42013openalex-snapshot
A Formal Model of Conformity and Security Testing of Inheritance for Object Oriented Constraint Programming
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.