On the public citation graph

Formal approaches to software testing : third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 : revised papers

0 signed · 89 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.1007/3-540-48320-9_6openalex-snapshot

Testing Concurrent Systems: A Formal Approach

inferredcites →https://doi.org/10.1007/978-0-387-35079-0_10openalex-snapshot

Fault models for testing in context

inferredcites →https://doi.org/10.1007/978-0-387-35198-8_17openalex-snapshot

Fault detection in embedded components

inferredcites →https://doi.org/10.1007/978-0-387-35567-2_12openalex-snapshot

Formal Test Automation: A Simple Experiment

inferredcites →https://doi.org/10.1007/978-0-387-35567-2_9openalex-snapshot

Protocol-Inspired Hardware Testing

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.1016/0304-3975(95)92307-jopenalex-snapshot

A process algebraic view of input/output automata

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.1145/828.833openalex-snapshot

A Theory of Communicating Sequential Processes

What points at this work

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

inferred← citeshttps://doi.org/10.1002/stvr.1498openalex-snapshot

Sound and mechanised compositional verification of input‐output conformance

inferred← citeshttps://doi.org/10.1002/stvr.1730openalex-snapshot

Model‐based hypothesis testing of uncertain software systems

inferred← citeshttps://doi.org/10.1007/11430230_25openalex-snapshot

Quiescence Management Improves Interoperability Testing

inferred← citeshttps://doi.org/10.1007/11430230_7openalex-snapshot

Action Refinement in Conformance Testing

inferred← citeshttps://doi.org/10.1007/11754008_15openalex-snapshot

Compositional Testing of Communication Systems

inferred← citeshttps://doi.org/10.1007/11759744_4openalex-snapshot

A Note on an Anomaly in Black-Box Testing

inferred← citeshttps://doi.org/10.1007/11940197_16openalex-snapshot

Online Testing with Reinforcement Learning

inferred← citeshttps://doi.org/10.1007/978-3-030-21759-4_7openalex-snapshot

Component-aware Input-Output Conformance

inferred← citeshttps://doi.org/10.1007/978-3-030-34968-4_14openalex-snapshot

Relating Alternating Relations for Conformance and Refinement

inferred← citeshttps://doi.org/10.1007/978-3-030-45234-6_23openalex-snapshot

Combining Partial Specifications using Alternating Interface Automata

inferred← citeshttps://doi.org/10.1007/978-3-319-07317-0_8openalex-snapshot

Model-Based Testing

inferred← citeshttps://doi.org/10.1007/978-3-319-07602-7_18openalex-snapshot

On the Complexity of Input Output Conformance Testing

inferred← citeshttps://doi.org/10.1007/978-3-319-19458-5_8openalex-snapshot

Require, Test and Trace IT

inferred← citeshttps://doi.org/10.1007/978-3-319-21215-9_1openalex-snapshot

Scalable Incremental Test-case Generation from Large Behavior Models

inferred← citeshttps://doi.org/10.1007/978-3-319-24644-4_15openalex-snapshot

A Pre-congruence Format for XY-simulation

inferred← citeshttps://doi.org/10.1007/978-3-319-51963-0_4openalex-snapshot

Logical Characterisations and Compositionality of Input-Output Conformance Simulation

inferred← citeshttps://doi.org/10.1007/978-3-319-68270-9_5openalex-snapshot

On the Existence of Practical Testers

inferred← citeshttps://doi.org/10.1007/978-3-319-68270-9_6openalex-snapshot

Compositional Testing of Real-Time Systems

inferred← citeshttps://doi.org/10.1007/978-3-319-99927-2_12openalex-snapshot

Combining Model Learning and Data Analysis to Generate Models of Component-Based Systems

inferred← citeshttps://doi.org/10.1007/978-3-540-24617-6_7openalex-snapshot

Compositional Testing with ioco

inferred← citeshttps://doi.org/10.1007/978-3-540-24704-3_6openalex-snapshot

On Testing Partially Specified IOTS through Lossless Queues

inferred← citeshttps://doi.org/10.1007/978-3-540-73066-8_7openalex-snapshot

Symbolic Model Based Testing for Component Oriented Systems

inferred← citeshttps://doi.org/10.1007/978-3-540-74792-5_1openalex-snapshot

Model-Based Testing of Environmental Conformance of Components

inferred← citeshttps://doi.org/10.1007/978-3-540-77351-1_6openalex-snapshot

Generic Feature-Based Software Composition

inferred← citeshttps://doi.org/10.1007/978-3-540-78917-8_1openalex-snapshot

Model Based Testing with Labelled Transition Systems

inferred← citeshttps://doi.org/10.1007/978-3-540-78917-8_2openalex-snapshot

Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer

inferred← citeshttps://doi.org/10.1007/978-3-540-88194-0_7openalex-snapshot

An Approach to Testing with Embedded Context Using Model Checker

inferred← citeshttps://doi.org/10.1007/978-3-540-95888-8_5openalex-snapshot

The PLASTIC Framework and Tools for Testing Service-Oriented Applications

inferred← citeshttps://doi.org/10.1007/978-3-642-04167-9_4openalex-snapshot

Conformance Testing of Distributed Concurrent Systems with Executable Designs

inferred← citeshttps://doi.org/10.1007/978-3-642-10373-5_2openalex-snapshot

Compositional Verification of Input-Output Conformance via CSP Refinement Checking

inferred← citeshttps://doi.org/10.1007/978-3-642-12002-2_21openalex-snapshot

JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution

inferred← citeshttps://doi.org/10.1007/978-3-642-16573-3_5openalex-snapshot

Alternating Simulation and IOCO

inferred← citeshttps://doi.org/10.1007/978-3-642-24431-5_10openalex-snapshot

Experiences with Formal Engineering: Model-Based Specification, Implementation and Testing of a Software Bus at Neopost.

inferred← citeshttps://doi.org/10.1007/978-3-642-35743-5_9openalex-snapshot

Timed Conformance Testing for Orchestrated Service Discovery

inferred← citeshttps://doi.org/10.1007/978-3-642-39955-8_8openalex-snapshot

A Modular Approach to Model-Based Testing of Concurrent Programs

inferred← citeshttps://doi.org/10.1007/978-3-642-40229-6_11openalex-snapshot

Incremental Language Inclusion Checking for Networks of Timed Automata

inferred← citeshttps://doi.org/10.1007/978-3-662-43613-4_6openalex-snapshot

A Model-Based Certification Framework for the EnergyBus Standard

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/s00165-021-00564-1openalex-snapshot

TOrPEDO: witnessing model correctness with topological proofs

inferred← citeshttps://doi.org/10.1007/s00236-020-00369-4openalex-snapshot

A linear-time branching-time perspective on interface automata

inferred← citeshttps://doi.org/10.1007/s10009-011-0215-9openalex-snapshot

Alternating simulation and IOCO

inferred← citeshttps://doi.org/10.1007/s10009-015-0390-1openalex-snapshot

Testing real-time systems from compositional symbolic specifications

inferred← citeshttps://doi.org/10.1007/s10009-016-0444-zopenalex-snapshot

Require, test, and trace IT

inferred← citeshttps://doi.org/10.1007/s11219-019-09485-yopenalex-snapshot

Model generation of component-based systems

inferred← citeshttps://doi.org/10.1016/b978-0-12-417295-1.00018-7openalex-snapshot

Active Learning

inferred← citeshttps://doi.org/10.1016/j.entcs.2009.07.002openalex-snapshot

Modeling and Testing Multi-Threaded Asynchronous Systems with Creol

inferred← citeshttps://doi.org/10.1016/j.entcs.2010.12.015openalex-snapshot

Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting

inferred← citeshttps://doi.org/10.1016/j.entcs.2010.12.016openalex-snapshot

Model-Based Testing 2010: Short Abstracts

inferred← citeshttps://doi.org/10.1016/j.infsof.2016.04.003openalex-snapshot

Formal mutation testing for

inferred← citeshttps://doi.org/10.1016/j.jss.2017.11.026openalex-snapshot

Stateless techniques for generating global and local test oracles for message-passing concurrent programs

inferred← citeshttps://doi.org/10.1016/j.scico.2013.04.009openalex-snapshot

Experiences with formal engineering: Model-based specification, implementation and testing of a software bus at Neopost

inferred← citeshttps://doi.org/10.1016/j.scico.2018.09.008openalex-snapshot

Unifying modal interface theories and compositional input/output conformance testing

inferred← citeshttps://doi.org/10.1016/j.scico.2023.103005openalex-snapshot

Exhaustive property oriented model-based testing with symbolic finite state machines

inferred← citeshttps://doi.org/10.1016/j.tcs.2011.12.072openalex-snapshot

A formal abstract framework for modelling and testing complex software systems

inferred← citeshttps://doi.org/10.1016/j.tcs.2016.06.011openalex-snapshot

Nondeterministic Modal Interfaces

inferred← citeshttps://doi.org/10.1109/acsd.2014.26openalex-snapshot

Parametrised Interface Automata

inferred← citeshttps://doi.org/10.1109/apsec.2012.40openalex-snapshot

Testing of Component-Based Systems

inferred← citeshttps://doi.org/10.1109/apsec.2013.81openalex-snapshot

Results for Compositional Timed Testing

inferred← citeshttps://doi.org/10.1109/fose.2007.25openalex-snapshot

Software Testing Research: Achievements, Challenges, Dreams

inferred← citeshttps://doi.org/10.1109/iceccs.2006.1690364openalex-snapshot

Formal specification-based online monitoring

inferred← citeshttps://doi.org/10.1109/icst.2015.7102614openalex-snapshot

Incremental Model-Based Mutation Testing

inferred← citeshttps://doi.org/10.1109/isie.2010.5637890openalex-snapshot

Automatic timed automata extraction from ladder programs for model-based analysis of control systems

inferred← citeshttps://doi.org/10.1109/issre.2018.00015openalex-snapshot

Online Model-Based Testing under Uncertainty

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.1134/s0361768807050015openalex-snapshot

Formalization of test experiments

inferred← citeshttps://doi.org/10.1134/s0361768810050014openalex-snapshot

Interaction semantics with refusals, divergence, and destruction

inferred← citeshttps://doi.org/10.1145/1081706.1081751openalex-snapshot

Online testing with model programs

inferred← citeshttps://doi.org/10.1145/1450058.1450089openalex-snapshot

Quantitative testing

inferred← citeshttps://doi.org/10.1145/2489280.2489293openalex-snapshot

Towards quality of model-based testing in the ioco framework

inferred← citeshttps://doi.org/10.1145/2776892openalex-snapshot

Parametrised Modal Interface Automata

inferred← citeshttps://doi.org/10.14279/tuj.eceasst.72.1008openalex-snapshot

Approximate Active Learning of Nondeterministic Input Output Transition Systems

inferred← citeshttps://doi.org/10.1587/transinf.2015pap0013openalex-snapshot

Modeling and Testing of Network Protocols with Parallel State Machines

inferred← citeshttps://doi.org/10.2514/6.2015-1868openalex-snapshot

Trusting Outsourced Components In Flight Critical Systems

inferred← citeshttps://doi.org/10.3390/s21134541openalex-snapshot

Static and Dynamic Verification of Space Systems Using Asynchronous Observer Agents

inferred← citeshttps://doi.org/10.3990/1.9789036531955openalex-snapshot

On changing models in model-based testing

inferred← citeshttps://doi.org/10.4204/eptcs.111.5openalex-snapshot

Decomposability in Input Output Conformance Testing

inferred← citeshttps://doi.org/10.4204/eptcs.277.11openalex-snapshot

Effortless Fault Localisation: Conformance Testing of Real-Time Systems in Ecdar

inferred← citeshttps://doi.org/10.4230/lipics.concur.2015.18openalex-snapshot

Notions of Conformance Testing for Cyber-Physical Systems: Overview and Roadmap (Invited Paper)

inferred← citeshttps://doi.org/10.48550/arxiv.1406.2808openalex-snapshot

Compositional Testing For FSM-Based Models

inferred← citeshttps://doi.org/10.70675/f2bf0c4fz7e23z48f3za842z162ece931209openalex-snapshot

Modélisation et validation des systèmes informatiques complexes

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.