On the public citation graph

Model-Based Testing of Reactive Systems

https://doi.org/10.1007/b137241
0 signed · 467 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/11498490_29openalex-snapshot
22 Labelled Transition Systems

What points at this work

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

inferred← citeshttps://doi.org/10.1002/9780470050118.ecse403openalex-snapshot
Software Testing: Testing New Software Paradigms and New Artifacts
inferred← citeshttps://doi.org/10.1002/9780470618851.ch4openalex-snapshot
System VVT Methods: Non‐Testing
inferred← citeshttps://doi.org/10.1002/9780470618851.ch5openalex-snapshot
Systems VVT Methods: Testing
inferred← citeshttps://doi.org/10.1002/9783527627783.ch3openalex-snapshot
Agents: Agenthood, Agent Architectures, and Agent Taxonomies
inferred← citeshttps://doi.org/10.1002/spe.1062openalex-snapshot
Scenarios‐based testing of systems with distributed ports
inferred← citeshttps://doi.org/10.1002/spe.1075openalex-snapshot
Agile methods for open source safety‐critical software
inferred← citeshttps://doi.org/10.1002/spe.2650openalex-snapshot
SMArDT modeling for automotive software testing
inferred← citeshttps://doi.org/10.1002/stvr.1485openalex-snapshot
Optimizing compilation with preservation of structural code coverage metrics to support software testing
inferred← citeshttps://doi.org/10.1002/stvr.1491openalex-snapshot
Analysis and testing of black‐box component‐based systems by inferring partial models
inferred← citeshttps://doi.org/10.1002/stvr.1538openalex-snapshot
Automatic testing of GUI‐based applications
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.1699openalex-snapshot
A formal approach to automatically analyse extra‐functional properties in mobile applications
inferred← citeshttps://doi.org/10.1002/stvr.1730openalex-snapshot
Model‐based hypothesis testing of uncertain software systems
inferred← citeshttps://doi.org/10.1002/stvr.1796openalex-snapshot
GPU acceleration of finite state machine input execution: Improving scale and performance
inferred← citeshttps://doi.org/10.1002/stvr.402openalex-snapshot
Testing with model checkers: a survey
inferred← citeshttps://doi.org/10.1002/stvr.456openalex-snapshot
A taxonomy of model‐based testing approaches
inferred← citeshttps://doi.org/10.1007/11693017_10openalex-snapshot
Regular Inference for State Machines with Parameters
inferred← citeshttps://doi.org/10.1007/11786160_1openalex-snapshot
Audition of Web Services for Testing Conformance to Open Specified Protocols
inferred← citeshttps://doi.org/10.1007/11940197_3openalex-snapshot
A Symbolic Framework for Model-Based Testing
inferred← citeshttps://doi.org/10.1007/978-0-387-39362-9_5openalex-snapshot
Model-Based Test Selection for Infinite State Reactive Systems
inferred← citeshttps://doi.org/10.1007/978-0-387-73655-6_29openalex-snapshot
Monitors for Usage Control
inferred← citeshttps://doi.org/10.1007/978-0-387-74935-8_40openalex-snapshot
A Framework for UML-Based Software Component Testing
inferred← citeshttps://doi.org/10.1007/978-0-85729-133-2_12openalex-snapshot
Testing of Safety-Critical Systems – a Structural Approach to Test Case Design
inferred← citeshttps://doi.org/10.1007/978-1-4471-2297-5_14openalex-snapshot
Software and System Modeling: Structured Multi-view Modeling, Specification, Design and Implementation
inferred← citeshttps://doi.org/10.1007/978-3-030-01171-0_15openalex-snapshot
MBT4J: Automating the Model-Based Testing Process for Java Applications
inferred← citeshttps://doi.org/10.1007/978-3-030-03044-5_11openalex-snapshot
Automatic Test Case Generation for Concurrent Features from Natural Language Descriptions
inferred← citeshttps://doi.org/10.1007/978-3-030-11030-7_20openalex-snapshot
A Test Specification Language for Information Systems Based on Data Entities, Use Cases and State Machines
inferred← citeshttps://doi.org/10.1007/978-3-030-34968-4_8openalex-snapshot
Learning to Reuse: Adaptive Model Learning for Evolving Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-38800-3_5openalex-snapshot
Specification-Based Testing
inferred← citeshttps://doi.org/10.1007/978-3-030-40914-2_8openalex-snapshot
Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata
inferred← citeshttps://doi.org/10.1007/978-3-030-41418-4_18openalex-snapshot
Combining Model Learning and Model Checking to Analyze Java Libraries
inferred← citeshttps://doi.org/10.1007/978-3-030-42274-5_2openalex-snapshot
Test Procedure and Description for System Testing
inferred← citeshttps://doi.org/10.1007/978-3-030-45234-6_15openalex-snapshot
Statistical Model Checking for Variability-Intensive Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-47147-7_4openalex-snapshot
How to Specify It!
inferred← citeshttps://doi.org/10.1007/978-3-030-58768-0_10openalex-snapshot
Model-Based Testing Under Parametric Variability of Uncertain Beliefs
inferred← citeshttps://doi.org/10.1007/978-3-030-61362-4_2openalex-snapshot
On Testing Message-Passing Components
inferred← citeshttps://doi.org/10.1007/978-3-030-87348-6_10openalex-snapshot
A Context-Free Symbiosis of Runtime Verification and Automata Learning
inferred← citeshttps://doi.org/10.1007/978-3-030-91384-7_9openalex-snapshot
Never-Stop Context-Free Learning
inferred← citeshttps://doi.org/10.1007/978-3-031-04673-5_6openalex-snapshot
Locality-Based Test Selection for Autonomous Agents
inferred← citeshttps://doi.org/10.1007/978-3-031-07297-0_3openalex-snapshot
State Traversal: Listen to Transitions for Coverage Analysis of Test Cases to Drive the Test
inferred← citeshttps://doi.org/10.1007/978-3-031-15629-8_28openalex-snapshot
The Integration of Testing and Program Verification
inferred← citeshttps://doi.org/10.1007/978-3-031-15629-8_8openalex-snapshot
Family-Based Fingerprint Analysis: A Position Paper
inferred← citeshttps://doi.org/10.1007/978-3-031-30829-1_20openalex-snapshot
Compositional Learning for Interleaving Parallel Automata
inferred← citeshttps://doi.org/10.1007/978-3-031-37706-8_13openalex-snapshot
3D Environment Modeling for Falsification and Beyond with Scenic 3.0
inferred← citeshttps://doi.org/10.1007/978-3-031-49342-3_5openalex-snapshot
Language-Based Testing for Pushdown Reactive Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-49342-3_6openalex-snapshot
Sound Test Case Generation for Concurrent Mobile Features
inferred← citeshttps://doi.org/10.1007/978-3-031-57249-4_6openalex-snapshot
Small Test Suites for Active Automata Learning
inferred← citeshttps://doi.org/10.1007/978-3-031-75434-0_23openalex-snapshot
Adaptive Stopping Algorithms Based on Concentration Inequalities
inferred← citeshttps://doi.org/10.1007/978-3-031-90897-2_10openalex-snapshot
Complete Test Suites for Automata in Monoidal Closed Categories
inferred← citeshttps://doi.org/10.1007/978-3-032-22749-2_20openalex-snapshot
Deconstructing Subset Construction
inferred← citeshttps://doi.org/10.1007/978-3-319-03077-7_6openalex-snapshot
Symbolic Model-Based Testing for Industrial Automation Software
inferred← citeshttps://doi.org/10.1007/978-3-319-04915-1_2openalex-snapshot
Theory of Test Modeling Based on Regular Expressions
inferred← citeshttps://doi.org/10.1007/978-3-319-06859-6_17openalex-snapshot
Model-Based Testing in Cloud Brokerage Scenarios
inferred← citeshttps://doi.org/10.1007/978-3-319-07512-9_7openalex-snapshot
Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module
inferred← citeshttps://doi.org/10.1007/978-3-319-11164-3_26openalex-snapshot
The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning
inferred← citeshttps://doi.org/10.1007/978-3-319-11653-2_12openalex-snapshot
The Relevance of Model-Driven Engineering Thirty Years from Now
inferred← citeshttps://doi.org/10.1007/978-3-319-14886-1_18openalex-snapshot
Model-Based Testing for Composite Web Services in Cloud Brokerage Scenarios
inferred← citeshttps://doi.org/10.1007/978-3-319-22360-5_16openalex-snapshot
Describing Homing and Distinguishing Sequences for Nondeterministic Finite State Machines via Synchronizing Automata
inferred← citeshttps://doi.org/10.1007/978-3-319-25150-9_32openalex-snapshot
A Tool Prototype for Model-Based Testing of Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-25423-4_24openalex-snapshot
Delta-Oriented FSM-Based Testing
inferred← citeshttps://doi.org/10.1007/978-3-319-25945-1_6openalex-snapshot
Automated Test Design for Boundaries of Product Line Variants
inferred← citeshttps://doi.org/10.1007/978-3-319-60252-3_21openalex-snapshot
Reset Complexity of Ideal Languages Over a Binary Alphabet
inferred← citeshttps://doi.org/10.1007/978-3-319-64119-5_13openalex-snapshot
Learning-Based Testing for Safety Critical Automotive Applications
inferred← citeshttps://doi.org/10.1007/978-3-319-66197-1_24openalex-snapshot
Towards Inverse Uncertainty Quantification in Software Development (Short Paper)
inferred← citeshttps://doi.org/10.1007/978-3-319-67549-7_15openalex-snapshot
Synchronizing Heuristics: Speeding up the Slowest
inferred← citeshttps://doi.org/10.1007/978-3-319-74962-4_6openalex-snapshot
Active Diagnosis for Switched Systems Using Mealy Machine Modeling
inferred← citeshttps://doi.org/10.1007/978-3-319-89963-3_13openalex-snapshot
TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation
inferred← citeshttps://doi.org/10.1007/978-3-319-91268-4_1openalex-snapshot
Self-adaptive Model Checking, the Next Step?
inferred← citeshttps://doi.org/10.1007/978-3-319-92994-1_4openalex-snapshot
Under-Approximation Generation Driven by Relevance Predicates and Variants
inferred← citeshttps://doi.org/10.1007/978-3-319-96562-8_2openalex-snapshot
Learning-Based Testing: Recent Progress and Future Prospects
inferred← citeshttps://doi.org/10.1007/978-3-319-96562-8_5openalex-snapshot
Active Automata Learning in Practice
inferred← citeshttps://doi.org/10.1007/978-3-319-99073-6_16openalex-snapshot
Extending Automated Protocol State Learning for the 802.11 4-Way Handshake
inferred← citeshttps://doi.org/10.1007/978-3-540-68524-1_18openalex-snapshot
Applying Model-Based Testing to HTML Rendering Engines – A Case Study
inferred← citeshttps://doi.org/10.1007/978-3-540-69073-3_24openalex-snapshot
Model-Based Run-Time Error Detection
inferred← citeshttps://doi.org/10.1007/978-3-540-69149-5_56openalex-snapshot
The Role of Model-Based Testing
inferred← citeshttps://doi.org/10.1007/978-3-540-72901-3_14openalex-snapshot
Reverse Engineering Models from Traces to Validate Distributed Systems – An Industrial Case Study
inferred← citeshttps://doi.org/10.1007/978-3-540-73368-3_11openalex-snapshot
Verification Across Intellectual Property Boundaries
inferred← citeshttps://doi.org/10.1007/978-3-540-74792-5_3openalex-snapshot
Model-Based Test Selection for Infinite-State Reactive Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-75221-9_12openalex-snapshot
Specification for Testing
inferred← citeshttps://doi.org/10.1007/978-3-540-78743-3_24openalex-snapshot
Regular Inference for State Machines Using Domains with Equality Tests
inferred← citeshttps://doi.org/10.1007/978-3-540-88282-4_4openalex-snapshot
Synchronizing Automata and the Černý Conjecture
inferred← citeshttps://doi.org/10.1007/978-3-642-00982-2_57openalex-snapshot
Finitely Generated Synchronizing Automata
inferred← citeshttps://doi.org/10.1007/978-3-642-00982-2_9openalex-snapshot
Matching Trace Patterns with Regular Policies
inferred← citeshttps://doi.org/10.1007/978-3-642-04164-8_16openalex-snapshot
Model-Based Testing and the UML Testing Profile
inferred← citeshttps://doi.org/10.1007/978-3-642-04222-5_9openalex-snapshot
Runtime Verification Using a Temporal Description Logic
inferred← citeshttps://doi.org/10.1007/978-3-642-04425-0_16openalex-snapshot
Influencing Factors in Model-Based Testing with UML State Machines: Report on an Industrial Cooperation
inferred← citeshttps://doi.org/10.1007/978-3-642-05031-2_14openalex-snapshot
Model-Based Testing of Web Applications Using NModel
inferred← citeshttps://doi.org/10.1007/978-3-642-05089-3_14openalex-snapshot
Inferring Mealy Machines
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-12186-9_61openalex-snapshot
Process-Aware Information System Development for the Healthcare Domain - Consistency, Reliability, and Effectiveness
inferred← citeshttps://doi.org/10.1007/978-3-642-13977-2_13openalex-snapshot
Syntactic Abstraction of B Models to Generate Tests
inferred← citeshttps://doi.org/10.1007/978-3-642-14819-4_2openalex-snapshot
On-the-Fly Testing by Using an Executable TTCN-3 Markov Chain Usage Model
inferred← citeshttps://doi.org/10.1007/978-3-642-16277-0_10openalex-snapshot
10 Model-Based Analysis and Development of Dependable Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-16277-0_8openalex-snapshot
8 UML for Software Safety and Certification
inferred← citeshttps://doi.org/10.1007/978-3-642-16558-0_53openalex-snapshot
Inferring Compact Models of Communication Protocol Entities
inferred← citeshttps://doi.org/10.1007/978-3-642-16558-0_55openalex-snapshot
From ZULU to RERS
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-16612-9_9openalex-snapshot
You Should Better Enforce Than Verify
inferred← citeshttps://doi.org/10.1007/978-3-642-18275-4_19openalex-snapshot
Automata Learning with Automated Alphabet Abstraction Refinement
inferred← citeshttps://doi.org/10.1007/978-3-642-19583-9_5openalex-snapshot
An Introduction to Test Specification in FQL
inferred← citeshttps://doi.org/10.1007/978-3-642-19786-4_10openalex-snapshot
Behavior Specification of a Red-Light Violation Warning Application – An Approach for Specifying Reactive Vehicle-2-X Communication Applications
inferred← citeshttps://doi.org/10.1007/978-3-642-19811-3_20openalex-snapshot
Seamless Testing for Models and Code
inferred← citeshttps://doi.org/10.1007/978-3-642-21437-0_9openalex-snapshot
Sampling-Based Runtime Verification
inferred← citeshttps://doi.org/10.1007/978-3-642-21455-4_10openalex-snapshot
Learning of Automata Models Extended with Data
inferred← citeshttps://doi.org/10.1007/978-3-642-21455-4_8openalex-snapshot
Introduction to Active Automata Learning from a Practical Perspective
inferred← citeshttps://doi.org/10.1007/978-3-642-21455-4_9openalex-snapshot
Model-Based Testing and Some Steps towards Test-Based Modelling
inferred← citeshttps://doi.org/10.1007/978-3-642-21875-0_24openalex-snapshot
Recognizing Synchronizing Automata with Finitely Many Minimal Synchronizing Words is PSPACE-Complete
inferred← citeshttps://doi.org/10.1007/978-3-642-22256-6_20openalex-snapshot
Preset and Adaptive Homing Experiments for Nondeterministic Finite State Machines
inferred← citeshttps://doi.org/10.1007/978-3-642-22386-0_8openalex-snapshot
SMA—The Smyle Modeling Approach
inferred← citeshttps://doi.org/10.1007/978-3-642-24431-5_5openalex-snapshot
Past Time LTL Runtime Verification for Microcontroller Binary Code
inferred← citeshttps://doi.org/10.1007/978-3-642-25264-8_9openalex-snapshot
A New Approach in Model-Based Testing: Designing Test Models in TTCN-3
inferred← citeshttps://doi.org/10.1007/978-3-642-27940-9_17openalex-snapshot
Inferring Canonical Register Automata
inferred← citeshttps://doi.org/10.1007/978-3-642-29320-7_17openalex-snapshot
Towards Model-Based Testing of Electronic Funds Transfer Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-29347-4_49openalex-snapshot
Application of Hierarchical Classifier to Minimal Synchronizing Word Problem
inferred← citeshttps://doi.org/10.1007/978-3-642-29860-8_16openalex-snapshot
Efficient Techniques for Near-Optimal Instrumentation in Time-Triggered Runtime Verification
inferred← citeshttps://doi.org/10.1007/978-3-642-29860-8_17openalex-snapshot
CoMA: Conformance Monitoring of Java Programs by Abstract State Machines
inferred← citeshttps://doi.org/10.1007/978-3-642-29860-8_18openalex-snapshot
Automated Test-Trace Inspection for Microcontroller Binary Code
inferred← citeshttps://doi.org/10.1007/978-3-642-29860-8_4openalex-snapshot
Teaching Runtime Verification
inferred← citeshttps://doi.org/10.1007/978-3-642-31606-7_15openalex-snapshot
Synchronizing Automata of Bounded Rank
inferred← citeshttps://doi.org/10.1007/978-3-642-34026-0_17openalex-snapshot
Parameterized Preorder Relations for Model-Based Testing of Software Product Lines
inferred← citeshttps://doi.org/10.1007/978-3-642-34026-0_45openalex-snapshot
The RERS Grey-Box Challenge 2012: Analysis of Event-Condition-Action Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-34447-3_14openalex-snapshot
A Threat Model-Driven Security Testing Approach for Web Application
inferred← citeshttps://doi.org/10.1007/978-3-642-34781-8_16openalex-snapshot
Learning-Based Software Testing: A Tutorial
inferred← citeshttps://doi.org/10.1007/978-3-642-35632-2_21openalex-snapshot
Path-Aware Time-Triggered Runtime Verification
inferred← citeshttps://doi.org/10.1007/978-3-642-37064-9_25openalex-snapshot
A Multivariate Analysis of Some DFA Problems
inferred← citeshttps://doi.org/10.1007/978-3-642-37387-9_20openalex-snapshot
Automated Test Case Generation for Industrial Control Applications
inferred← citeshttps://doi.org/10.1007/978-3-642-38088-4_9openalex-snapshot
Inferring Automata with State-Local Alphabet Abstractions
inferred← citeshttps://doi.org/10.1007/978-3-642-38209-3_3openalex-snapshot
Combining Testing and Runtime Verification Techniques
inferred← citeshttps://doi.org/10.1007/978-3-642-38571-1_4openalex-snapshot
Quality Control
inferred← citeshttps://doi.org/10.1007/978-3-642-38771-5_12openalex-snapshot
A Fresh Approach to Learning Register Automata
inferred← citeshttps://doi.org/10.1007/978-3-642-39274-0_20openalex-snapshot
On the Length of Homing Sequences for Nondeterministic Finite State Machines
inferred← citeshttps://doi.org/10.1007/978-3-642-39274-0_30openalex-snapshot
Generating Small Automata and the Černý Conjecture
inferred← citeshttps://doi.org/10.1007/978-3-642-39277-1_1openalex-snapshot
Applying “Functional Scenario-Based” Test Case Generation Method in Unit Testing and Integration Testing
inferred← citeshttps://doi.org/10.1007/978-3-642-39799-8_21openalex-snapshot
System Level Formal Verification via Model Checking Driven Simulation
inferred← citeshttps://doi.org/10.1007/978-3-642-40787-1_18openalex-snapshot
Reducing Monitoring Overhead by Integrating Event- and Time-Triggered Techniques
inferred← citeshttps://doi.org/10.1007/978-3-642-41707-8_3openalex-snapshot
Adaptive Homing and Distinguishing Experiments for Nondeterministic Finite State Machines
inferred← citeshttps://doi.org/10.1007/978-3-642-41947-8_26openalex-snapshot
Testing Stochastic Systems Using MoVoS Tool: Case Studies
inferred← citeshttps://doi.org/10.1007/978-3-642-54862-8_41openalex-snapshot
Learning Regular Languages over Large Alphabets
inferred← citeshttps://doi.org/10.1007/978-3-642-54862-8_55openalex-snapshot
Environment-Model Based Testing of Control Systems: Case Studies
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/978-3-662-44584-6_14openalex-snapshot
Synchronizing Strategies under Partial Observability
inferred← citeshttps://doi.org/10.1007/978-3-662-45234-9_33openalex-snapshot
Domain-Specific Code Generator Modeling: A Case Study for Multi-faceted Concurrent Systems
inferred← citeshttps://doi.org/10.1007/978-3-8349-8858-4_4openalex-snapshot
The importance of requirements specifications for successful IT projects
inferred← citeshttps://doi.org/10.1007/978-981-10-4436-6_6openalex-snapshot
Formal Methods for Aerospace Systems
inferred← citeshttps://doi.org/10.1007/s00165-009-0132-9openalex-snapshot
Generating tests from B specifications and dynamic selection criteria
inferred← citeshttps://doi.org/10.1007/s00165-011-0175-6openalex-snapshot
Information gain of black-box testing
inferred← citeshttps://doi.org/10.1007/s00165-012-0258-zopenalex-snapshot
Test generation from state based use case models
inferred← citeshttps://doi.org/10.1007/s00165-014-0297-8openalex-snapshot
The relation between preset distinguishing sequences and synchronizing sequences
inferred← citeshttps://doi.org/10.1007/s00165-016-0355-5openalex-snapshot
Active learning for extended finite state machines
inferred← citeshttps://doi.org/10.1007/s00165-021-00563-2openalex-snapshot
Statistical model checking for variability-intensive systems: applications to bug detection and minimization
inferred← citeshttps://doi.org/10.1007/s10009-009-0111-8openalex-snapshot
LearnLib: a framework for extrapolating behavioral models
inferred← citeshttps://doi.org/10.1007/s10009-011-0209-7openalex-snapshot
Extrapolating (omega-)regular model checking
inferred← citeshttps://doi.org/10.1007/s10009-013-0291-0openalex-snapshot
A systematic review of state-based test tools
inferred← citeshttps://doi.org/10.1007/s10009-014-0316-3openalex-snapshot
Model-based test generation using extended symbolic grammars
inferred← citeshttps://doi.org/10.1007/s10009-014-0337-yopenalex-snapshot
Rigorous examination of reactive systems
inferred← citeshttps://doi.org/10.1007/s10009-014-0361-yopenalex-snapshot
Uppaal SMC tutorial
inferred← citeshttps://doi.org/10.1007/s10009-015-0380-3openalex-snapshot
Monitoring modulo theories
inferred← citeshttps://doi.org/10.1007/s10009-015-0384-zopenalex-snapshot
Statistical model checking: challenges and perspectives
inferred← citeshttps://doi.org/10.1007/s10009-016-0442-1openalex-snapshot
Exact finite-state machine identification from scenarios and temporal properties
inferred← citeshttps://doi.org/10.1007/s10009-019-00518-2openalex-snapshot
Model-based testing of apps in real network scenarios
inferred← citeshttps://doi.org/10.1007/s10009-021-00634-yopenalex-snapshot
Compositional learning of mutually recursive procedural systems
inferred← citeshttps://doi.org/10.1007/s10009-026-00839-zopenalex-snapshot
A research agenda for active automata learning
inferred← citeshttps://doi.org/10.1007/s10270-008-0095-yopenalex-snapshot
Generating instance models from meta models
inferred← citeshttps://doi.org/10.1007/s10462-020-09881-yopenalex-snapshot
Using memetic algorithm for robustness testing of contract-based software models
inferred← citeshttps://doi.org/10.1007/s10664-012-9222-zopenalex-snapshot
Software model synthesis using satisfiability solvers
inferred← citeshttps://doi.org/10.1007/s10664-022-10145-2openalex-snapshot
Practitioners’ best practices to Adopt, Use or Abandon Model-based Testing with Graphical models for Software-intensive Systems
inferred← citeshttps://doi.org/10.1007/s10703-014-0205-0openalex-snapshot
Hardness and inapproximability of minimizing adaptive distinguishing sequences
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/s10703-023-00416-zopenalex-snapshot
Assumption-based Runtime Verification
inferred← citeshttps://doi.org/10.1007/s10836-019-05844-6openalex-snapshot
Comparing Graph-Based Algorithms to Generate Test Cases from Finite State Machines
inferred← citeshttps://doi.org/10.1007/s10878-013-9682-0openalex-snapshot
Computing the shortest reset words of synchronizing automata
inferred← citeshttps://doi.org/10.1007/s10994-013-5405-0openalex-snapshot
Improving active Mealy machine learning for protocol conformance testing
inferred← citeshttps://doi.org/10.1007/s10994-021-06120-5openalex-snapshot
Scenic: a language for scenario specification and data generation
inferred← citeshttps://doi.org/10.1007/s11219-011-9161-8openalex-snapshot
B model slicing and predicate abstraction to generate tests
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/s11704-019-9212-zopenalex-snapshot
Model learning: a survey of foundations, tools and applications
inferred← citeshttps://doi.org/10.1007/s11768-022-00122-xopenalex-snapshot
A survey on observability of Boolean control networks
inferred← citeshttps://doi.org/10.1007/s13173-013-0104-zopenalex-snapshot
Functional test data generation for Simulink-like models
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/b978-0-12-396535-6.00001-6openalex-snapshot
Model-Based Testing: Achievements and Future Challenges
inferred← citeshttps://doi.org/10.1016/b978-012372501-1/50017-xopenalex-snapshot
Bibliography
inferred← citeshttps://doi.org/10.1016/bs.adcom.2017.07.001openalex-snapshot
Advances in Testing Software Product Lines
inferred← citeshttps://doi.org/10.1016/j.arcontrol.2017.03.004openalex-snapshot
Synthesis and implementation of logic controllers – A review
inferred← citeshttps://doi.org/10.1016/j.compmedimag.2024.102411openalex-snapshot
An automatic radiomic-based approach for disease localization: A pilot study on COVID-19
inferred← citeshttps://doi.org/10.1016/j.conengprac.2010.10.001openalex-snapshot
Translating Grafcet specifications into Mealy machines for conformance test purposes
inferred← citeshttps://doi.org/10.1016/j.cose.2009.09.003openalex-snapshot
Runtime verification of cryptographic protocols
inferred← citeshttps://doi.org/10.1016/j.dam.2020.04.029openalex-snapshot
Synchronizing sequences for road colored digraphs
inferred← citeshttps://doi.org/10.1016/j.entcs.2007.08.025openalex-snapshot
Towards Deriving Test Sequences by Model Checking
inferred← citeshttps://doi.org/10.1016/j.entcs.2008.11.004openalex-snapshot
j-POST: a Java Toolchain for Property-Oriented Software Testing
inferred← citeshttps://doi.org/10.1016/j.entcs.2008.12.039openalex-snapshot
The Length of Subset Reachability in Nondeterministic Automata
inferred← citeshttps://doi.org/10.1016/j.entcs.2009.05.051openalex-snapshot
Symbolic Model-based Test Selection
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.eswa.2012.04.079openalex-snapshot
Effective synchronizing algorithms
inferred← citeshttps://doi.org/10.1016/j.eswa.2015.07.071openalex-snapshot
Forward and backward synchronizing algorithms
inferred← citeshttps://doi.org/10.1016/j.eswa.2017.12.043openalex-snapshot
A machine learning approach to synchronization of automata
inferred← citeshttps://doi.org/10.1016/j.eswa.2020.114203openalex-snapshot
Boosting expensive synchronizing heuristics
inferred← citeshttps://doi.org/10.1016/j.ic.2010.11.020openalex-snapshot
Synchronizing automata with finitely many minimal synchronizing words
inferred← citeshttps://doi.org/10.1016/j.ifacol.2017.08.909openalex-snapshot
Detectability of Nondeterministic Finite Transition Systems
inferred← citeshttps://doi.org/10.1016/j.infsof.2006.03.003openalex-snapshot
A quest for appropriate software fault models: Case studies on fault detection effectiveness of model-based test generation techniques
showing the first 200 of 466 · page through all 466
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.