On the public citation graph

A case study in model‐based testing of specifications and implementations

https://doi.org/10.1002/stvr.431
0 signed · 58 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/(sici)1099-1689(199703)7:1<19::aid-stvr124>3.0.co;2-nopenalex-snapshot
Testing from a Z Specification
inferredcites →https://doi.org/10.1002/1099-1689(200006)10:2<111::aid-stvr204>3.0.co;2-popenalex-snapshot
From Object-Z specifications to ClassBench test suites
inferredcites →https://doi.org/10.1002/spe.597openalex-snapshot
Generation of test sequences from formal specifications: GSM 11‐11 standard case study
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.308openalex-snapshot
MuJava: an automated class mutation system
inferredcites →https://doi.org/10.1002/stvr.4370010107openalex-snapshot
An exercise in weakest preconditions
inferredcites →https://doi.org/10.1007/11415787_2openalex-snapshot
Visualising Larger State Spaces in Pro B
inferredcites →https://doi.org/10.1007/11955757_26openalex-snapshot
A Generic Flash-Based Animation Engine for ProB
inferredcites →https://doi.org/10.1007/3-540-36103-0_21openalex-snapshot
Model-Based Specification Animation Using Testgraphs
inferredcites →https://doi.org/10.1007/3-540-45614-7_2openalex-snapshot
Automated Boundary Testing from Z and B
inferredcites →https://doi.org/10.1007/3-540-48119-2_49openalex-snapshot
Verifying Consistency and Validity of Formal Specifications by Testing
inferredcites →https://doi.org/10.1007/3-540-48249-0_22openalex-snapshot
Automated Black-Box Testing with Abstract VDM Oracle
inferredcites →https://doi.org/10.1007/3-540-59293-8_188openalex-snapshot
Testing can be formal, too
inferredcites →https://doi.org/10.1007/3-540-60271-2_117openalex-snapshot
Testing as abstraction
inferredcites →https://doi.org/10.1007/3-540-60271-2_118openalex-snapshot
Improving software tests using Z Specifications
inferredcites →https://doi.org/10.1007/978-1-4471-3452-7_11openalex-snapshot
Towards Correct Executable Semantics for Z
inferredcites →https://doi.org/10.1007/978-1-4612-1526-4openalex-snapshot
Testing Object-Oriented Software
inferredcites →https://doi.org/10.1007/bfb0024651openalex-snapshot
Automating the generation and sequencing of test cases from model-based specifications
inferredcites →https://doi.org/10.1007/bfb0027279openalex-snapshot
ZUM '97: The Z Formal Specification Notation
inferredcites →https://doi.org/10.1007/bfb0027282openalex-snapshot
Experiences with PiZA, an Animator for Z
inferredcites →https://doi.org/10.1016/0308-5961(90)90020-ropenalex-snapshot
The European Telecommunications Standards Institute
inferredcites →https://doi.org/10.1016/j.infsof.2004.07.007openalex-snapshot
Instrumenting scenarios in a model-driven development environment
inferredcites →https://doi.org/10.1016/j.jss.2006.12.540openalex-snapshot
An automated approach to specification animation for validation
inferredcites →https://doi.org/10.1016/s0164-1212(98)10005-5openalex-snapshot
Testing object-oriented programs: from formal specification to test scenario generation
inferredcites →https://doi.org/10.1016/s0218-1940(00)00014-6openalex-snapshot
VERIFYING REQUIREMENTS THROUGH MATHEMATICAL MODELLING AND ANIMATION
inferredcites →https://doi.org/10.1023/b:ause.0000038938.10589.b9openalex-snapshot
TestEra: Specification-Based Testing of Java Programs Using SAT
inferredcites →https://doi.org/10.1108/ir.1999.04926fae.001openalex-snapshot
Lecture Notes in Computer Science 1205
inferredcites →https://doi.org/10.1109/32.553698openalex-snapshot
A framework for specification-based testing
inferredcites →https://doi.org/10.1109/32.825766openalex-snapshot
Automatically checking an implementation against its formal specification
inferredcites →https://doi.org/10.1109/apsec.1997.640160openalex-snapshot
Possum: an animator for the SUM specification language
inferredcites →https://doi.org/10.1109/apsec.2004.1openalex-snapshot
A Case Study in Specification and Implementation Testing
inferredcites →https://doi.org/10.1109/hase.2000.895462openalex-snapshot
Formal specification techniques as a catalyst in validation
inferredcites →https://doi.org/10.1109/icfem.1998.730568openalex-snapshot
B model animation for external verification
inferredcites →https://doi.org/10.1109/icfem.1998.730580openalex-snapshot
Translating Object-Z specifications to passive test oracles
inferredcites →https://doi.org/10.1109/sefm.2003.1236203openalex-snapshot
Supporting the software testing process through specification animation
inferredcites →https://doi.org/10.1109/tse.1986.6312924openalex-snapshot
An experimental evaluation of the assumption of independence in multiversion programming
inferredcites →https://doi.org/10.1142/s0218539301000530openalex-snapshot
A SPECIFICATION-BASED COVERAGE METRIC TO EVALUATE TEST SETS
inferredcites →https://doi.org/10.1145/1361213.1361214openalex-snapshot
VDMTools
inferredcites →https://doi.org/10.1145/192218.192221openalex-snapshot
The ASTOOT approach to testing object-oriented programs
inferredcites →https://doi.org/10.1145/990010.990012openalex-snapshot
A framework and tool support for the systematic testing of model-based specifications

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-319-18612-2_3openalex-snapshot
An Industrial Case Study on Test Cases as Requirements
inferred← citeshttps://doi.org/10.1007/s00766-022-00390-8openalex-snapshot
Testing software’s changing features with environment-driven abstraction identification
inferred← citeshttps://doi.org/10.1016/j.csi.2017.08.002openalex-snapshot
Empirical studies omit reporting necessary details: A systematic literature review of reporting quality in model based testing
inferred← citeshttps://doi.org/10.1016/j.infsof.2016.03.008openalex-snapshot
A multi-case study of agile requirements engineering and the use of test cases as requirements
inferred← citeshttps://doi.org/10.1016/j.procs.2015.04.178openalex-snapshot
Test Cases Prioritization Using Open Dependency Structure Algorithm
inferred← citeshttps://doi.org/10.1109/apscc.2012.49openalex-snapshot
Consistency Reflection for Automatic Update of Testing Environment
inferred← citeshttps://doi.org/10.1109/apscc.2014.13openalex-snapshot
Consistent Testing Framework for Continuous Service Development
inferred← citeshttps://doi.org/10.1109/aswec.2015.16openalex-snapshot
Using Metamorphic Testing to Improve Dynamic Symbolic Execution
inferred← citeshttps://doi.org/10.1109/icactm.2019.8776688openalex-snapshot
Software Testing and Lines of Codes-A Study on Software Engineering Design Patterns
inferred← citeshttps://doi.org/10.1109/icit.2012.6209957openalex-snapshot
Experiences in setting up domain-specific model-based testing
inferred← citeshttps://doi.org/10.1109/tse.2012.26openalex-snapshot
Using Dependency Structures for Prioritization of Functional Test Suites
inferred← citeshttps://doi.org/10.1145/2060329.2060349openalex-snapshot
Towards flexible and efficient model-based testing, utilizing domain-specific modelling
inferred← citeshttps://doi.org/10.1145/2523088openalex-snapshot
A taxonomy for requirements engineering and software test alignment
inferred← citeshttps://doi.org/10.1145/2661296openalex-snapshot
Combining Centralised and Distributed Testing
inferred← citeshttps://doi.org/10.1145/3084226.3084265openalex-snapshot
What Do We Know about Alignment of Requirements Engineering and Software Testing?
inferred← citeshttps://doi.org/10.1155/2022/3708422openalex-snapshot
Multiobjective Genetic Algorithm for Class Testing using OCL Class Contract Specifications: A Framework
inferred← citeshttps://doi.org/10.1186/2193-1801-3-754openalex-snapshot
Risk-driven security testing using risk analysis with threat modeling approach
inferred← citeshttps://doi.org/10.5120/ijca2021921221openalex-snapshot
Derivation of Impacted Areas and Generation of Test User Stories for Agile Context
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.