On the public citation graph
A Symbolic Framework for Model-Based Testing
0 signed · 107 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/11498490_12openalex-snapshot
Part III. Model-Based Test Case Generation
inferredcites →https://doi.org/10.1007/11754008_1openalex-snapshot
Symbolic Execution Techniques for Test Purpose Definition
inferredcites →https://doi.org/10.1007/3-540-40911-4_20openalex-snapshot
An Approach to Symbolic Test Generation
inferredcites →https://doi.org/10.1007/3-540-48213-x_24openalex-snapshot
Comparing TorX, Autolink, TGV and UIO Test Algorithms
inferredcites →https://doi.org/10.1007/978-0-387-35567-2openalex-snapshot
Testing of Communicating Systems
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-3-540-24730-2_35openalex-snapshot
A Temporal Logic of Nested Calls and Returns
inferredcites →https://doi.org/10.1007/978-3-540-31848-4_1openalex-snapshot
Test Generation Based on Symbolic Specifications
inferredcites →https://doi.org/10.1007/978-3-540-31848-4_2openalex-snapshot
Symbolic Test Case Generation for Primitive Recursive Functions
inferredcites →https://doi.org/10.1007/978-3-540-31980-1_23openalex-snapshot
Symbolic Test Selection Based on Approximate Analysis
inferredcites →https://doi.org/10.1007/978-3-642-56792-6openalex-snapshot
Mathematisch-strukturelle Grundlagen der Informatik
inferredcites →https://doi.org/10.1007/b106767openalex-snapshot
Formal Approaches to Software Testing
inferredcites →https://doi.org/10.1007/b137241openalex-snapshot
Model-Based Testing of Reactive Systems
inferredcites →https://doi.org/10.1007/s10009-004-0153-xopenalex-snapshot
TGV: theory, principles and algorithms
inferredcites →https://doi.org/10.1016/0167-6423(87)90035-9openalex-snapshot
Statecharts: a visual formalism for complex systems
inferredcites →https://doi.org/10.1016/0169-7552(87)90085-7openalex-snapshot
Introduction to the ISO specification language LOTOS
inferredcites →https://doi.org/10.1109/5.533956openalex-snapshot
Principles and methods of testing finite state machines-a survey
inferredcites →https://doi.org/10.1145/390016.808444openalex-snapshot
A new approach to program testing
inferredcites →https://doi.org/10.1145/800027openalex-snapshot
Proceedings of the international conference on Reliable software -
inferredcites →https://doi.org/10.1145/800027.808444openalex-snapshot
A new approach to program testing
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.1525openalex-snapshot
Test generation from recursive tile systems
inferred← citeshttps://doi.org/10.1007/978-0-85729-024-3_58openalex-snapshot
Context Model for Testing Analysis Phase of Information Systems
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-3-030-31157-5_5openalex-snapshot
Coverage-Based Testing with Symbolic Transition Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-87657-9_4openalex-snapshot
Deriving Interaction Scenarios for Timed Distributed Systems by Symbolic Execution
inferred← citeshttps://doi.org/10.1007/978-3-031-15008-1_12openalex-snapshot
Model-Based Testing of Internet of Things Protocols
inferred← citeshttps://doi.org/10.1007/978-3-031-52183-6_1openalex-snapshot
Symbolic Path-Guided Test Cases for Models with Data and Time
inferred← citeshttps://doi.org/10.1007/978-3-032-05188-2_3openalex-snapshot
Time for Quiescence: Modelling Quiescent Behaviour in Testing via Time-Outs in Timed Automata
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-30734-3_4openalex-snapshot
Conformance Checking of Real-Time Models
inferred← citeshttps://doi.org/10.1007/978-3-319-41135-4_2openalex-snapshot
Monadic Sequence Testing and Explicit Test-Refinements
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-68972-2_15openalex-snapshot
Gray-Box Conformance Testing for Symbolic Reactive State Machines
inferred← citeshttps://doi.org/10.1007/978-3-540-68524-1_15openalex-snapshot
Implementation Relations for the Distributed Test Architecture
inferred← citeshttps://doi.org/10.1007/978-3-540-68524-1_19openalex-snapshot
Model-Based Generation of Testbeds for Web Services
inferred← citeshttps://doi.org/10.1007/978-3-540-68855-6_21openalex-snapshot
Protocol Modeling with Model Program Composition
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-73196-2_9openalex-snapshot
Composition of Model Programs
inferred← citeshttps://doi.org/10.1007/978-3-540-73770-4_8openalex-snapshot
Symbolic Execution Techniques for Refinement Testing
inferred← citeshttps://doi.org/10.1007/978-3-540-73770-4_9openalex-snapshot
Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing
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-88194-0_6openalex-snapshot
Conformance Testing Based on UML State Machines
inferred← citeshttps://doi.org/10.1007/978-3-540-88387-6_16openalex-snapshot
Controllable Test Cases for the Distributed Test Architecture
inferred← citeshttps://doi.org/10.1007/978-3-540-88479-8_15openalex-snapshot
A Framework for Analyzing and Testing the Performance of Software Services
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-01364-5_9openalex-snapshot
On-The-Fly Model-Based Testing of Web Services with Jambition
inferred← citeshttps://doi.org/10.1007/978-3-642-05031-2_2openalex-snapshot
A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-14808-8_13openalex-snapshot
Testing of Abstract Components
inferred← citeshttps://doi.org/10.1007/978-3-642-15297-9_19openalex-snapshot
A Conformance Testing Relation for Symbolic Timed Automata
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-16573-3_5openalex-snapshot
Alternating Simulation and IOCO
inferred← citeshttps://doi.org/10.1007/978-3-642-21768-5_4openalex-snapshot
Checking the Behavioral Conformance of Web Services with Symbolic Testing and an SMT Solver
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-30473-6_9openalex-snapshot
Test Generation from Recursive Tiles Systems
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-41030-7_31openalex-snapshot
Machine-Readable Privacy Certificates for Services
inferred← citeshttps://doi.org/10.1007/978-3-642-54804-8_29openalex-snapshot
Data Flow Coverage for Circus-Based Testing
inferred← citeshttps://doi.org/10.1007/s00236-011-0133-zopenalex-snapshot
Testing for refinement in Circus
inferred← citeshttps://doi.org/10.1007/s10009-011-0215-9openalex-snapshot
Alternating simulation and IOCO
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/s10994-013-5405-0openalex-snapshot
Improving active Mealy machine learning for protocol conformance testing
inferred← citeshttps://doi.org/10.1016/b978-0-12-803801-7.00019-5openalex-snapshot
Model-Based Testing of Cyber-Physical Systems
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.entcs.2016.01.003openalex-snapshot
An Illustrative Use Case of the DIVERSITY Platform based on UML Interaction Scenarios
inferred← citeshttps://doi.org/10.1016/j.jlap.2010.07.004openalex-snapshot
Composing model programs for analysis
inferred← citeshttps://doi.org/10.1016/j.scico.2011.03.009openalex-snapshot
A generic framework for n -protocol compatibility checking
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.2025.103285openalex-snapshot
Path-guided conformance test case generation for models with data and time using symbolic execution techniques
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.2014.08.012openalex-snapshot
Test selection for traces refinement
inferred← citeshttps://doi.org/10.1109/fose.2007.25openalex-snapshot
Software Testing Research: Achievements, Challenges, Dreams
inferred← citeshttps://doi.org/10.1109/icomet.2019.8673390openalex-snapshot
Towards Ad hoc Testing Technique Effectiveness in Software Testing Life Cycle
inferred← citeshttps://doi.org/10.1109/icstw.2011.82openalex-snapshot
Abstracting Time and Data for Conformance Testing of Real-Time Systems
inferred← citeshttps://doi.org/10.1109/icstw.2013.29openalex-snapshot
Combining Model-Based Testing and Runtime Monitoring for Program Testing in the Presence of Nondeterminism
inferred← citeshttps://doi.org/10.1109/icstw58534.2023.00019openalex-snapshot
From BDD Scenarios to Test Case Generation
inferred← citeshttps://doi.org/10.1109/icws.2012.53openalex-snapshot
A Low-Cost Security Certification Scheme for Evolving Services
inferred← citeshttps://doi.org/10.1109/icws.2013.70openalex-snapshot
Security Certification of Composite Services: A Test-Based Approach
inferred← citeshttps://doi.org/10.1109/indin.2017.8104755openalex-snapshot
Modelling and certification for electric mobility
inferred← citeshttps://doi.org/10.1109/iotsms52051.2020.9340228openalex-snapshot
Data Quality Model-based Testing of Information Systems: the Use-case of E-scooters
inferred← citeshttps://doi.org/10.1109/saner-c62648.2024.00033openalex-snapshot
An Intermediate Language to Integrate Behavior-Driven Development Scenarios and Model-Based Testing
inferred← citeshttps://doi.org/10.1109/seaa.2008.33openalex-snapshot
Let The Puppets Move! Automated Testbed Generation for Service-oriented Mobile Applications
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.1109/sefm.2010.30openalex-snapshot
Testing Web Service Orchestrators in Context: A Symbolic Approach
inferred← citeshttps://doi.org/10.1109/soca.2012.6449460openalex-snapshot
Security certification-aware service discovery and selection
inferred← citeshttps://doi.org/10.1109/tse.2013.13openalex-snapshot
Generating Test Cases for Real-Time Systems Based on Symbolic Models
inferred← citeshttps://doi.org/10.1145/1287624.1287663openalex-snapshot
Symbolic message sequence charts
inferred← citeshttps://doi.org/10.1145/2089116.2089122openalex-snapshot
Symbolic Message Sequence Charts
inferred← citeshttps://doi.org/10.1145/2460383.2460384openalex-snapshot
A test-based security certification scheme for web services
inferred← citeshttps://doi.org/10.1145/3267468openalex-snapshot
Test-Based Security Certification of Composite Services
inferred← citeshttps://doi.org/10.1145/3297280.3297496openalex-snapshot
Matching implementations to specifications
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.14279/depositonce-2502openalex-snapshot
Modeling and Model-based Testing of Service Choreographies
inferred← citeshttps://doi.org/10.4204/eptcs.180.2openalex-snapshot
ioco theory for probabilistic automata
inferred← citeshttps://doi.org/10.4204/eptcs.80.9openalex-snapshot
Constraint-Based Heuristic On-line Test Generation from Non-deterministic I/O EFSMs
inferred← citeshttps://doi.org/10.52155/ijpsat.34.2.4649openalex-snapshot
Early Guessing of Performance Using Simulation as Part of Service Development
inferred← citeshttps://doi.org/10.54365/adyumbd.1368061openalex-snapshot
Nesneye Yönelik Programlamada Sınıf Test Üretimi için Olay Temelli Bir Yaklaşım Önerisi
inferred← citeshttps://doi.org/10.6100/ir632482openalex-snapshot
Model-based integration and testing of high-tech multi-disciplinary systems
inferred← citeshttps://doi.org/10.6100/ir780940openalex-snapshot
Improving input-output conformance testing theories
inferred← citeshttps://doi.org/10.70675/0115a305z8cd5z4d92z9547zdfe8d0c0dde7openalex-snapshot
Modélisation et test fonctionnel de l'orchestration de services Web
inferred← citeshttps://doi.org/10.70675/18a6d44bz42bdz476aza29fz60af615aab66openalex-snapshot
Symbolic test case generation for testing orchestrators in context
inferred← citeshttps://doi.org/10.70675/2a5fd2c0z8a3az4365zbd82zad0989f7ed60openalex-snapshot
Automated test generation for production systems with a model-based testing approach
inferred← citeshttps://doi.org/10.70675/be199593z2f58z4d64zb458z908f007292dcopenalex-snapshot
Test case generation for Symbolic Distributed System Models : Application to Trickle based IoT Protocol
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.