On the public citation graph
Testing with model checkers: a survey
0 signed · 240 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/1099-1689(200012)10:4<229::aid-stvr213>3.0.co;2-oopenalex-snapshot
Specification based test sequence generation with propositional logic
inferredcites →https://doi.org/10.1007/10722167_15openalex-snapshot
Counterexample-Guided Abstraction Refinement
inferredcites →https://doi.org/10.1007/3-540-11494-7_22openalex-snapshot
Specification and verification of concurrent systems in CESAR
inferredcites →https://doi.org/10.1007/3-540-36498-6_15openalex-snapshot
Using Spin to Generate Tests from ASM Specifications
inferredcites →https://doi.org/10.1007/3-540-44829-2_17openalex-snapshot
Software Verification with BLAST
inferredcites →https://doi.org/10.1007/3-540-45061-0_5openalex-snapshot
Model Checking and Testing Combined
inferredcites →https://doi.org/10.1007/3-540-45139-0_5openalex-snapshot
Directed explicit model checking with HSF-SPIN
inferredcites →https://doi.org/10.1007/3-540-45657-0_39openalex-snapshot
Vacuum Cleaning CTL Formulae
inferredcites →https://doi.org/10.1007/3-540-48153-2_8openalex-snapshot
Vacuity Detection in Temporal Model Checking
inferredcites →https://doi.org/10.1007/3-540-48234-2_11openalex-snapshot
Java PathFinder A Translator from Java to Promela
inferredcites →https://doi.org/10.1007/3-540-48683-6_44openalex-snapshot
NuSMV: A New Symbolic Model Verifier
inferredcites →https://doi.org/10.1007/3-540-49059-0_14openalex-snapshot
Symbolic Model Checking without BDDs
inferredcites →https://doi.org/10.1007/3-540-53479-2_17openalex-snapshot
Action versus state based logics for transition systems
inferredcites →https://doi.org/10.1007/3-540-63166-6_28openalex-snapshot
Efficient detection of vacuity in ACTL formulas
inferredcites →https://doi.org/10.1007/978-1-4757-5939-6_5openalex-snapshot
Mutation of Model Checker Specifications for Test Generation and Evaluation
inferredcites →https://doi.org/10.1007/978-3-540-24617-6_9openalex-snapshot
Time-Optimal Real-Time Test Case Generation Using Uppaal
inferredcites →https://doi.org/10.1007/978-3-540-30232-2_17openalex-snapshot
Witness and Counterexample Automata for ACTL
inferredcites →https://doi.org/10.1007/978-3-540-31848-4_8openalex-snapshot
Using Model Checking for Reducing the Cost of Test Generation
inferredcites →https://doi.org/10.1007/978-3-540-39910-0_9openalex-snapshot
Counterexamples Revisited: Principles, Algorithms, Applications
inferredcites →https://doi.org/10.1007/978-3-540-71289-3_23openalex-snapshot
Redundancy Based Test-Suite Reduction
inferredcites →https://doi.org/10.1007/978-3-540-73770-4_11openalex-snapshot
Using Model Checking to Generate Fault Detecting Tests
inferredcites →https://doi.org/10.1007/b137241openalex-snapshot
Model-Based Testing of Reactive Systems
inferredcites →https://doi.org/10.1007/bfb0025774openalex-snapshot
Design and synthesis of synchronization skeletons using branching time temporal logic
inferredcites →https://doi.org/10.1007/s10009-003-0117-6openalex-snapshot
Efficient monitoring of safety properties
inferredcites →https://doi.org/10.1007/s10515-005-6205-yopenalex-snapshot
Rewriting-Based Techniques for Runtime Verification
inferredcites →https://doi.org/10.1007/s11219-007-9031-6openalex-snapshot
Using model-checkers to generate and analyze property relevant test-cases
inferredcites →https://doi.org/10.1016/0096-0551(85)90011-6openalex-snapshot
Program testing by specification mutation
inferredcites →https://doi.org/10.1016/0304-3975(82)90125-6openalex-snapshot
Results on the propositional μ-calculus
inferredcites →https://doi.org/10.1017/cbo9780511809163openalex-snapshot
Introduction to Software Testing
inferredcites →https://doi.org/10.1049/sej.1994.0025openalex-snapshot
Applicability of modified condition/decision coverage to software testing
inferredcites →https://doi.org/10.1108/ir.1999.04926fae.001openalex-snapshot
Lecture Notes in Computer Science 1205
inferredcites →https://doi.org/10.1109/apsec.2003.1254388openalex-snapshot
Challenging formal specifications by mutation: a CSP security example
inferredcites →https://doi.org/10.1109/ase.2001.989799openalex-snapshot
Monitoring programs using rewriting
inferredcites →https://doi.org/10.1109/ase.2004.1342735openalex-snapshot
Test-suite reduction for model based tests: effects on test quality and implications for testing
inferredcites →https://doi.org/10.1109/c-m.1978.218136openalex-snapshot
Hints on Test Data Selection: Help for the Practicing Programmer
inferredcites →https://doi.org/10.1109/compsac.2005.66openalex-snapshot
Coverage-Directed Test Generation with Model Checkers: Challenges and Opportunities
inferredcites →https://doi.org/10.1109/dac.1995.249985openalex-snapshot
Efficient Generation of Counterexamples and Witnesses in Symbolic Model Checking
inferredcites →https://doi.org/10.1109/dasc.1995openalex-snapshot
Proceedings of 14th Digital Avionics Systems Conference
inferredcites →https://doi.org/10.1109/dasc.2001.964253openalex-snapshot
Winnowing tests: Getting quality coverage from a model checker without quantity
inferredcites →https://doi.org/10.1109/ecbs.2001.922409openalex-snapshot
Coverage based test-case generation using model checkers
inferredcites →https://doi.org/10.1109/hase.1999.809499openalex-snapshot
A specification-based coverage metric to evaluate test sets
inferredcites →https://doi.org/10.1109/hase.2004.1281742openalex-snapshot
Specification test coverage adequacy criteria = specification test generation in adequacy criteria?
inferredcites →https://doi.org/10.1109/hldvt.2002.1224436openalex-snapshot
Automatic functional test program generation for pipelined processors using model checking
inferredcites →https://doi.org/10.1109/iceccs.1999.802856openalex-snapshot
Criteria for generating specification-based tests
inferredcites →https://doi.org/10.1109/iceccs.2000.873943openalex-snapshot
Evaluation of three specification-based testing criteria
inferredcites →https://doi.org/10.1109/icfem.1998.730569openalex-snapshot
Using model checking to generate tests from specifications
inferredcites →https://doi.org/10.1109/icse.2004.1317455openalex-snapshot
Generating tests from counterexamples
inferredcites →https://doi.org/10.1109/icsea.2006.75openalex-snapshot
Using Model-Checkers for Mutation-Based Test-Case Generation, Coverage Analysis and Specification Analysis
inferredcites →https://doi.org/10.1109/icsea.2007.71openalex-snapshot
Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers
inferredcites →https://doi.org/10.1109/icsm.1999.792604openalex-snapshot
Test case prioritization: an empirical study
inferredcites →https://doi.org/10.1109/issre.2003.1251034openalex-snapshot
Coverage criteria for logical expressions
inferredcites →https://doi.org/10.1109/lics.1990.113766openalex-snapshot
Model-checking for real-time systems
inferredcites →https://doi.org/10.1109/lics.2002.1029814openalex-snapshot
Tree-like counterexamples in model checking
inferredcites →https://doi.org/10.1109/mtv.2006.10openalex-snapshot
Directed Micro-architectural Test Generation for an Industrial Processor: A Case Study
inferredcites →https://doi.org/10.1109/sefm.2004.1347530openalex-snapshot
Generating efficient test sets with a model checker
inferredcites →https://doi.org/10.1109/sew.2003.1270730openalex-snapshot
Generating MC/DC adequate test sequences through model checking
inferredcites →https://doi.org/10.1109/sew.2006.26openalex-snapshot
Pseudo-Exhaustive Testing for Software
inferredcites →https://doi.org/10.1109/taicpart.2007.4344120openalex-snapshot
Mutant Minimization for Model-Checker Based Test-Case Generation
inferredcites →https://doi.org/10.1109/tase.2007.46openalex-snapshot
Specification-based Test Generation and Optimization Using Model Checking
inferredcites →https://doi.org/10.1109/tse.1985.232226openalex-snapshot
Selecting Software Test Data Using Data Flow Information
inferredcites →https://doi.org/10.1145/1007512.1007526openalex-snapshot
Test input generation with java PathFinder
inferredcites →https://doi.org/10.1145/1146238.1146243openalex-snapshot
Test input generation for java containers using state matching
inferredcites →https://doi.org/10.1145/1218776.1218787openalex-snapshot
Property relevant software testing with model-checkers
inferredcites →https://doi.org/10.1145/1291535.1291542openalex-snapshot
Using LTL rewriting to improve the performance of model-checker based test-case generation
inferredcites →https://doi.org/10.1145/1291535.1291543openalex-snapshot
Relating counterexamples to test cases in CTL model checking specifications
inferredcites →https://doi.org/10.1145/152388.152391openalex-snapshot
A methodology for controlling the size of a test suite
inferredcites →https://doi.org/10.1145/2455.2460openalex-snapshot
Algebraic laws for nondeterminism and concurrency
inferredcites →https://doi.org/10.1145/318593.318622openalex-snapshot
Checking that finite state concurrent programs satisfy their linear specification
inferredcites →https://doi.org/10.1145/343369.343384openalex-snapshot
Sequential abstract-state machines capture sequential algorithms
inferredcites →https://doi.org/10.1145/567067.567080openalex-snapshot
Automatic verification of finite state concurrent system using temporal logic specifications
inferredcites →https://doi.org/10.1145/800070.802190openalex-snapshot
Decision procedures and expressiveness in the temporal logic of branching time
inferredcites →https://doi.org/10.3217/jucs-007-11-1050openalex-snapshot
ASM-Based Testing: Coverage Criteria and Automatic Test Sequence
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.1489openalex-snapshot
Automatic test case generation from Simulink/Stateflow models using model checking
inferred← citeshttps://doi.org/10.1002/stvr.445openalex-snapshot
Applying formal methods to PCEP: an industrial case study from modeling to test generation
inferred← citeshttps://doi.org/10.1002/stvr.70002openalex-snapshot
Automated Game Testing With Online Search Agent and Model Construction, a Study
inferred← citeshttps://doi.org/10.1002/sys.21675openalex-snapshot
Component‐based specification, design and verification of adaptive systems
inferred← citeshttps://doi.org/10.1007/978-3-030-02852-7_6openalex-snapshot
Model-Based Verification and Testing Methodology for Safety-Critical Airborne Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-30446-1_11openalex-snapshot
Mutation Testing with Hyperproperties
inferred← citeshttps://doi.org/10.1007/978-3-030-52991-8_8openalex-snapshot
From Formal Test Objectives to TTCN-3 for Verifying ETCS Complex Software Control Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-76020-5_13openalex-snapshot
The ASMETA Approach to Safety Assurance of Software Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-04673-5_5openalex-snapshot
Automatic Test Generation with ASMETA for the Mechanical Ventilator Milano Controller
inferred← citeshttps://doi.org/10.1007/978-3-031-38828-6_8openalex-snapshot
Symbolic Observation Graph-Based Generation of Test Paths
inferred← citeshttps://doi.org/10.1007/978-3-031-40436-8_10openalex-snapshot
Towards Efficient Data-Flow Test Data Generation
inferred← citeshttps://doi.org/10.1007/978-3-031-43681-9_5openalex-snapshot
Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers
inferred← citeshttps://doi.org/10.1007/978-3-031-52183-6_2openalex-snapshot
Model-Based Testing of Asynchronously Communicating Distributed Controllers
inferred← citeshttps://doi.org/10.1007/978-3-031-65630-9_11openalex-snapshot
Testing the Migration from Analog to Software-Based Railway Interlocking Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-75390-9_8openalex-snapshot
Model-Based Testing of Railway Interlocking Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-90900-9_13openalex-snapshot
Advances in Automatic Software Testing: Test-Comp 2025
inferred← citeshttps://doi.org/10.1007/978-3-031-93706-4_8openalex-snapshot
Mode-Based Reactive Synthesis
inferred← citeshttps://doi.org/10.1007/978-3-031-94706-3_9openalex-snapshot
Test Case Generation from Graph Transformation Systems Using Deep Reinforcement Learning
inferred← citeshttps://doi.org/10.1007/978-3-032-22774-4_22openalex-snapshot
Testing in Formal Verification via Witness Generation (Empirical Evaluation)
inferred← citeshttps://doi.org/10.1007/978-3-032-22774-4_23openalex-snapshot
Evaluating Tools for Automatic Software Testing (Report on Test-Comp 2026)
inferred← citeshttps://doi.org/10.1007/978-3-319-09099-3_3openalex-snapshot
An Abstraction Technique for Testing Decomposable Systems by Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-319-09144-0_46openalex-snapshot
Exercising Java Exceptions Using Java Pathfinder and Program Instrumentation
inferred← citeshttps://doi.org/10.1007/978-3-319-10702-8_12openalex-snapshot
Test Specification Patterns for Automatic Generation of Test Sequences
inferred← citeshttps://doi.org/10.1007/978-3-319-21215-9_4openalex-snapshot
Case Study: Automatic Test Case Generation for a Secure Cache Implementation
inferred← citeshttps://doi.org/10.1007/978-3-319-29582-4_11openalex-snapshot
High Level Model Checker Based Testing of Electronic Contracts
inferred← citeshttps://doi.org/10.1007/978-3-319-39570-8_15openalex-snapshot
Multiple Mutation Testing from FSM
inferred← citeshttps://doi.org/10.1007/978-3-319-40648-0_5openalex-snapshot
Assisted Coverage Closure
inferred← citeshttps://doi.org/10.1007/978-3-319-46750-4_10openalex-snapshot
Towards MC/DC Coverage of Properties Specification Patterns
inferred← citeshttps://doi.org/10.1007/978-3-319-47443-4_10openalex-snapshot
Mutation-Based Test Generation for PLC Embedded Software Using Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-319-47443-4_4openalex-snapshot
Risk-Based Interoperability Testing Using Reinforcement Learning
inferred← citeshttps://doi.org/10.1007/978-3-319-62407-5_11openalex-snapshot
Test Case/Step Minimization for Visual Programming Language Models and Its Application to Space Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-62920-9_2openalex-snapshot
Designing Reliable Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-02949-3_6openalex-snapshot
Complementary Criteria for Testing Temporal Logic Properties
inferred← citeshttps://doi.org/10.1007/978-3-642-21768-5_6openalex-snapshot
Security Mutants for Property-Based Testing
inferred← citeshttps://doi.org/10.1007/978-3-642-24485-8_31openalex-snapshot
Model-Based Coverage-Driven Test Suite Generation for Software Product Lines
inferred← citeshttps://doi.org/10.1007/978-3-642-25658-5_43openalex-snapshot
Regression Testing of Bug-Fixes with AI Techniques
inferred← citeshttps://doi.org/10.1007/978-3-642-30473-6_3openalex-snapshot
From Model-Checking to Automated Testing of Security Protocols: Bridging the Gap
inferred← citeshttps://doi.org/10.1007/978-3-642-30473-6_7openalex-snapshot
Incremental Model-Based Testing of Delta-Oriented Software Product Lines
inferred← citeshttps://doi.org/10.1007/978-3-642-34176-2_20openalex-snapshot
Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations
inferred← citeshttps://doi.org/10.1007/978-3-642-38916-0_1openalex-snapshot
Incremental Refinement Checking for Test Case Generation
inferred← citeshttps://doi.org/10.1007/978-3-642-38916-0_2openalex-snapshot
Time for Mutants — Model-Based Mutation Testing with Timed Automata
inferred← citeshttps://doi.org/10.1007/978-3-642-38916-0_9openalex-snapshot
Generating Test Suites with Augmented Dynamic Symbolic Execution
inferred← citeshttps://doi.org/10.1007/978-3-642-41707-8_1openalex-snapshot
Using Logic Coverage to Improve Testing Function Block Diagrams
inferred← citeshttps://doi.org/10.1007/978-3-642-41707-8_9openalex-snapshot
Chaining Test Cases for Reactive System Testing
inferred← citeshttps://doi.org/10.1007/978-981-10-4436-6_5openalex-snapshot
Combined Model Checking and Testing Create Confidence—A Case on Commercial Automotive Operating System
inferred← citeshttps://doi.org/10.1007/978-981-16-7618-5_44openalex-snapshot
Using the Rodin Platform as a Programming Tool
inferred← citeshttps://doi.org/10.1007/s00165-009-0135-6openalex-snapshot
Lower bounds on lengths of checking sequences
inferred← citeshttps://doi.org/10.1007/s00165-017-0419-1openalex-snapshot
Incremental bounded model checking for embedded software
inferred← citeshttps://doi.org/10.1007/s10009-014-0317-2openalex-snapshot
Incremental test case generation using bounded model checking: an application to automatic rating
inferred← citeshttps://doi.org/10.1007/s10009-014-0355-9openalex-snapshot
Automated test generation using model checking: an industrial evaluation
inferred← citeshttps://doi.org/10.1007/s10009-014-0358-6openalex-snapshot
Generating test case chains for reactive systems
inferred← citeshttps://doi.org/10.1007/s10009-015-0404-zopenalex-snapshot
Advances in test generation for testing software and systems
inferred← citeshttps://doi.org/10.1007/s10009-019-00539-xopenalex-snapshot
Validation of the Hybrid ERTMS/ETCS Level 3 using Spin
inferred← citeshttps://doi.org/10.1007/s10009-020-00587-8openalex-snapshot
Cooperative verifier-based testing with CoVeriTest
inferred← citeshttps://doi.org/10.1007/s10270-018-0655-8openalex-snapshot
Testing concurrent user behavior of synchronous web applications with Petri nets
inferred← citeshttps://doi.org/10.1007/s10270-020-00806-5openalex-snapshot
Mixed-semantics composition of statecharts for the component-based design of reactive systems
inferred← citeshttps://doi.org/10.1007/s10270-021-00934-6openalex-snapshot
Model-based ideal testing of hardware description language (HDL) programs
inferred← citeshttps://doi.org/10.1007/s10270-026-01421-6openalex-snapshot
State space-based methods for validating model transformations in model checkers
inferred← citeshttps://doi.org/10.1007/s10515-026-00610-3openalex-snapshot
MoTDeReL: Model-based testing through deep reinforcement learning for software systems specified through graph transformation
inferred← citeshttps://doi.org/10.1007/s10703-019-00338-9openalex-snapshot
Synthesizing adaptive test strategies from temporal logic specifications
inferred← citeshttps://doi.org/10.1007/s11219-011-9150-yopenalex-snapshot
Enhancing structural software coverage by incrementally computing branch executability
inferred← citeshttps://doi.org/10.1007/s11219-017-9386-2openalex-snapshot
Model-based testing for software safety: a systematic mapping study
inferred← citeshttps://doi.org/10.1007/s11219-024-09702-3openalex-snapshot
Whole test suite generation from graph transformation specifications using ant colony optimization
inferred← citeshttps://doi.org/10.1007/s11334-026-00643-7openalex-snapshot
Integration test generation for state-based components in the Gamma framework
inferred← citeshttps://doi.org/10.1007/s11704-016-6192-0openalex-snapshot
The role of model checking in software engineering
inferred← citeshttps://doi.org/10.1007/s11741-011-0760-3openalex-snapshot
Generating test case specifications of web service composition using model checking
inferred← citeshttps://doi.org/10.1007/s13042-020-01149-9openalex-snapshot
Using search-based techniques for testing executable software models specified through graph transformations
inferred← citeshttps://doi.org/10.1016/bs.adcom.2015.03.003openalex-snapshot
A Research Overview of Tool-Supported Model-based Testing of Requirements-based Designs
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.compind.2018.08.003openalex-snapshot
Integrating model checking and model based testing for industrial software development
inferred← citeshttps://doi.org/10.1016/j.entcs.2016.01.004openalex-snapshot
Test Data Generation for Cyclic Executives with CBMC and Frama-C: A Case Study
inferred← citeshttps://doi.org/10.1016/j.eswa.2020.113458openalex-snapshot
Model checking intelligent avionics systems for test cases generation using multi-agent systems
inferred← citeshttps://doi.org/10.1016/j.future.2012.02.006openalex-snapshot
State of the art: Dynamic symbolic execution for automated test generation
inferred← citeshttps://doi.org/10.1016/j.ic.2023.105058openalex-snapshot
Formal verification for event stream processing: Model checking of BeepBeep stream processing pipelines
inferred← citeshttps://doi.org/10.1016/j.infsof.2016.04.003openalex-snapshot
Formal mutation testing for
inferred← citeshttps://doi.org/10.1016/j.jlap.2010.03.007openalex-snapshot
Test generation from P systems using model checking
inferred← citeshttps://doi.org/10.1016/j.jss.2013.11.1096openalex-snapshot
Delta-oriented model-based integration testing of large-scale systems
inferred← citeshttps://doi.org/10.1016/j.jss.2017.07.014openalex-snapshot
Temporal algebraic query of test sequences
inferred← citeshttps://doi.org/10.1016/j.scico.2023.102942openalex-snapshot
EvoMBT: Evolutionary model based testing
inferred← citeshttps://doi.org/10.1016/j.scico.2025.103265openalex-snapshot
Model-based testing of asynchronously communicating distributed controllers using validated mappings to formal representations
inferred← citeshttps://doi.org/10.1016/j.vlsi.2016.03.004openalex-snapshot
UA2TPG: An untestability analyzer and test pattern generator for SEUs in the configuration memory of SRAM-based FPGAs
inferred← citeshttps://doi.org/10.1109/access.2023.3282176openalex-snapshot
Survey of Model-Based Security Testing Approaches in the Automotive Domain
inferred← citeshttps://doi.org/10.1109/ahs.2013.6604248openalex-snapshot
Formal approaches to SEU testing in FPGAs
inferred← citeshttps://doi.org/10.1109/apsec.2011.26openalex-snapshot
Conformance Testing for OSEK/VDX Operating System Using Model Checking
inferred← citeshttps://doi.org/10.1109/asew67777.2025.00036openalex-snapshot
BMuzz: Combining Bounded Model Checking and Fuzzing to Enhance Code Coverage
inferred← citeshttps://doi.org/10.1109/cec.2010.35openalex-snapshot
On Model Checker Based Testing of Electronic Contracting Systems
inferred← citeshttps://doi.org/10.1109/compsac.2015.198openalex-snapshot
Model Based Testing of VHDL Programs
inferred← citeshttps://doi.org/10.1109/csci54926.2021.00361openalex-snapshot
Automatic Test Cases Generation for C Written Programs Using Model Checking
inferred← citeshttps://doi.org/10.1109/csmr-wcre.2014.6747207openalex-snapshot
Model inference and security testing in the spacios project
inferred← citeshttps://doi.org/10.1109/cybermatics_2018.2018.00222openalex-snapshot
Rethinking Blockchain Security: Position Paper
inferred← citeshttps://doi.org/10.1109/eduhpc54835.2021.00010openalex-snapshot
Automating Testing of Visual Observed Concurrency
inferred← citeshttps://doi.org/10.1109/etfa.2015.7301602openalex-snapshot
Automatic test case generation for PLC programs using coverage metrics
inferred← citeshttps://doi.org/10.1109/fdl.2016.7880382openalex-snapshot
Designing reliable cyber-physical systems overview associated to the special session at FDL'16
inferred← citeshttps://doi.org/10.1109/fmcad.2016.7886656openalex-snapshot
Synthesizing adaptive test strategies from temporal logic specifications
inferred← citeshttps://doi.org/10.1109/icadlt.2013.6568431openalex-snapshot
From formal specifications to efficient test scenarios generation
inferred← citeshttps://doi.org/10.1109/icct.2011.6157962openalex-snapshot
A model guided security vulnerability discovery approach for network protocol implementation
inferred← citeshttps://doi.org/10.1109/icsdm.2011.5969042openalex-snapshot
RPRA: A novel approach to mastering geospatial web service testing complexity
inferred← citeshttps://doi.org/10.1109/icst.2009.33openalex-snapshot
An Evaluation of Model Checkers for Specification Based Test Case Generation
inferred← citeshttps://doi.org/10.1109/icst.2010.27openalex-snapshot
A Counter-Example Testing Approach for Orchestrated Services
inferred← citeshttps://doi.org/10.1109/icst.2012.105openalex-snapshot
Formal Model-Based Test for AUTOSAR Multicore RTOS
inferred← citeshttps://doi.org/10.1109/icst.2013.29openalex-snapshot
Scaling Model Checking for Test Generation Using Dynamic Inference
inferred← citeshttps://doi.org/10.1109/icst.2013.62openalex-snapshot
LBTest: A Learning-Based Testing Tool for Reactive Systems
inferred← citeshttps://doi.org/10.1109/icst.2016.23openalex-snapshot
How Well are Your Requirements Tested?
inferred← citeshttps://doi.org/10.1109/icst.2017.54openalex-snapshot
NuSeen: A Tool Framework for the NuSMV Model Checker
inferred← citeshttps://doi.org/10.1109/icstw.2011.18openalex-snapshot
Protocol Security Testing with SPIN and TTCN-3
inferred← citeshttps://doi.org/10.1109/icstw.2011.41openalex-snapshot
Towards Search-Based Testing for Event-B Models
inferred← citeshttps://doi.org/10.1109/icstw.2011.86openalex-snapshot
TripleT: Improving Test Responsiveness for High Performance Embedded Systems
inferred← citeshttps://doi.org/10.1109/icstw.2014.25openalex-snapshot
On Studying the Effectiveness of Extended Finite State Machine Based Test Selection Criteria
inferred← citeshttps://doi.org/10.1109/icstw.2014.38openalex-snapshot
Towards a Test Automation Improvement Model (TAIM)
inferred← citeshttps://doi.org/10.1109/icstw.2018.00037openalex-snapshot
Test Automation - Automation of What?
inferred← citeshttps://doi.org/10.1109/icstw.2019.00025openalex-snapshot
Automatic Refinement of ASM Abstract Test Cases
inferred← citeshttps://doi.org/10.1109/icstw50294.2020.00024openalex-snapshot
Model-Based Testing for MAPE-K adaptation control loops
inferred← citeshttps://doi.org/10.1109/issre.2017.32openalex-snapshot
AQAT: The Architecture Quality Assurance Tool for Critical Embedded Systems
inferred← citeshttps://doi.org/10.1109/ivs.2016.7535550openalex-snapshot
Temporal logic for finding undesired behaviors of autonomous vehicles in a state space explored by dynamic analysis
inferred← citeshttps://doi.org/10.1109/iwast.2009.5069037openalex-snapshot
Experiments on the test case length in specification based test case generation
inferred← citeshttps://doi.org/10.1109/notere.2010.5536604openalex-snapshot
A semi-automated approach to validate ontology mappings
inferred← citeshttps://doi.org/10.1109/qsic.2009.36openalex-snapshot
Increasing Diversity in Coverage Test Suites Using Model Checking
inferred← citeshttps://doi.org/10.1109/qsic.2011.22openalex-snapshot
The IntiSa Approach: Test Input Data Generation for Non-primitive Data Types by Means of SMT Solver Based Bounded Model Checking
inferred← citeshttps://doi.org/10.1109/qsic.2012.41openalex-snapshot
Redefinition of Fault Classes in Logic Expressions
inferred← citeshttps://doi.org/10.1109/qsic.2014.40openalex-snapshot
Automating Test-Suite Augmentation
inferred← citeshttps://doi.org/10.1109/quatic.2014.15openalex-snapshot
Automatic Test Set Generation for Function Block Based Systems Using Model Checking
inferred← citeshttps://doi.org/10.1109/ret.2019.00010openalex-snapshot
Automata Based Test Generation with SpecPro
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/ssiri-c.2010.22openalex-snapshot
Towards Test Case Generation for Synthesizable VHDL Programs Using Model Checker
inferred← citeshttps://doi.org/10.1109/syscon.2018.8369586openalex-snapshot
Modeling and cross-domain dependability analysis of cyber-physical systems
inferred← citeshttps://doi.org/10.1109/taicpart.2009.20openalex-snapshot
An Evaluation of Specification Based Test Generation Techniques Using Model Checkers
inferred← citeshttps://doi.org/10.1109/tcad.2017.2705123openalex-snapshot
MCXplore: Automating the Validation Process of DRAM Memory Controller Designs
inferred← citeshttps://doi.org/10.1109/tr.2021.3101318openalex-snapshot
Production Monitoring to Improve Test Suites
inferred← citeshttps://doi.org/10.1109/tse.2015.2490067openalex-snapshot
Bidirectional Symbolic Analysis for Effective Branch Testing
inferred← citeshttps://doi.org/10.1109/tse.2017.2781231openalex-snapshot
Decomposition-Based Approach for Model-Based Test Generation
inferred← citeshttps://doi.org/10.1145/3128473.3128475openalex-snapshot
From Statecharts into Model Checking
inferred← citeshttps://doi.org/10.1145/3338906.3338932openalex-snapshot
Finding and understanding bugs in software model checkers
inferred← citeshttps://doi.org/10.1145/3652620.3687820openalex-snapshot
Towards the Formal Verification of SysML v2 Models
inferred← citeshttps://doi.org/10.1155/2013/138287openalex-snapshot
A Latent Implementation Error Detection Method for Software Validation
inferred← citeshttps://doi.org/10.1155/2014/645235openalex-snapshot
Test Purpose Oriented I/O Conformance Test Selection with Colored Petri Nets
inferred← citeshttps://doi.org/10.11606/d.3.2018.tde-04102018-135028openalex-snapshot
Especificação e verificação formal de requisitos para sistemas de tráfego aéreo.
inferred← citeshttps://doi.org/10.11606/d.45.2010.tde-29092010-191938openalex-snapshot
Ambiente integrado para verificação e teste da coordenação de componentes tolerantes a falhas
inferred← citeshttps://doi.org/10.11606/t.55.2019.tde-10012019-085746openalex-snapshot
Automatic generation of configurable test-suites for software product lines
inferred← citeshttps://doi.org/10.1177/1071181319631157openalex-snapshot
Task-based Automated Test Case Generation for Human-machine Interaction
inferred← citeshttps://doi.org/10.1177/1729881419885697openalex-snapshot
Modeling and verification of contingency resolution strategies for multi-robot missions using temporal logic
inferred← citeshttps://doi.org/10.2172/1495188openalex-snapshot
Defining and Characterizing Methods, Tools, and Computing Resources to Support Pseudo Exhaustive Testability of Software Based I&C Devices
inferred← citeshttps://doi.org/10.22215/etd/2013-09934openalex-snapshot
Verifying Real-Time Embedded Software by Means of Automated State-based Online Testing and the SPIN Model Checker—Application to RTEdge Models
inferred← citeshttps://doi.org/10.2298/csis190430040eopenalex-snapshot
Verification and testing of safety-critical airborne systems: A model-based methodology
inferred← citeshttps://doi.org/10.23940/ijpe.18.06.p15.12411250openalex-snapshot
Test Scenario Generation using Model Checking
inferred← citeshttps://doi.org/10.2514/6.2015-1868openalex-snapshot
Trusting Outsourced Components In Flight Critical Systems
inferred← citeshttps://doi.org/10.3311/minisy2023-001openalex-snapshot
Integration Test Generation and Formal Verification for Distributed Controllers
inferred← citeshttps://doi.org/10.33411/ijist/1100openalex-snapshot
Explicit State Model Checking Effects on Learning-Based Testing
inferred← citeshttps://doi.org/10.3390/sym10050146openalex-snapshot
Extended Covering Arrays for Sequence Coverage
inferred← citeshttps://doi.org/10.4018/978-1-4666-2779-6.ch010openalex-snapshot
Ontology Mapping Validation
inferred← citeshttps://doi.org/10.4304/jsw.9.5.1229-1236openalex-snapshot
UML-Checker: An Approach for Verifying UML Behavioral Diagrams
inferred← citeshttps://doi.org/10.46632/7/4/5openalex-snapshot
A Review on Structural Equation Modeling and Its Classification
inferred← citeshttps://doi.org/10.70675/b48960fdz8d45z48f9za370z38575e4129b0openalex-snapshot
Strengthening fonctional validation of critical system by using Model Checking : application to Instrumentation and control systems in nuclear power plants
inferred← citeshttps://doi.org/10.70675/e0b92a87z651fz4e22z8c52zae7c4a687fa2openalex-snapshot
Cross-fertilizing formal approaches for protocol conformance and performance testing
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.