On the public citation graph
Preamble computation in automated test case generation using constraint logic programming
0 signed · 41 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.
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.
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/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.1007/3-540-44525-0_24openalex-snapshot
A Computation Model for Z Based on Concurrent Constraint Resolution
inferredcites →https://doi.org/10.1007/3-540-44957-4_27openalex-snapshot
A CLP Framework for Computing Structural Test Data
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/bf00137870openalex-snapshot
Interval propagation to reason about sets: Definition and implementation of a practical language
inferredcites →https://doi.org/10.1007/bf00402650openalex-snapshot
Using formal specifications to support 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.1007/s10009-003-0123-8openalex-snapshot
CLPS–B – A constraint solver to animate a B specification
inferredcites →https://doi.org/10.1016/c2013-0-07627-xopenalex-snapshot
Foundations of Constraint Satisfaction
inferredcites →https://doi.org/10.1016/s0950-5849(00)00145-2openalex-snapshot
Testing a system specified using Statecharts and Z
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/icfem.1997.630411openalex-snapshot
CASTING: a formally based software test generation method
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/spe.597openalex-snapshot
Generation of test sequences from formal specifications: GSM 11‐11 standard case study
inferred← citeshttps://doi.org/10.1002/stvr.1467openalex-snapshot
Scenario‐based testing using symbolic animation of B models
inferred← citeshttps://doi.org/10.1002/stvr.287openalex-snapshot
Controlling test case explosion in test generation from B formal models
inferred← citeshttps://doi.org/10.1002/stvr.456openalex-snapshot
A taxonomy of model‐based testing approaches
inferred← citeshttps://doi.org/10.1007/11813040_29openalex-snapshot
Automated Boundary Test Generation from JML Specifications
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-73770-4_6openalex-snapshot
Automatic Testing from Formal Specifications
inferred← citeshttps://doi.org/10.1007/s00165-009-0132-9openalex-snapshot
Generating tests from B specifications and dynamic selection criteria
inferred← citeshttps://doi.org/10.1007/s00500-021-06476-9openalex-snapshot
Using Bayesian optimization algorithm for model-based integration testing
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.jss.2007.05.039openalex-snapshot
A search-based framework for automatic testing of MATLAB/Simulink models
inferred← citeshttps://doi.org/10.1016/j.scico.2018.04.005openalex-snapshot
FBDTester 2.0: Automated test sequence generation for FBD programs with internal memory states
inferred← citeshttps://doi.org/10.1109/issre.2004.12openalex-snapshot
Boundary Coverage Criteria for Test Generation from Formal Models
inferred← citeshttps://doi.org/10.1145/1291535.1291537openalex-snapshot
Automatic generation of model based tests for a class of security properties
inferred← citeshttps://doi.org/10.1145/1596527.1596528openalex-snapshot
Dependence clusters in source code
inferred← citeshttps://doi.org/10.1145/3382494.3410674openalex-snapshot
Understanding The Impact of Solver Choice in Model-Based Test Generation
inferred← citeshttps://doi.org/10.1201/b11321openalex-snapshot
Model-Based Testing for Embedded Systems
inferred← citeshttps://doi.org/10.34218/ijitmis_14_02_011openalex-snapshot
TEST DATA MANAGEMENT LIBRARIES FOR DYNAMIC DATA INJECTION
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.