On the public citation graph

Using formal specifications to support software testing

https://doi.org/10.1007/bf00402650
0 signed · 37 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.4370030203openalex-snapshot
Classification trees for partition testing
inferredcites →https://doi.org/10.1007/3-540-50214-9_16openalex-snapshot
Test case selection using VDM
inferredcites →https://doi.org/10.1007/3-540-60271-2_118openalex-snapshot
Improving software tests using Z Specifications
inferredcites →https://doi.org/10.1007/3-540-60271-2_119openalex-snapshot
Compilation of Z specifications into C for automatic test result evaluation
inferredcites →https://doi.org/10.1007/978-1-4471-3452-7_4openalex-snapshot
A tale of two paradigms: Formal methods and software testing
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.1145/151257.151258openalex-snapshot
Experimental results from an automatic test case generator

What points at this work

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

inferred← citeshttps://doi.org/10.1002/spe.597openalex-snapshot
Generation of test sequences from formal specifications: GSM 11‐11 standard case study
inferred← citeshttps://doi.org/10.1002/stvr.1477openalex-snapshot
Tool support for the Test Template Framework
inferred← citeshttps://doi.org/10.1002/stvr.300openalex-snapshot
Preamble computation in automated test case generation using constraint logic programming
inferred← citeshttps://doi.org/10.1007/3-540-45648-1_16openalex-snapshot
A Comparison of the BTT and TTF Test-Generation Methods
inferred← citeshttps://doi.org/10.1007/978-0-387-35175-9_113openalex-snapshot
Specification-Based Testing of Interactive Systems
inferred← citeshttps://doi.org/10.1007/978-0-585-27524-6_4openalex-snapshot
A Pragmatic Approach to Formal Specification
inferred← citeshttps://doi.org/10.1007/978-3-031-40132-9_3openalex-snapshot
Implementation Relations for Distributed Testing
inferred← citeshttps://doi.org/10.1007/978-3-540-75221-9_12openalex-snapshot
Specification for Testing
inferred← citeshttps://doi.org/10.1007/978-3-642-10373-5_9openalex-snapshot
Implementing and Applying the Stocks-Carrington Framework for Model-Based Testing
inferred← citeshttps://doi.org/10.1007/978-3-642-24559-6_40openalex-snapshot
A Language for Test Case Refinement in the Test Template Framework
inferred← citeshttps://doi.org/10.1007/978-3-642-30885-7_20openalex-snapshot
Extending the Test Template Framework to Deal with Axiomatic Descriptions, Quantifiers and Set Comprehensions
inferred← citeshttps://doi.org/10.1007/978-981-16-8484-5_39openalex-snapshot
Program Synthesis—A Survey
inferred← citeshttps://doi.org/10.1007/bf01211297openalex-snapshot
Limits of formal methods
inferred← citeshttps://doi.org/10.1007/bfb0053368openalex-snapshot
Test case preparation using a prototype
inferred← citeshttps://doi.org/10.1007/s10009-003-0123-8openalex-snapshot
CLPS–B – A constraint solver to animate a B specification
inferred← citeshttps://doi.org/10.1016/bs.adcom.2015.03.003openalex-snapshot
A Research Overview of Tool-Supported Model-based Testing of Requirements-based Designs
inferred← citeshttps://doi.org/10.1016/s0950-5849(00)00145-2openalex-snapshot
Testing a system specified using Statecharts and Z
inferred← citeshttps://doi.org/10.1023/a:1018535229843openalex-snapshot
FAST: a framework for automating statistics-based testing
inferred← citeshttps://doi.org/10.1109/32.553698openalex-snapshot
A framework for specification-based testing
inferred← citeshttps://doi.org/10.1109/aswec.1997.623757openalex-snapshot
Extending test templates with inheritance
inferred← citeshttps://doi.org/10.1109/iceccs.2000.873941openalex-snapshot
A test class framework for generating test cases from Z specifications
inferred← citeshttps://doi.org/10.1109/icfem.1997.630406openalex-snapshot
Test case design based on Z and the classification-tree method
inferred← citeshttps://doi.org/10.1109/tools.1999.809428openalex-snapshot
TinMan-a test derivation and management tool for specification-based class testing
inferred← citeshttps://doi.org/10.1145/1151695.1151696openalex-snapshot
Avoiding coincidental correctness in boundary value analysis
inferred← citeshttps://doi.org/10.1145/1459352.1459354openalex-snapshot
Using formal specifications to support testing
inferred← citeshttps://doi.org/10.1145/270974.270978openalex-snapshot
User interface correctness
inferred← citeshttps://doi.org/10.14236/ewic/nfm1998.12openalex-snapshot
Extending the Test Template Framework
inferred← citeshttps://doi.org/10.22456/2175-2745.52511openalex-snapshot
Coverage Criteria for Set-Based Specifications
inferred← citeshttps://doi.org/10.25405/ncl.34128822openalex-snapshot
An Integrated Test Environment for Distributed Applications
inferred← citeshttps://doi.org/10.70675/b9e60d5ez93cfz4bbcza224z2accf1ce1154openalex-snapshot
Fastest : improving and supporting the Test Template Framework
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.