On the public citation graph
Generating asynchronous test cases from test purposes
0 signed · 45 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/stvr.396openalex-snapshot
Transition covering tests for systems with queues
inferredcites →https://doi.org/10.1007/3-540-61474-5_82openalex-snapshot
Using on-the-fly verification techniques for the generation of test suites
inferredcites →https://doi.org/10.1007/978-0-387-35381-4_5openalex-snapshot
Factorized test generation for multi-input/output transition systems
inferredcites →https://doi.org/10.1007/978-0-387-35578-8_2openalex-snapshot
Remote testing can be as powerful as local testing
inferredcites →https://doi.org/10.1007/978-3-540-24704-3_6openalex-snapshot
On Testing Partially Specified IOTS through Lossless Queues
inferredcites →https://doi.org/10.1007/978-3-540-24704-3_7openalex-snapshot
Testing Multi Input/Output Transition System with All-Observer
inferredcites →https://doi.org/10.1007/978-3-540-68524-1_13openalex-snapshot
Testing Systems Specified as Partial Order Input/Output Automata
inferredcites →https://doi.org/10.1007/978-3-540-68524-1_15openalex-snapshot
Implementation Relations for the Distributed Test Architecture
inferredcites →https://doi.org/10.1007/978-3-540-73066-8_12openalex-snapshot
Testing Input/Output Partial Order Automata
inferredcites →https://doi.org/10.1007/978-3-540-78917-8_1openalex-snapshot
Model Based Testing with Labelled Transition Systems
inferredcites →https://doi.org/10.1007/bf01516010openalex-snapshot
Input/output discrete event processes and communication delays
inferredcites →https://doi.org/10.1007/s10009-004-0153-xopenalex-snapshot
TGV: theory, principles and algorithms
inferredcites →https://doi.org/10.1016/b978-0-444-89874-6.50015-5openalex-snapshot
A Queue Model Relating Synchronous and Asynchronous Communication
inferredcites →https://doi.org/10.1016/j.entcs.2006.09.008openalex-snapshot
Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions
inferredcites →https://doi.org/10.1016/s0140-3664(98)00178-9openalex-snapshot
Synchronizable test sequence for multi-party protocol conformance testing
inferredcites →https://doi.org/10.1016/s0169-7552(98)00013-0openalex-snapshot
Synchronizable test sequences of finite state machines
inferredcites →https://doi.org/10.1093/comjnl/32.3.267openalex-snapshot
Efficient Implementation of Rendezvous
inferredcites →https://doi.org/10.1109/icstw.2010.32openalex-snapshot
From Test Purposes to Asynchronous Test Cases
inferredcites →https://doi.org/10.1109/tcom.1984.1096074openalex-snapshot
Synchronization and Specification Issues in Protocol Testing
inferredcites →https://doi.org/10.1145/3788687openalex-snapshot
An Introduction to Input/Output Automata
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/smr.2223openalex-snapshot
Application of rule‐based expert systems in hardware‐in‐the‐loop simulation case study: Software and performance validation of an engine electronic control unit
inferred← citeshttps://doi.org/10.1007/978-3-319-47443-4_1openalex-snapshot
Conformance Testing with Respect to Partial-Order Specifications
inferred← citeshttps://doi.org/10.1007/978-3-642-33478-8_76openalex-snapshot
A Formal Method for Testing Reactive System from Symbolic Model
inferred← citeshttps://doi.org/10.1007/978-3-642-38592-6_8openalex-snapshot
Passive Testing with Asynchronous Communications
inferred← citeshttps://doi.org/10.1007/978-3-642-41707-8_5openalex-snapshot
Remote Testing of Timed Specifications
inferred← citeshttps://doi.org/10.1007/s00165-015-0350-2openalex-snapshot
Generation of complete test suites from mealy input/output transition systems
inferred← citeshttps://doi.org/10.1007/s00446-017-0308-0openalex-snapshot
Passive testing with asynchronous communications and timestamps
inferred← citeshttps://doi.org/10.1007/s10009-012-0240-3openalex-snapshot
Model-based testing of software and systems: recent advances and challenges
inferred← citeshttps://doi.org/10.1007/s10270-012-0302-8openalex-snapshot
Synchrony and asynchrony in conformance testing
inferred← citeshttps://doi.org/10.1007/s13198-025-03047-1openalex-snapshot
Adopting state transition testing techniques in scenario-based test case generation
inferred← citeshttps://doi.org/10.1016/j.entcs.2016.01.002openalex-snapshot
Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing
inferred← citeshttps://doi.org/10.1016/j.infsof.2018.07.013openalex-snapshot
A tool supported methodology to passively test asynchronous systems with multiple users
inferred← citeshttps://doi.org/10.1016/j.tcs.2012.05.038openalex-snapshot
The complexity of asynchronous model based testing
inferred← citeshttps://doi.org/10.1093/comjnl/bxs107openalex-snapshot
Implementation Relations for Testing Through Asynchronous Channels
inferred← citeshttps://doi.org/10.1109/icst.2012.111openalex-snapshot
Generating Checking Sequences for Nondeterministic Finite State Machines
inferred← citeshttps://doi.org/10.1109/seaa.2015.66openalex-snapshot
A Systematic Mapping Study on Test Generation from Input/Output Transition Systems
inferred← citeshttps://doi.org/10.1145/2661296openalex-snapshot
Combining Centralised and Distributed Testing
inferred← citeshttps://doi.org/10.1145/2994291.2994297openalex-snapshot
Complete IOCO test cases: a case study
inferred← citeshttps://doi.org/10.11606/t.55.2016.tde-11072016-172020openalex-snapshot
Aplicação de modelos de defeitos na geração de conjuntos de teste completos a partir de Sistemas de Transição com Entrada/Saída
inferred← citeshttps://doi.org/10.4018/ijaci.2019070103openalex-snapshot
Clustering of Web Application and Testing of Asynchronous Communication
inferred← citeshttps://doi.org/10.4204/eptcs.111.5openalex-snapshot
Decomposability in Input Output Conformance Testing
inferred← citeshttps://doi.org/10.4204/eptcs.141openalex-snapshot
Generating complete and finite test suite for ioco: is it possible?
inferred← citeshttps://doi.org/10.4204/eptcs.141.5openalex-snapshot
Generating Complete and Finite Test Suite for ioco: Is It Possible?
inferred← citeshttps://doi.org/10.6100/ir780940openalex-snapshot
Improving input-output conformance testing theories
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.