On the public citation graph
Model‐based quality assurance of protocol documentation: tools and methodology
0 signed · 134 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.1007/11759744openalex-snapshot
Formal Approaches to Software Testing
inferredcites →https://doi.org/10.1007/11940197_1openalex-snapshot
Multi-paradigmatic Model-Based Testing
inferredcites →https://doi.org/10.1007/3-540-36577-x_40openalex-snapshot
Generalized Symbolic Execution for Model Checking and Testing
inferredcites →https://doi.org/10.1007/978-3-540-70881-0_41openalex-snapshot
Formal Methods in Industrial Software Standards Enforcement
inferredcites →https://doi.org/10.1007/978-3-540-73066-8_1openalex-snapshot
Implementing Conformiq Qtronic
inferredcites →https://doi.org/10.1007/978-3-540-78917-8_2openalex-snapshot
Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer
inferredcites →https://doi.org/10.1016/b978-0-12-372501-1.x5000-5openalex-snapshot
Practical Model-Based Testing
inferredcites →https://doi.org/10.1016/j.entcs.2004.12.004openalex-snapshot
Model Based Testing in Practice at Microsoft
inferredcites →https://doi.org/10.1016/j.entcs.2006.01.002openalex-snapshot
XRT– Exploring Runtime for .NET Architecture and Applications
inferredcites →https://doi.org/10.1016/s0167-6423(96)00032-9openalex-snapshot
An experiment in automatic generation of test suites for protocols with verification technology
inferredcites →https://doi.org/10.1017/cbo9780511619540openalex-snapshot
Model-Based Software Testing and Analysis with C#
inferredcites →https://doi.org/10.1108/ir.1999.04926fae.001openalex-snapshot
Lecture Notes in Computer Science 1205
inferredcites →https://doi.org/10.1109/icst.2008.50openalex-snapshot
Model-Based Quality Assurance of Windows Protocol Documentation
inferredcites →https://doi.org/10.1142/s0218194006002963openalex-snapshot
ACTION MACHINES: A FRAMEWORK FOR ENCODING AND COMPOSING PARTIAL BEHAVIORS
inferredcites →https://doi.org/10.1145/302405.302672openalex-snapshot
Patterns in property specifications for finite-state verification
inferredcites →https://doi.org/10.1145/566171.566190openalex-snapshot
Generating finite state machines from abstract state machines
inferredcites →https://doi.org/10.1145/566172.566190openalex-snapshot
Generating finite state machines from abstract state machines
inferredcites →https://doi.org/10.48550/arxiv.1808.06255openalex-snapshot
Evolving Algebras 1993: Lipari Guide
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/spe.2161openalex-snapshot
A holistic approach to model‐based testing of Web service compositions
inferred← citeshttps://doi.org/10.1002/stvr.1580openalex-snapshot
Model-based security testing: a taxonomy and systematic classification
inferred← citeshttps://doi.org/10.1002/stvr.1593openalex-snapshot
Behaviour abstraction adequacy criteria for API call protocol testing
inferred← citeshttps://doi.org/10.1002/stvr.1637openalex-snapshot
Event tree algorithms to generate test sequences for composite Web services
inferred← citeshttps://doi.org/10.1002/stvr.1720openalex-snapshot
Model‐based testing of Apache ZooKeeper: Fundamental API usage and watchers
inferred← citeshttps://doi.org/10.1007/978-3-030-38800-3openalex-snapshot
Formal Methods for Software Engineering
inferred← citeshttps://doi.org/10.1007/978-3-030-40914-2_4openalex-snapshot
Minimizing Characterizing Sets
inferred← citeshttps://doi.org/10.1007/978-3-031-40132-9_3openalex-snapshot
Implementation Relations for Distributed Testing
inferred← citeshttps://doi.org/10.1007/978-3-319-06200-6_5openalex-snapshot
Distinguishing Sequences for Partially Specified FSMs
inferred← citeshttps://doi.org/10.1007/978-3-319-09465-6_34openalex-snapshot
An Improved Upper Bound for the Length of Preset Distinguishing Sequences of Distinguished Merging Finite State Machines
inferred← citeshttps://doi.org/10.1007/978-3-319-25945-1_2openalex-snapshot
Using Multiple Adaptive Distinguishing Sequences for Checking Sequence Generation
inferred← citeshttps://doi.org/10.1007/978-3-319-67549-7_17openalex-snapshot
Constraint-Based Oracles for Timed Distributed Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-16573-3_14openalex-snapshot
Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction
inferred← citeshttps://doi.org/10.1007/978-3-642-32759-9_20openalex-snapshot
Using Time to Add Order to Distributed Testing
inferred← citeshttps://doi.org/10.1007/978-3-642-38592-6_8openalex-snapshot
Passive Testing with Asynchronous Communications
inferred← citeshttps://doi.org/10.1007/s00165-012-0244-5openalex-snapshot
Using schedulers to test probabilistic distributed systems
inferred← citeshttps://doi.org/10.1007/s00446-011-0149-1openalex-snapshot
Implementation relations and test generation for systems with distributed interfaces
inferred← citeshttps://doi.org/10.1007/s00446-011-0153-5openalex-snapshot
Overcoming controllability problems in distributed testing from an input output transition system
inferred← citeshttps://doi.org/10.1007/s00446-014-0208-5openalex-snapshot
Timed implementation relations for the distributed test architecture
inferred← citeshttps://doi.org/10.1007/s00446-017-0308-0openalex-snapshot
Passive testing with asynchronous communications and timestamps
inferred← citeshttps://doi.org/10.1007/s00450-012-0233-1openalex-snapshot
Supporting incremental behaviour model elaboration
inferred← citeshttps://doi.org/10.1007/s00500-012-0894-5openalex-snapshot
Using genetic algorithms to generate test sequences for complex timed systems
inferred← citeshttps://doi.org/10.1007/s00766-015-0233-3openalex-snapshot
The role of distances in requirements communication: a case study
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/s10586-017-0728-4openalex-snapshot
Multidimensional test coverage analysis: PARADIGM-COV tool
inferred← citeshttps://doi.org/10.1007/s10664-013-9263-yopenalex-snapshot
Challenges and practices in aligning requirements with verification and validation: a case study of six companies
inferred← citeshttps://doi.org/10.1007/s10703-014-0216-xopenalex-snapshot
Generating models of infinite-state communication protocols using regular inference with abstraction
inferred← citeshttps://doi.org/10.1007/s11219-015-9300-8openalex-snapshot
H-Switch Cover: a new test criterion to generate test case from finite state machines
inferred← citeshttps://doi.org/10.1007/s11219-021-09575-wopenalex-snapshot
Model-based testing leveraged for automated web tests
inferred← citeshttps://doi.org/10.1016/b978-0-12-396535-6.00001-6openalex-snapshot
Model-Based Testing: Achievements and Future Challenges
inferred← citeshttps://doi.org/10.1016/bs.adcom.2015.11.004openalex-snapshot
Recent Advances in Model-Based Testing
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.entcs.2015.05.002openalex-snapshot
Evaluating the Model-Based Testing Approach in the Context of Mobile Applications
inferred← citeshttps://doi.org/10.1016/j.ic.2023.105009openalex-snapshot
Removing redundant refusals: Minimal complete test suites for failure trace semantics
inferred← citeshttps://doi.org/10.1016/j.infsof.2013.01.001openalex-snapshot
Evaluating test suite characteristics, cost, and effectiveness of FSM-based testing methods
inferred← citeshttps://doi.org/10.1016/j.infsof.2015.05.004openalex-snapshot
A theory of distances in software engineering
inferred← citeshttps://doi.org/10.1016/j.infsof.2016.02.001openalex-snapshot
Effective algorithms for constructing minimum cost adaptive distinguishing sequences
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.infsof.2019.04.012openalex-snapshot
Using Squeeziness to test component-based systems defined as Finite State Machines
inferred← citeshttps://doi.org/10.1016/j.infsof.2020.106498openalex-snapshot
Using mutual information to test from Finite State Machines: Test suite selection
inferred← citeshttps://doi.org/10.1016/j.jlamp.2019.02.004openalex-snapshot
Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model
inferred← citeshttps://doi.org/10.1016/j.jss.2013.02.061openalex-snapshot
An orchestrated survey of methodologies for automated software test case generation
inferred← citeshttps://doi.org/10.1016/j.jss.2017.03.011openalex-snapshot
Implementation relations and probabilistic schedulers in the distributed test architecture
inferred← citeshttps://doi.org/10.1016/j.jss.2021.111032openalex-snapshot
Model-based testing in practice: An experience report from the web applications domain
inferred← citeshttps://doi.org/10.1016/j.robot.2023.104426openalex-snapshot
Implementation relations and testing for cyclic systems: Adding probabilities
inferred← citeshttps://doi.org/10.1016/j.scico.2021.102645openalex-snapshot
Minimizing Characterizing sets
inferred← citeshttps://doi.org/10.1016/j.scico.2024.103173openalex-snapshot
Model independent refusal trace testing
inferred← citeshttps://doi.org/10.1016/j.tcs.2012.05.038openalex-snapshot
The complexity of asynchronous model based testing
inferred← citeshttps://doi.org/10.1080/24751839.2017.1347766openalex-snapshot
FORTIFIER: a FORmal disTrIbuted Framework to Improve the dEtection of thReatening objects in baggage
inferred← citeshttps://doi.org/10.1093/comjnl/bxr125openalex-snapshot
Controllability Problems in MSC-Based Testing
inferred← citeshttps://doi.org/10.1093/comjnl/bxs107openalex-snapshot
Implementation Relations for Testing Through Asynchronous Channels
inferred← citeshttps://doi.org/10.1093/comjnl/bxt055openalex-snapshot
The Oracle Problem When Testing from MSCs
inferred← citeshttps://doi.org/10.1093/comjnl/bxv041openalex-snapshot
Incomplete Distinguishing Sequences for Finite State Machines
inferred← citeshttps://doi.org/10.1093/comjnl/bxv057openalex-snapshot
A More Precise Implementation Relation for Distributed Testing
inferred← citeshttps://doi.org/10.1093/comjnl/bxw004openalex-snapshot
Distinguishing Sequences for Distributed Testing: Adaptive Distinguishing Sequences
inferred← citeshttps://doi.org/10.1093/comjnl/bxw069openalex-snapshot
Distinguishing Sequences for Distributed Testing: Preset Distinguishing Sequences
inferred← citeshttps://doi.org/10.1093/comjnl/bxy086openalex-snapshot
Incremental and Heuristic Approaches for Deriving Adaptive Distinguishing Test Cases for Non-deterministic Finite-State Machines
inferred← citeshttps://doi.org/10.1109/cisti.2014.6876896openalex-snapshot
PARADIGM-COV: A multimensional test coverage analysis tool
inferred← citeshttps://doi.org/10.1109/compsacw.2012.83openalex-snapshot
Model Based Test Automation through Asynchronous Channels
inferred← citeshttps://doi.org/10.1109/iceccs59891.2023.00010openalex-snapshot
Challenges in testing of cyclic systems
inferred← citeshttps://doi.org/10.1109/icit.2012.6209957openalex-snapshot
Experiences in setting up domain-specific model-based testing
inferred← citeshttps://doi.org/10.1109/icst.2012.140openalex-snapshot
Experimental Comparison of Test Case Generation Methods for Finite State Machines
inferred← citeshttps://doi.org/10.1109/icst.2013.22openalex-snapshot
Behaviour Abstraction Coverage as Black-Box Adequacy Criteria
inferred← citeshttps://doi.org/10.1109/icst.2017.33openalex-snapshot
Model-Based API Testing of Apache ZooKeeper
inferred← citeshttps://doi.org/10.1109/icstw.2014.29openalex-snapshot
Comparing Model-Based Testing with Traditional Testing Strategies: An Empirical Study
inferred← citeshttps://doi.org/10.1109/icstw.2016.42openalex-snapshot
Industrial Evaluation of Test Suite Generation Strategies for Model-Based Testing
inferred← citeshttps://doi.org/10.1109/icstw60967.2024.00019openalex-snapshot
Coverage measurement in model-based testing of web applications: Tool support and an industrial experience report
inferred← citeshttps://doi.org/10.1109/issre.2016.47openalex-snapshot
Experience Report: Model-Based Test Automation of a Concurrent Flight Software Bus
inferred← citeshttps://doi.org/10.1109/issrew.2012.88openalex-snapshot
Integrating Model-Based and Constraint-Based Testing Using SpecExplorer
inferred← citeshttps://doi.org/10.1109/issrew.2014.9openalex-snapshot
Trace Reduction and Pattern Analysis to Assist Debugging in Model-Based Testing
inferred← citeshttps://doi.org/10.1109/lics52264.2021.9470737openalex-snapshot
Removing Redundant Refusals: Minimal Complete Test Suites for Failure Trace Semantics
inferred← citeshttps://doi.org/10.1109/ms.2016.30openalex-snapshot
Developing, Verifying, and Maintaining High-Quality Automated Test Scripts
inferred← citeshttps://doi.org/10.1109/ms.2017.34openalex-snapshot
Test Automation: Not Just for Test Execution
inferred← citeshttps://doi.org/10.1109/re.2018.00041openalex-snapshot
Integrating Requirements Specification and Model-Based Testing in Agile Development
inferred← citeshttps://doi.org/10.1109/sbes.2012.21openalex-snapshot
Towards Envisaging Software Testing in a Pervasive Computing World
inferred← citeshttps://doi.org/10.1109/seaa.2015.18openalex-snapshot
Estimating the Cost and Benefit of Model-Based Testing: A Decision Support Procedure for the Application of Model-Based Testing in Industry
inferred← citeshttps://doi.org/10.1109/sere.2012.38openalex-snapshot
Semi-Automatic Security Testing of Web Applications from a Secure Model
inferred← citeshttps://doi.org/10.1109/sitis.2014.83openalex-snapshot
PTTAC: Passive Testing Tool for Asynchronous Systems
inferred← citeshttps://doi.org/10.1109/sose.2011.6139107openalex-snapshot
Model-based testing of web service compositions
inferred← citeshttps://doi.org/10.1109/tc.2012.252openalex-snapshot
Verifying and Comparing Finite State Machines for Systems that Have Distributed Interfaces
inferred← citeshttps://doi.org/10.1109/tc.2016.2532869openalex-snapshot
Parallel Algorithms for Generating Harmonised State Identifiers and Characterising Sets
inferred← citeshttps://doi.org/10.1109/tr.2020.3011512openalex-snapshot
TEA-Cloud: A Formal Framework for Testing Cloud Computing Systems
inferred← citeshttps://doi.org/10.1109/tse.2014.2364035openalex-snapshot
Generating Complete Controllable Test Suites for Distributed Testing
inferred← citeshttps://doi.org/10.1109/tse.2015.2461542openalex-snapshot
Mining Workflow Models from Web Applications
inferred← citeshttps://doi.org/10.1109/tse.2017.2652457openalex-snapshot
Testing from Partial Finite State Machines without Harmonised Traces
inferred← citeshttps://doi.org/10.1109/tse.2019.2911076openalex-snapshot
$\mathcal k$-branching uio sequences for partially specified observable non-deterministic fsms
inferred← citeshttps://doi.org/10.1109/tse.2023.3291137openalex-snapshot
Incomplete Adaptive Distinguishing Sequences for Non-Deterministic FSMs
inferred← citeshttps://doi.org/10.1109/tse.2025.3604472openalex-snapshot
Efficient State Identification for Finite State Machine-Based Testing
inferred← citeshttps://doi.org/10.1145/1965724.1965741openalex-snapshot
Microsoft's protocol documentation program
inferred← citeshttps://doi.org/10.1145/1985793.1985846openalex-snapshot
Program abstractions for behaviour validation
inferred← citeshttps://doi.org/10.1145/1989748.1996412openalex-snapshot
Microsoft’s Protocol Documentation Program
inferred← citeshttps://doi.org/10.1145/2060329.2060349openalex-snapshot
Towards flexible and efficient model-based testing, utilizing domain-specific modelling
inferred← citeshttps://doi.org/10.1145/2491411.2491426openalex-snapshot
Mining behavior models from enterprise web applications
inferred← citeshttps://doi.org/10.1145/2491509.2491519openalex-snapshot
Enabledness-based program abstractions for behavior validation
inferred← citeshttps://doi.org/10.1145/2523088openalex-snapshot
A taxonomy for requirements engineering and software test alignment
inferred← citeshttps://doi.org/10.1145/2539150.2539188openalex-snapshot
An Industrial Experience on using Models to Test Web Service-Oriented Applications
inferred← citeshttps://doi.org/10.1145/2591062.2591180openalex-snapshot
Assessing model-based testing: an empirical study conducted in industry
inferred← citeshttps://doi.org/10.1145/2593882.2593885openalex-snapshot
Software testing: a research travelogue (2000–2014)
inferred← citeshttps://doi.org/10.1145/2661296openalex-snapshot
Combining Centralised and Distributed Testing
inferred← citeshttps://doi.org/10.1145/3051121openalex-snapshot
Parallel Algorithms for Generating Distinguishing Sequences for Observable Non-deterministic FSMs
inferred← citeshttps://doi.org/10.1145/3131151.3131160openalex-snapshot
Reuse of model-based tests in mobile apps
inferred← citeshttps://doi.org/10.1145/3415153openalex-snapshot
Enabledness-based Testing of Object Protocols
inferred← citeshttps://doi.org/10.11606/t.55.2013.tde-20062013-140259openalex-snapshot
Model based testing of service oriented applications
inferred← citeshttps://doi.org/10.1201/b17480-12openalex-snapshot
Using Built-In Domain-Specific Modeling Support to Guide Model-Based Test Generation
inferred← citeshttps://doi.org/10.13140/rg.2.2.19634.22720openalex-snapshot
Automated Testing: Requirements Propagation via Model Transformation in Embedded Software
inferred← citeshttps://doi.org/10.15439/2014f152openalex-snapshot
A Comparison of Three Black-Box Optimization Approaches for Model-Based Testing
inferred← citeshttps://doi.org/10.22456/2175-2745.52511openalex-snapshot
Coverage Criteria for Set-Based Specifications
inferred← citeshttps://doi.org/10.4018/978-1-5225-9448-2.ch010openalex-snapshot
Dimensions of Robust Security Testing in Global Software Engineering
inferred← citeshttps://doi.org/10.4204/eptcs.80.5openalex-snapshot
Using Built-In Domain-Specific Modeling Support to Guide Model-Based Test Generation
inferred← citeshttps://doi.org/10.48550/arxiv.1108.5295openalex-snapshot
Checking Finite State Machine Conformance when there are Distributed Observations
inferred← citeshttps://doi.org/10.82366/552openalex-snapshot
Parallel Implementations for Eliminating Finite State Machine Mutants
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.