On the public citation graph

Fundamental issues in testing distributed real-time systems

https://doi.org/10.1007/bf01088802
0 signed · 109 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/spe.4380030206openalex-snapshot
Testing a multiprogramming system
inferredcites →https://doi.org/10.1002/spe.4380080607openalex-snapshot
Reproducible testing of monitors
inferredcites →https://doi.org/10.1002/spe.4380150603openalex-snapshot
A debugger for concurrent programs
inferredcites →https://doi.org/10.1002/spe.4380160304openalex-snapshot
A probe effect in concurrent programs
inferredcites →https://doi.org/10.1002/spe.4380221005openalex-snapshot
Monitoring and debugging distributed realtime programs
inferredcites →https://doi.org/10.1007/3540547428_48openalex-snapshot
An engineering approach to hard real-time system design
inferredcites →https://doi.org/10.1007/978-1-4612-5983-1openalex-snapshot
The Science of Programming
inferredcites →https://doi.org/10.1007/978-1-4899-2957-0openalex-snapshot
Software Design for Real-time Systems
inferredcites →https://doi.org/10.1007/978-3-7091-9170-5openalex-snapshot
Dependability: Basic Concepts and Terminology
inferredcites →https://doi.org/10.1007/b102510openalex-snapshot
The Testability of Distributed Real-Time Systems
inferredcites →https://doi.org/10.1016/0377-2217(83)90106-6openalex-snapshot
Progress in modelling and simulation
inferredcites →https://doi.org/10.1016/b978-0-08-040953-5.50016-7openalex-snapshot
THE ELEKTRA TESTBED: ARCHITECTURE OF A REAL-TIME TEST ENVIRONMENT FOR HIGH SAFETY AND RELIABILITY REQUIREMENTS
inferredcites →https://doi.org/10.1016/b978-0-408-03741-9.50028-3openalex-snapshot
Software testing techniques
inferredcites →https://doi.org/10.1016/s1474-6670(17)51811-xopenalex-snapshot
Fault Tolerance in Real-time Systems
inferredcites →https://doi.org/10.1016/s1474-6670(17)52178-3openalex-snapshot
The ELEKTRA Testbed: Architecture of a Real-time Test Environment for High Safety and Reliability Requirements
inferredcites →https://doi.org/10.1016/s1474-6670(17)52798-6openalex-snapshot
An Effective Strategy and Automation Concepts for Systematic Testing of Safety Related Software
inferredcites →https://doi.org/10.1049/sej.1989.0012openalex-snapshot
Testing in the program development cycle
inferredcites →https://doi.org/10.1049/sej.1991.0009openalex-snapshot
Editorial: Real-time software
inferredcites →https://doi.org/10.1109/2.59openalex-snapshot
A spiral model of software development and enhancement
inferredcites →https://doi.org/10.1109/2.7053openalex-snapshot
Misconceptions about real-time computing: a serious problem for next-generation systems
inferredcites →https://doi.org/10.1109/32.57626openalex-snapshot
A noninterference monitoring and replay mechanism for real-time software testing and debugging
inferredcites →https://doi.org/10.1109/32.67578openalex-snapshot
Debugging concurrent Ada programs by deterministic execution
inferredcites →https://doi.org/10.1109/40.16792openalex-snapshot
Distributed fault-tolerant real-time systems: the Mars approach
inferredcites →https://doi.org/10.1109/52.156895openalex-snapshot
Developing real-time tasks with predictable timing
inferredcites →https://doi.org/10.1109/52.156898openalex-snapshot
A distributed real-time operating system
inferredcites →https://doi.org/10.1109/52.28119openalex-snapshot
Software verification and validation: an overview
inferredcites →https://doi.org/10.1109/52.28122openalex-snapshot
V&V of flight and mission-critical software
inferredcites →https://doi.org/10.1109/52.55223openalex-snapshot
Performance tools
inferredcites →https://doi.org/10.1109/52.55228openalex-snapshot
Testing tools (software)
inferredcites →https://doi.org/10.1109/71.149962openalex-snapshot
Performance measurement intrusion and perturbation analysis
inferredcites →https://doi.org/10.1109/c-m.1978.218132openalex-snapshot
Tutorial: Static Analysis and Dynamic Testing of Computer Software
inferredcites →https://doi.org/10.1109/cmpeur.1990.113604openalex-snapshot
A test strategy for the distributed real-time system MARS
inferredcites →https://doi.org/10.1109/cmpsac.1989.65061openalex-snapshot
A model for monitoring and debugging parallel and distributed software
inferredcites →https://doi.org/10.1109/cmpsac.1989.65064openalex-snapshot
Deterministic execution debugging of concurrent Ada programs
inferredcites →https://doi.org/10.1109/ftdcs.1992.217509openalex-snapshot
EREBUS: a debugger for asynchronous distributed computing systems
inferredcites →https://doi.org/10.1109/mc.1982.1653943openalex-snapshot
Life-Cycle Software Validation
inferredcites →https://doi.org/10.1109/reldis.1991.145404openalex-snapshot
On the testability of distributed real-time systems
inferredcites →https://doi.org/10.1109/tse.1984.5010224openalex-snapshot
Debugging a Distributed Computing System
inferredcites →https://doi.org/10.1109/tse.1984.5010304openalex-snapshot
Real-Time Execution Monitoring
inferredcites →https://doi.org/10.1109/tse.1986.6312976openalex-snapshot
Advances in software inspections
inferredcites →https://doi.org/10.1109/wst.1988.5362openalex-snapshot
A formal framework for the study of concurrent program testing
inferredcites →https://doi.org/10.1145/1006140.1006179openalex-snapshot
A real-time microprocessor debugging technique
inferredcites →https://doi.org/10.1145/1006142.1006179openalex-snapshot
A real-time microprocessor debugging technique
inferredcites →https://doi.org/10.1145/1006258.1006260openalex-snapshot
Rapid prototyping workshop
inferredcites →https://doi.org/10.1145/1010891.1010897openalex-snapshot
B. W. Boehm software engineering economics
inferredcites →https://doi.org/10.1145/122759.122775openalex-snapshot
The flight recorder
inferredcites →https://doi.org/10.1145/127695.122775openalex-snapshot
The flight recorder
inferredcites →https://doi.org/10.1145/214451.214456openalex-snapshot
Distributed snapshots
inferredcites →https://doi.org/10.1145/3335772.3335934openalex-snapshot
Time, clocks, and the ordering of events in a distributed system
inferredcites →https://doi.org/10.1145/356876.356879openalex-snapshot
Validation, Verification, and Testing of Computer Software
inferredcites →https://doi.org/10.1145/358855.358857openalex-snapshot
Real-time
inferredcites →https://doi.org/10.1145/359545.359563openalex-snapshot
Time, clocks, and the ordering of events in a distributed system
inferredcites →https://doi.org/10.1145/382248.382815openalex-snapshot
Applying direct manipulation concepts
inferredcites →https://doi.org/10.1145/6138.6150openalex-snapshot
Software development of real-time systems
inferredcites →https://doi.org/10.1145/62959.62965openalex-snapshot
The growth of software testing
inferredcites →https://doi.org/10.1145/68210.69222openalex-snapshot
A real-time monitor for a distributed real-time operating system
inferredcites →https://doi.org/10.1145/69215.69222openalex-snapshot
A real-time monitor for a distributed real-time operating system
inferredcites →https://doi.org/10.1145/76894.76897openalex-snapshot
Debugging concurrent programs
inferredcites →https://doi.org/10.1145/78973.78974openalex-snapshot
Evaluation of safety-critical software
inferredcites →https://doi.org/10.1147/sj.153.0182openalex-snapshot
Design and code inspections to reduce errors in program development
inferredcites →https://doi.org/10.1201/9781420048131.axhopenalex-snapshot
Software Testing Techniques
inferredcites →https://doi.org/10.5860/choice.26-1562openalex-snapshot
Designing large real-time systems with Ada
inferredcites →https://doi.org/10.7551/mitpress/4317.001.0001openalex-snapshot
Logic Testing and Design for Testability

What points at this work

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

inferred← citeshttps://doi.org/10.1002/cpe.3803openalex-snapshot
On designing and testing distributed virtual environments
inferred← citeshttps://doi.org/10.1007/0-306-46988-x_13openalex-snapshot
Reactive Mechanisms
inferred← citeshttps://doi.org/10.1007/978-1-4615-6161-3_18openalex-snapshot
Refining Timing Constraints of Applications in Deeds
inferred← citeshttps://doi.org/10.1007/bf01351921openalex-snapshot
A non-invasive object-oriented tool for software testing
inferred← citeshttps://doi.org/10.1016/j.entcs.2006.10.010openalex-snapshot
Test Case Generation for Mutation-based Testing of Timeliness
inferred← citeshttps://doi.org/10.1016/j.jss.2004.12.018openalex-snapshot
An approach to feature location in distributed systems
inferred← citeshttps://doi.org/10.1016/s0019-0578(00)00029-xopenalex-snapshot
Soft-testing of industrial control systems programmed in IEC 1131-3 languages
inferred← citeshttps://doi.org/10.1016/s0141-9331(00)00099-5openalex-snapshot
Testing distributed real-time systems
inferred← citeshttps://doi.org/10.1023/a:1008874328893openalex-snapshot
Performance Monitoring and Assessment of Embedded HW/SW Systems
inferred← citeshttps://doi.org/10.1023/a:1011235419951openalex-snapshot
Automatic Real-Time Analysis of Reactive Systems with the PARTS Toolset
inferred← citeshttps://doi.org/10.1063/pt.5.7124openalex-snapshot
Quantitative causality
inferred← citeshttps://doi.org/10.1109/access.2026.3737578openalex-snapshot
Dependency Analysis of the Extra-Functional Properties of the Time-Triggered Architecture
inferred← citeshttps://doi.org/10.1109/ast.2007.5openalex-snapshot
Automated Testing of Timeliness : A Case Study
inferred← citeshttps://doi.org/10.1109/dsn-w.2019.00025openalex-snapshot
Enabling Security Checking of Automotive ECUs with Formal CSP Models
inferred← citeshttps://doi.org/10.1109/ecbs.2007.38openalex-snapshot
Evaluating the Quality of Models Extracted from Embedded Real-Time Software
inferred← citeshttps://doi.org/10.1109/emrts.2000.854015openalex-snapshot
Using deterministic replay for debugging of distributed real-time systems
inferred← citeshttps://doi.org/10.1109/glocom.1998.776607openalex-snapshot
SROS: a dynamically-scalable distributed real-time operating system for ATM switching network
inferred← citeshttps://doi.org/10.1109/iccaie.2011.6162106openalex-snapshot
Flexible integration testing of automotive ECUs by combining AUTOSAR and XCP
inferred← citeshttps://doi.org/10.1109/icccyb.2004.1437695openalex-snapshot
Monitoring data types in distributed real-time systems
inferred← citeshttps://doi.org/10.1109/iccd.1995.528790openalex-snapshot
Performance assessment of embedded Hw/Sw systems
inferred← citeshttps://doi.org/10.1109/icct.1996.545164openalex-snapshot
A cross debugging architecture for switching software
inferred← citeshttps://doi.org/10.1109/icsew.2007.57openalex-snapshot
Automated Testing of Timeliness: A Case Study
inferred← citeshttps://doi.org/10.1109/icstw.2008.13openalex-snapshot
Constraint-based Evolutionary Testing of Autonomous Distributed Systems
inferred← citeshttps://doi.org/10.1109/ipdps.2003.1213515openalex-snapshot
Replay debugging of real-time systems using time machines
inferred← citeshttps://doi.org/10.1109/ipdps.2008.4536552openalex-snapshot
Agent multiplication: An economical large-scale testing environment for system management solutions
inferred← citeshttps://doi.org/10.1109/issre.2001.989475openalex-snapshot
Toward generic timing tests for distributed multimedia software systems
inferred← citeshttps://doi.org/10.1109/real.1999.818863openalex-snapshot
Towards systematic testing of distributed real-time systems
inferred← citeshttps://doi.org/10.1109/rtcsa.1999.811227openalex-snapshot
Bounds on test effort for event-triggered real-time systems
inferred← citeshttps://doi.org/10.1109/rtcsa.1999.811297openalex-snapshot
Handling interrupts in testing of distributed real-time systems
inferred← citeshttps://doi.org/10.1109/seaa.2015.47openalex-snapshot
Testability and Software Robustness: A Systematic Literature Review
inferred← citeshttps://doi.org/10.1109/tii.2008.2002704openalex-snapshot
Towards a Systematic Test for Embedded Automotive Communication Systems
inferred← citeshttps://doi.org/10.1109/tr.2004.833314openalex-snapshot
Applying Generic Timing Tests for Distributed Multimedia Software Systems
inferred← citeshttps://doi.org/10.1109/wfcs.2006.1704122openalex-snapshot
Pushing the limits of remote online diagnosis in flexray-based networks
inferred← citeshttps://doi.org/10.1145/1121788.1121798openalex-snapshot
Regression testing of multi-tasking real-time systems
inferred← citeshttps://doi.org/10.1145/1147249.1147253openalex-snapshot
Architecture-driven platform independent deterministic replay for distributed hard real-time systems
inferred← citeshttps://doi.org/10.1145/1967677.1967693openalex-snapshot
Software debugging and testing using the abstract diagnosis theory
inferred← citeshttps://doi.org/10.1145/2016603.1967693openalex-snapshot
Software debugging and testing using the abstract diagnosis theory
inferred← citeshttps://doi.org/10.1145/2851613.2851978openalex-snapshot
Testability and software performance
inferred← citeshttps://doi.org/10.1145/3057269openalex-snapshot
Effective Regression Test Case Selection
inferred← citeshttps://doi.org/10.1145/3359591.3359733openalex-snapshot
GoTcha: an interactive debugger for GoT-based distributed systems
inferred← citeshttps://doi.org/10.1145/381854.381881openalex-snapshot
DeeDS towards a distributed and active real-time database system
inferred← citeshttps://doi.org/10.1145/507546.507600openalex-snapshot
Dynamic analysis for locating product features in Ada code
inferred← citeshttps://doi.org/10.1145/507574.507600openalex-snapshot
Dynamic analysis for locating product features in Ada code
inferred← citeshttps://doi.org/10.1201/9781420036336.ch81openalex-snapshot
Real-Time Systems
inferred← citeshttps://doi.org/10.20868/upm.thesis.9813openalex-snapshot
Aportación al diseño de aplicaciones de tiempo real sobre arquitecturas paralelas
inferred← citeshttps://doi.org/10.22215/etd/2017-12062openalex-snapshot
Towards Efficient Instrumentation for Reverse-Engineering Object Oriented Software through Static and Dynamic Analyses
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.