On the public citation graph

Automatic instantiation of abstract tests on specific configurations for large critical control systems

https://doi.org/10.1002/stvr.389
0 signed · 27 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/0471028959openalex-snapshot
Encyclopedia of Software Engineering
inferredcites →https://doi.org/10.1002/stvr.217openalex-snapshot
Statechart testing method for aircraft control systems
inferredcites →https://doi.org/10.1002/stvr.264openalex-snapshot
Generating test data from state‐based specifications
inferredcites →https://doi.org/10.1002/stvr.4370030304openalex-snapshot
An integrated methodology for the specification, verification and testing of systems
inferredcites →https://doi.org/10.1002/stvr.4370050304openalex-snapshot
Systematic testing: A means for validating reactive systems
inferredcites →https://doi.org/10.1007/11408901_23openalex-snapshot
A Grey-Box Approach to the Functional Testing of Complex Automatic Train Protection Systems
inferredcites →https://doi.org/10.1007/11580850openalex-snapshot
Trustworthy global computing : International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005 : revised selected papers
inferredcites →https://doi.org/10.1007/3-540-36135-9_7openalex-snapshot
System Test Synthesis from UML Models of Distributed Software
inferredcites →https://doi.org/10.1007/s001650050022openalex-snapshot
Formal Verification of a Railway Interlocking System using Model Checking
inferredcites →https://doi.org/10.1109/32.940728openalex-snapshot
Formal analysis of a space-craft controller using SPIN
inferredcites →https://doi.org/10.1109/9.250558openalex-snapshot
Control of discrete event systems modeled as hierarchical state machines
inferredcites →https://doi.org/10.1109/cca.2000.897591openalex-snapshot
Modeling of discrete event systems using finite state machines with parameters
inferredcites →https://doi.org/10.1109/depcos-relcomex.2006.55openalex-snapshot
UML Based Reverse Engineering for the Verification of Railway Control Logics
inferredcites →https://doi.org/10.1109/ftcs.1997.614112openalex-snapshot
Experimental evaluation of computer-based railway control systems
inferredcites →https://doi.org/10.1109/hase.2005.24openalex-snapshot
The Simulation of Anomalies in the Functional Testing of the ERTMS/ETCS Trackside System
inferredcites →https://doi.org/10.1109/reldis.2003.1238078openalex-snapshot
Hazard analysis of complex distributed railway systems
inferredcites →https://doi.org/10.25405/ncl.34123050openalex-snapshot
Formal Methods: State of the Art and Future Directions

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-031-05814-1_14openalex-snapshot
A Vision of Intelligent Train Control
inferred← citeshttps://doi.org/10.1007/978-3-540-88181-0_12openalex-snapshot
Wireless Sensor Data Fusion for Critical Infrastructure Security
inferred← citeshttps://doi.org/10.1007/978-3-642-34032-1_23openalex-snapshot
Improving Verification Process in Driverless Metro Systems: The MBAT Project
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.1007/s10669-022-09859-xopenalex-snapshot
Using log analytics and process mining to enable self-healing in the Internet of Things
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.future.2019.09.004openalex-snapshot
Smart-troubleshooting connected devices: Concept, challenges and opportunities
inferred← citeshttps://doi.org/10.1016/j.promfg.2018.03.144openalex-snapshot
Digitising the European industry - holonic systems approach
inferred← citeshttps://doi.org/10.1109/icma69663.2026.11647535openalex-snapshot
Automated Channel Testing System for Process Control Systems on Offshore Platforms-Design, Implementation, and Performance Evaluation
inferred← citeshttps://doi.org/10.1109/tits.2020.2993794openalex-snapshot
Automatic Generation of Route Control Chart From Validated Signal Interlocking Plan
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.