On the public citation graph
Automating formal specification-based testing
0 signed · 52 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/j.2334-5837.1995.tb01957.xopenalex-snapshot
6.4.1 Industrialization Of Formal Methods Through Process Definition
inferredcites →https://doi.org/10.1002/j.2334-5837.1996.tb02040.xopenalex-snapshot
GENERATING TEST CASES FROM FORMAL SPECIFICATIONS
inferredcites →https://doi.org/10.1007/3-540-58450-1_49openalex-snapshot
S: A machine readable specification notation based on higher order logic
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/bfb0027233openalex-snapshot
A steam-boiler control specification with statecharts and Z
inferredcites →https://doi.org/10.1007/bfb0027248openalex-snapshot
VDM specification of the steam-boiler control using RSL notation
inferredcites →https://doi.org/10.1007/bfb0027252openalex-snapshot
Steam-boiler control specification problem
inferredcites →https://doi.org/10.1049/sej.1991.0040openalex-snapshot
Software testing based on formal specifications: a theory and a tool
inferredcites →https://doi.org/10.1109/tc.1986.1676819openalex-snapshot
Graph-Based Algorithms for Boolean Function Manipulation
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/9780470050118.ecse403openalex-snapshot
Software Testing: Testing New Software Paradigms and New Artifacts
inferred← citeshttps://doi.org/10.1002/j.2334-5837.1998.tb00024.xopenalex-snapshot
5.1.4 Applying an Automated Test Description Tool to Testing Based on System Level Requirements
inferred← citeshttps://doi.org/10.1002/j.2334-5837.1998.tb00055.xopenalex-snapshot
3.3.4 Practical Experience Applying Formal Methods to Air Traffic Management Software
inferred← citeshttps://doi.org/10.1002/stvr.210openalex-snapshot
A rigorous method for test templates generation from object‐oriented specifications
inferred← citeshttps://doi.org/10.1002/stvr.223openalex-snapshot
Teaching formal methods lite via testing
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/3-540-48249-0_22openalex-snapshot
Automated Black-Box Testing with Abstract VDM Oracle
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-319-90104-6_11openalex-snapshot
A Software Tool to Support the “Vibration’’ Method
inferred← citeshttps://doi.org/10.1007/978-3-642-10373-5_5openalex-snapshot
An Empirical Study of Structural Constraint Solving Techniques
inferred← citeshttps://doi.org/10.1007/bfb0028383openalex-snapshot
Executing formal specifications by translation to higher order logic programming
inferred← citeshttps://doi.org/10.1016/j.jss.2007.05.009openalex-snapshot
Automated generation of test suites from formal specifications of real-time reactive systems
inferred← citeshttps://doi.org/10.1023/b:ause.0000038938.10589.b9openalex-snapshot
TestEra: Specification-Based Testing of Java Programs Using SAT
inferred← citeshttps://doi.org/10.1109/access.2017.2714098openalex-snapshot
A Multilayer Approach to Commercial Computer Networks Testing
inferred← citeshttps://doi.org/10.1109/apsec.2001.991479openalex-snapshot
A rigorous method for testing real-time reactive systems
inferred← citeshttps://doi.org/10.1109/apsec.2011.16openalex-snapshot
A "Vibration" Method for Automatically Generating Test Cases Based on Formal Specifications
inferred← citeshttps://doi.org/10.1109/ase.1998.732614openalex-snapshot
Testing using log file analysis: tools, methods, and issues
inferred← citeshttps://doi.org/10.1109/ase.2001.989822openalex-snapshot
Tracing execution of software for design coverage
inferred← citeshttps://doi.org/10.1109/ase.2004.1342747openalex-snapshot
Heuristic search with reachability tests for automated generation of test programs
inferred← citeshttps://doi.org/10.1109/ase.2004.41openalex-snapshot
Heuristic search with reachability tests for automated generation of test programs
inferred← citeshttps://doi.org/10.1109/autotestcon43700.2019.8961892openalex-snapshot
Automating Detection of Security-Related Software Engineering Failures
inferred← citeshttps://doi.org/10.1109/hase.2008.15openalex-snapshot
Automated Generation of Test Cases from Contract-Oriented Specifications: A CSP-Based Approach
inferred← citeshttps://doi.org/10.1109/iceccs.2002.1181506openalex-snapshot
Interclass testing of object oriented software
inferred← citeshttps://doi.org/10.1109/icet.2010.5638471openalex-snapshot
Automated generation of finite state machine from object-oriented formal specifications
inferred← citeshttps://doi.org/10.1109/icse.2003.1201188openalex-snapshot
Improving test suites via operational abstraction
inferred← citeshttps://doi.org/10.1109/icse.2004.1317432openalex-snapshot
Automated generation of test programs from closed specifications of classes and test cases
inferred← citeshttps://doi.org/10.1109/icstw.2011.45openalex-snapshot
Utilizing Model Checking for Automatic Test Case Generation from Conjunctions of Predicates
inferred← citeshttps://doi.org/10.1109/qrs.2018.00019openalex-snapshot
TBFV-SE: Testing-Based Formal Verification with Symbolic Execution
inferred← citeshttps://doi.org/10.1109/ssiri.2010.11openalex-snapshot
A Decompositional Approach to Automatic Test Case Generation Based on Formal Specifications
inferred← citeshttps://doi.org/10.1109/tse.2003.1214327openalex-snapshot
General test result checking with log file analysis
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/1007512.1007526openalex-snapshot
Test input generation with java PathFinder
inferred← citeshttps://doi.org/10.1145/581690.581696openalex-snapshot
Testing monadic code with QuickCheck
inferred← citeshttps://doi.org/10.1145/636517.636527openalex-snapshot
Testing monadic code with QuickCheck
inferred← citeshttps://doi.org/10.14236/ewic/nfm1998.12openalex-snapshot
Extending the Test Template Framework
inferred← citeshttps://doi.org/10.23919/cje.2014.10851875openalex-snapshot
Test Case Generation from Conjunctions of Predicates with Model Checking
inferred← citeshttps://doi.org/10.2991/msota-16.2016.11openalex-snapshot
Research on Real-Time Testing Modeling Based on RTCM Approach
inferred← citeshttps://doi.org/10.3233/978-1-60750-629-4-383openalex-snapshot
Automatic Transformation from Formal Specifications to Functional Scenario Forms for Automatic Test Case Generation
inferred← citeshttps://doi.org/10.5121/csit.2022.1207openalex-snapshot
Data Mining and Machine Learning
inferred← citeshttps://doi.org/10.5121/csit.2022.120704openalex-snapshot
The Impact of using a Contract-Driven, Test-Interceptor based Software Development Approach
inferred← citeshttps://doi.org/10.5555/776816.776824openalex-snapshot
Improving test suites via operational abstraction
inferred← citeshttps://doi.org/10.5555/998675.999416openalex-snapshot
Automated generation of test programs from closed specifications of classes and test cases
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.