On the public citation graph

Efficient coverage of parallel and hierarchical stateflow models for test case generation

https://doi.org/10.1002/stvr.444
0 signed · 50 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.1002/stvr.264openalex-snapshot
Generating test data from state‐based specifications
inferredcites →https://doi.org/10.1002/stvr.294openalex-snapshot
Search‐based software test data generation: a survey
inferredcites →https://doi.org/10.1007/3-540-45110-2_147openalex-snapshot
Structural and Functional Sequence Test of Dynamic and State-Based Software with Evolutionary Algorithms
inferredcites →https://doi.org/10.1007/3-540-46674-6_1openalex-snapshot
Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing
inferredcites →https://doi.org/10.1007/978-3-540-24721-0_17openalex-snapshot
An Operational Semantics for Stateflow
inferredcites →https://doi.org/10.1007/978-3-540-70545-1_19openalex-snapshot
AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems
inferredcites →https://doi.org/10.1007/978-3-540-70930-5_6openalex-snapshot
An Instrumentation-Based Approach to Controller Model Validation
inferredcites →https://doi.org/10.1007/978-3-540-71493-4_27openalex-snapshot
Robust Test Generation and Coverage for Hybrid Systems
inferredcites →https://doi.org/10.1007/s10009-007-0049-7openalex-snapshot
An operational semantics for Stateflow
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.cor.2007.01.015openalex-snapshot
Evolutionary functional testing
inferredcites →https://doi.org/10.1016/j.entcs.2004.12.005openalex-snapshot
Systematic Model-Based Testing of Embedded Automotive Software
inferredcites →https://doi.org/10.1016/j.jss.2007.05.039openalex-snapshot
A search-based framework for automatic testing of MATLAB/Simulink models
inferredcites →https://doi.org/10.1108/ir.1999.04926fae.001openalex-snapshot
Lecture Notes in Computer Science 1205
inferredcites →https://doi.org/10.1109/ase.2001.989794openalex-snapshot
Automated validation of software models
inferredcites →https://doi.org/10.1109/date.2004.1268842openalex-snapshot
Using counter example guided abstraction refinement to find complex bugs
inferredcites →https://doi.org/10.1109/icse-companion.2009.5071030openalex-snapshot
Search-based testing of complex simulink models containing stateflow diagrams
inferredcites →https://doi.org/10.1109/icse.2007.41openalex-snapshot
Hybrid Concolic Testing
inferredcites →https://doi.org/10.1109/icsm.2003.1235404openalex-snapshot
Slicing of state-based models
inferredcites →https://doi.org/10.1109/real.1998.739746openalex-snapshot
Automatic testing of reactive systems
inferredcites →https://doi.org/10.1109/taicpart.2009.15openalex-snapshot
Automated Test Data Generation for Coverage: Haven't We Solved This Problem Yet?
inferredcites →https://doi.org/10.1109/tse.1984.5010248openalex-snapshot
Program Slicing
inferredcites →https://doi.org/10.1109/tse.2009.52openalex-snapshot
A Systematic Review of the Application and Empirical Investigation of Search-Based Test Case Generation
inferredcites →https://doi.org/10.1145/1017753.1017795openalex-snapshot
Defining and translating a "safe" subset of simulink/stateflow into lustre
inferredcites →https://doi.org/10.1145/1064978.1065036openalex-snapshot
DART
inferredcites →https://doi.org/10.1145/1180405.1180445openalex-snapshot
EXE
inferredcites →https://doi.org/10.1145/1291151.1291172openalex-snapshot
Experience report
inferredcites →https://doi.org/10.1145/1291220.1291172openalex-snapshot
Experience report
inferredcites →https://doi.org/10.1145/143062.143100openalex-snapshot
Specification-based test oracles for reactive systems
inferredcites →https://doi.org/10.1145/1450058.1450071openalex-snapshot
Symbolic analysis for improving simulation coverage of Simulink/Stateflow models
inferredcites →https://doi.org/10.1145/1450058.1450088openalex-snapshot
Randomized directed testing (REDIRECT) for Simulink/Stateflow models
inferredcites →https://doi.org/10.1145/1569901.1570249openalex-snapshot
Evolutionary functional testing of continuous control systems
inferredcites →https://doi.org/10.1145/267580.267590openalex-snapshot
Software unit test coverage and adequacy
inferredcites →https://doi.org/10.1145/876638.876643openalex-snapshot
Counterexample-guided abstraction refinement for symbolic model checking
inferredcites →https://doi.org/10.5555/968878.969048openalex-snapshot
Using counter example guided abstraction refinement to find complex bugs

What points at this work

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

inferred← citeshttps://doi.org/10.1007/978-3-319-03602-1_9openalex-snapshot
An Integrated Analysis and Testing Methodology to Support Model-Based Quality Assurance
inferred← citeshttps://doi.org/10.1007/s10270-021-00924-8openalex-snapshot
Model-based test case generation and prioritization: a systematic literature review
inferred← citeshttps://doi.org/10.1007/s10664-018-9611-zopenalex-snapshot
Effective fault localization of automotive Simulink models: achieving the trade-off between test oracle effort and fault localization accuracy
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.1016/bs.adcom.2021.01.002openalex-snapshot
Evaluating software testing techniques: A systematic mapping study
inferred← citeshttps://doi.org/10.1016/j.infsof.2014.05.007openalex-snapshot
Search-based automated testing of continuous controllers: Framework, tool support, and case studies
inferred← citeshttps://doi.org/10.1109/saner.2017.7884636openalex-snapshot
Improving fault localization for Simulink models using search-based testing and prediction models
inferred← citeshttps://doi.org/10.1109/tse.2018.2811489openalex-snapshot
Test Generation and Test Prioritization for Simulink Models with Dynamic Behavior
inferred← citeshttps://doi.org/10.1145/2038642.2038683openalex-snapshot
Cross-layer analysis, testing and verification of automotive control software
inferred← citeshttps://doi.org/10.1145/2489280.2489285openalex-snapshot
Analysis and testing of matlab simulink models: a systematic mapping study
inferred← citeshttps://doi.org/10.1145/2786805.2786818openalex-snapshot
Effective test suites for mixed discrete-continuous stateflow controllers
inferred← citeshttps://doi.org/10.1145/2884781.2884797openalex-snapshot
Automated test suite generation for time-continuous simulink models
inferred← citeshttps://doi.org/10.1504/ijbic.2013.053045openalex-snapshot
Heuristic search-based approach for automated test data generation: a survey
inferred← citeshttps://doi.org/10.21203/rs.3.rs-2315060/v1openalex-snapshot
Improve Model Testing by Integrating Bounded Model Checking and Coverage Guided Fuzzing
inferred← citeshttps://doi.org/10.3390/electronics12071573openalex-snapshot
Improve Model Testing by Integrating Bounded Model Checking and Coverage Guided Fuzzing
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.