On the public citation graph

Controlling test case explosion in test generation from B formal models

https://doi.org/10.1002/stvr.287
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/(sici)1097-024x(199902)29:2<167::aid-spe225>3.0.co;2-vopenalex-snapshot
The dynamic domain reduction procedure for test data generation
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/(sici)1099-1689(199903)9:1<3::aid-stvr169>3.0.co;2-zopenalex-snapshot
Boundary values and automated component testing
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.232openalex-snapshot
Conditioned slicing supports partition testing
inferredcites →https://doi.org/10.1002/stvr.264openalex-snapshot
Generating test data from state‐based specifications
inferredcites →https://doi.org/10.1002/stvr.300openalex-snapshot
Preamble computation in automated test case generation using constraint logic programming
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-46002-0_14openalex-snapshot
CLPS-B—A Constraint Solver for B
inferredcites →https://doi.org/10.1007/3-540-48119-2_29openalex-snapshot
Test Criteria Definition for B Models
inferredcites →https://doi.org/10.1007/978-3-540-45236-2_42openalex-snapshot
Reification of Executable Test Scripts in Formal Specification-Based Test Generation: The Java Card Transaction Mechanism Case Study
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.1016/0308-5961(90)90020-ropenalex-snapshot
The European Telecommunications Standards Institute
inferredcites →https://doi.org/10.1016/0967-0661(96)83722-1openalex-snapshot
Black-box testing: Techniques for functional testing of software and systems
inferredcites →https://doi.org/10.1017/cbo9780511624162openalex-snapshot
The B-Book
inferredcites →https://doi.org/10.1109/ase.2001.989833openalex-snapshot
Generation of functional test sequences from B formal specifications presentation and industrial case-study
inferredcites →https://doi.org/10.1109/cmpsac.2001.960638openalex-snapshot
Formalization of software testing criteria using the Z notation
inferredcites →https://doi.org/10.1109/icfem.1997.630411openalex-snapshot
CASTING: a formally based software test generation method
inferredcites →https://doi.org/10.1109/icse.1993.346025openalex-snapshot
Test templates: a specification-based testing framework
inferredcites →https://doi.org/10.1109/ms.1996.536464openalex-snapshot
Black Box Testing: Techniques for Functional Testing of Software and Systems
inferredcites →https://doi.org/10.1109/tse.1980.234486openalex-snapshot
A Domain Strategy for Computer Program Testing
inferredcites →https://doi.org/10.1145/267580.267590openalex-snapshot
Software unit test coverage and adequacy
inferredcites →https://doi.org/10.1145/347324.349042openalex-snapshot
Black-box test reduction using input-output analysis
inferredcites →https://doi.org/10.1145/566171.566188openalex-snapshot
Dependence analysis in reduction of requirement based test suites
inferredcites →https://doi.org/10.1145/566171.566190openalex-snapshot
Generating finite state machines from abstract state machines
inferredcites →https://doi.org/10.1145/566171.566192openalex-snapshot
Projected state machine coverage for software testing
inferredcites →https://doi.org/10.1145/566172.566188openalex-snapshot
Dependence analysis in reduction of requirement based test suites
inferredcites →https://doi.org/10.1145/566172.566190openalex-snapshot
Generating finite state machines from abstract state machines
inferredcites →https://doi.org/10.1145/566172.566192openalex-snapshot
Projected state machine coverage for software testing
inferredcites →https://doi.org/10.1147/sj.411.0089openalex-snapshot
Using a model-based test generator to test for standard conformance
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.1002/stvr.300openalex-snapshot
Preamble computation in automated test case generation using constraint logic programming
inferred← citeshttps://doi.org/10.1002/stvr.431openalex-snapshot
A case study in model‐based testing of specifications and implementations
inferred← citeshttps://doi.org/10.1007/11526841_7openalex-snapshot
Symbolic Animation of JML Specifications
inferred← citeshttps://doi.org/10.1007/11759744_14openalex-snapshot
Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms
inferred← citeshttps://doi.org/10.1007/11955757_29openalex-snapshot
LEIRIOS Test Generator: Automated Test Generation from B Models
inferred← citeshttps://doi.org/10.1007/978-3-030-13651-2_1openalex-snapshot
Software Construction Monitoring and Predicting for Human-Machine Pair Programming
inferred← citeshttps://doi.org/10.1007/978-3-540-30482-1_24openalex-snapshot
Faster Analysis of Formal Specifications
inferred← citeshttps://doi.org/10.1007/978-3-540-30569-9_4openalex-snapshot
Mastering Test Generation from Smart Card Software Formal Models
inferred← citeshttps://doi.org/10.1007/978-3-540-69149-5_56openalex-snapshot
The Role of Model-Based Testing
inferred← citeshttps://doi.org/10.1007/978-3-540-73770-4_6openalex-snapshot
Automatic Testing from Formal Specifications
inferred← citeshttps://doi.org/10.1007/978-3-540-76650-6_10openalex-snapshot
Testing for Refinement in CSP
inferred← citeshttps://doi.org/10.1007/978-3-642-25789-6_64openalex-snapshot
Twice Rewritings to Reduce Test Case Generation with Model Checker
inferred← citeshttps://doi.org/10.1007/s10009-014-0316-3openalex-snapshot
Model-based test generation using extended symbolic grammars
inferred← citeshttps://doi.org/10.1007/s11334-013-0199-6openalex-snapshot
UI-design driven model-based testing
inferred← citeshttps://doi.org/10.1016/b978-012372501-1/50017-xopenalex-snapshot
Bibliography
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.ijoes.2025.101025openalex-snapshot
Electrochemical fingerprint-based method for the quality assessment of American Ginseng (Panax quinquefolius)
inferred← citeshttps://doi.org/10.1109/apsec.2004.1openalex-snapshot
A Case Study in Specification and Implementation Testing
inferred← citeshttps://doi.org/10.1109/icstw.2008.48openalex-snapshot
Theoretical Runtime Analyses of Search Algorithms on the Test Data Generation for the Triangle Classification Problem
inferred← citeshttps://doi.org/10.1109/issre.2004.12openalex-snapshot
Boundary Coverage Criteria for Test Generation from Formal Models
inferred← citeshttps://doi.org/10.1109/ssbse.2009.16openalex-snapshot
Full Theoretical Runtime Analysis of Alternating Variable Method on the Triangle Classification Problem
inferred← citeshttps://doi.org/10.1109/tse.2020.2999884openalex-snapshot
Automatic Test Case and Test Oracle Generation Based on Functional Scenarios in Formal Specifications for Conformance Testing
inferred← citeshttps://doi.org/10.1145/1082983.1083282openalex-snapshot
Requirements traceability in automated test generation
inferred← citeshttps://doi.org/10.1145/1291535.1291544openalex-snapshot
Test case generation from formal models through abstraction refinement and model checking
inferred← citeshttps://doi.org/10.1145/1734103.1734115openalex-snapshot
Testing functional requirements using B model specifications
inferred← citeshttps://doi.org/10.32782/2663-5941/2023.3.1openalex-snapshot
inferred← citeshttps://doi.org/10.32782/2663-5941/2023.3.1/30openalex-snapshot
USE OF GENETIC ALGORITHMS IN OPTIMIZINGTHE PROCESS OF FORMING COMPUTER SYSTEM SOFTWARE TEST PLANS
inferred← citeshttps://doi.org/10.4236/jsea.2008.11010openalex-snapshot
Towards Automatic Transformation from UML Model to FSM Model for Web Applications
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.