On the public citation graph
Trace analysis for conformance and arbitration testing
0 signed · 69 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/spe.4380180406openalex-snapshot
An interpreter for LOTOS, a specification language for distributed systems
inferredcites →https://doi.org/10.1016/0164-1212(83)90018-3openalex-snapshot
An approach to testing specifications
inferredcites →https://doi.org/10.1016/0169-7552(90)90132-copenalex-snapshot
Protocol specification for OSI
inferredcites →https://doi.org/10.1016/0376-5075(82)90110-6openalex-snapshot
A system for testing protocol implementations
inferredcites →https://doi.org/10.1109/ftcsh.1995.532616openalex-snapshot
OBSERVER A CONCEPT FOR ON-LINE DETECTION OF CONTROL ERRORS IN CONCURRENT SYSTEMS
inferredcites →https://doi.org/10.1109/tcom.1984.1096074openalex-snapshot
Synchronization and Specification Issues in Protocol Testing
inferredcites →https://doi.org/10.1109/tse.1984.5010246openalex-snapshot
Protocol Verification via Projections
inferredcites →https://doi.org/10.1109/tse.1987.233197openalex-snapshot
A Test Design Methodology for Protocol Testing
inferredcites →https://doi.org/10.1109/tse.1987.233521openalex-snapshot
Semiautomatic Implementation of Communication Protocols
inferredcites →https://doi.org/10.1145/357195.357196openalex-snapshot
On the Construction of Submodule Specifications and Communication Protocols
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/639624.802072openalex-snapshot
Automated testing of protocol specifications and their implementations
inferredcites →https://doi.org/10.1145/800056.802072openalex-snapshot
Automated testing of protocol specifications and their implementations
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/0-306-47003-9_4openalex-snapshot
Towards a Formal Framework for Interoperability Testing
inferred← citeshttps://doi.org/10.1007/978-0-387-34883-4_14openalex-snapshot
A Generalization of the multiple UIO method of test sequence selection for protocols represented in FSM
inferred← citeshttps://doi.org/10.1007/978-0-387-34883-4_6openalex-snapshot
Selecting Test Sequences for Partially-Specified Nondeterministic Finite State Machines
inferred← citeshttps://doi.org/10.1007/978-3-540-73066-8_5openalex-snapshot
A New Method for Interoperability Test Generation
inferred← citeshttps://doi.org/10.1007/978-3-540-79707-4_17openalex-snapshot
Automatic Interoperability Test Case Generation Based on Formal Definitions
inferred← citeshttps://doi.org/10.1007/bf02454224openalex-snapshot
Deductive program verification (a practitioner's commentary)
inferred← citeshttps://doi.org/10.1007/bf02943576openalex-snapshot
Generating conformance tests for nondeterministic protocol machines
inferred← citeshttps://doi.org/10.1007/s10009-009-0103-8openalex-snapshot
Formalizing interoperability for test case generation purpose
inferred← citeshttps://doi.org/10.1007/s11334-013-0214-yopenalex-snapshot
Software health management with Bayesian networks
inferred← citeshttps://doi.org/10.1016/0140-3664(92)90076-qopenalex-snapshot
Multi-party and interoperability testing using the Ferry Clip approach
inferred← citeshttps://doi.org/10.1016/0164-1212(96)00024-6openalex-snapshot
Testing abstract distributed programs and their implementations: A constraint-based approach
inferred← citeshttps://doi.org/10.1016/0169-7552(89)90004-4openalex-snapshot
Conformance testing: Architectures and test sequences
inferred← citeshttps://doi.org/10.1016/0169-7552(90)90132-copenalex-snapshot
Protocol specification for OSI
inferred← citeshttps://doi.org/10.1016/0920-5489(91)90046-3openalex-snapshot
The relationship between conformance testing of and interoperability between OSI systems
inferred← citeshttps://doi.org/10.1016/0950-5849(95)98037-gopenalex-snapshot
Validation-directed specification of communications systems
inferred← citeshttps://doi.org/10.1016/b978-0-444-89402-1.50036-9openalex-snapshot
Protocol Trace Analysis based on Formal Specifications
inferred← citeshttps://doi.org/10.1016/s0169-7552(98)00013-0openalex-snapshot
Synchronizable test sequences of finite state machines
inferred← citeshttps://doi.org/10.1016/s0950-5849(99)00039-7openalex-snapshot
Passive testing and application to the GSM-MAP protocol
inferred← citeshttps://doi.org/10.1016/s1389-1286(99)00063-8openalex-snapshot
Test development for communication protocols: towards automation
inferred← citeshttps://doi.org/10.1109/12.844345openalex-snapshot
A matroid-theoretic solution to an assignment problem in the conformance testing of communication protocols
inferred← citeshttps://doi.org/10.1109/32.265636openalex-snapshot
Test selection based on communicating nondeterministic finite-state machines using a generalized Wp-method
inferred← citeshttps://doi.org/10.1109/32.689403openalex-snapshot
Use of sequencing constraints for specification-based testing of concurrent programs
inferred← citeshttps://doi.org/10.1109/32.7630openalex-snapshot
Delay-independent design for distributed systems
inferred← citeshttps://doi.org/10.1109/32.87284openalex-snapshot
Test selection based on finite state models
inferred← citeshttps://doi.org/10.1109/32.988495openalex-snapshot
Verisim: formal analysis of network simulations
inferred← citeshttps://doi.org/10.1109/5.533956openalex-snapshot
Principles and methods of testing finite state machines-a survey
inferred← citeshttps://doi.org/10.1109/acsc.2001.906627openalex-snapshot
Systematically deriving partial oracles for testing concurrent programs
inferred← citeshttps://doi.org/10.1109/apsec.1995.496973openalex-snapshot
Test suite generation methods for concurrent systems based on coloured Petri nets
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/asset.1998.688238openalex-snapshot
Observation inaccuracy in conformance testing with multiple testers
inferred← citeshttps://doi.org/10.1109/icse.2000.870402openalex-snapshot
Broad-spectrum studies of log file analysis
inferred← citeshttps://doi.org/10.1109/iscc.2008.4625761openalex-snapshot
Towards sound development of PIXITP, conformance test suites, and conforming implementations for various Formal Description Techniques
inferred← citeshttps://doi.org/10.1109/pccc.1992.200507openalex-snapshot
Relative-clock-based specification and test result analysis of distributed systems
inferred← citeshttps://doi.org/10.1109/pccc.1992.200524openalex-snapshot
Testability-directed service definitions and their synthesis
inferred← citeshttps://doi.org/10.1109/qsic.2008.11openalex-snapshot
Testing in the Distributed Test Architecture: An Extended Abstract
inferred← citeshttps://doi.org/10.1109/sicon.1993.515672openalex-snapshot
Test generation for the distributed test architecture
inferred← citeshttps://doi.org/10.1109/tse.2003.1214327openalex-snapshot
General test result checking with log file analysis
inferred← citeshttps://doi.org/10.1109/wst.1988.5364openalex-snapshot
Protocol test generation, trace analysis and verification techniques
inferred← citeshttps://doi.org/10.1145/193173.195401openalex-snapshot
Oracles for checking temporal properties of concurrent systems
inferred← citeshttps://doi.org/10.1145/195274.195401openalex-snapshot
Oracles for checking temporal properties of concurrent systems
inferred← citeshttps://doi.org/10.1145/239098.239116openalex-snapshot
Generating oracles from your favorite temporal logic specifications
inferred← citeshttps://doi.org/10.1145/250707.239116openalex-snapshot
Generating oracles from your favorite temporal logic specifications
inferred← citeshttps://doi.org/10.1145/337180.337194openalex-snapshot
Broad-spectrum studies of log file analysis
inferred← citeshttps://doi.org/10.1201/b11321-27openalex-snapshot
Model-Based Passive Testing of Safety-Critical Components
inferred← citeshttps://doi.org/10.14288/1.0051973openalex-snapshot
A new methodology for OSI conformance testing based on trace analysis
inferred← citeshttps://doi.org/10.3182/20101006-2-pl-4019.00019openalex-snapshot
On Embeddable Passive Testing
inferred← citeshttps://doi.org/10.3990/1.9789090056432openalex-snapshot
A formal approach to conformance testing
inferred← citeshttps://doi.org/10.4271/920223openalex-snapshot
Van - The Optimized Industrial Solution for Vehicle Multiplexing (Vehicle Area Network)
inferred← citeshttps://doi.org/10.46298/arima.1884openalex-snapshot
Interoperability test generation: formal definitions and algorithm
inferred← citeshttps://doi.org/10.47749/t/unicamp.1997.115721openalex-snapshot
Analise de traço com geração de diagnostico para testes de comportamento de uma implementação de protocolo de comunicação em presença de falhas
inferred← citeshttps://doi.org/10.5555/545564.545575openalex-snapshot
Systematically deriving partial oracles for testing concurrent programs
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.