On the public citation graph
SMArDT modeling for automotive software testing
0 signed · 81 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/j.2334-5837.2007.tb02952.xopenalex-snapshot
8.3.2 A Formal Universal Systems Semantics for SysML
inferredcites →https://doi.org/10.1007/11754008_7openalex-snapshot
Generating Test Cases for Web Services Using Extended Finite State Machine
inferredcites →https://doi.org/10.1007/3-540-40911-4_6openalex-snapshot
Activity Graphs and Processes
inferredcites →https://doi.org/10.1007/3-540-46852-8_30openalex-snapshot
Generating Tests from UML Specifications
inferredcites →https://doi.org/10.1007/978-3-319-33933-7openalex-snapshot
Modeling with UML: Language, Concepts, Methods
inferredcites →https://doi.org/10.1007/978-3-319-95246-8_23openalex-snapshot
Abstraction and Refinement in Hierarchically Decomposable and Underspecified CPS-Architectures
inferredcites →https://doi.org/10.1007/978-3-540-39656-7_16openalex-snapshot
Model-Based Testing of Object-Oriented Systems
inferredcites →https://doi.org/10.1007/978-3-540-78800-3_24openalex-snapshot
Z3: An Efficient SMT Solver
inferredcites →https://doi.org/10.1007/b137241openalex-snapshot
Model-Based Testing of Reactive Systems
inferredcites →https://doi.org/10.1007/s10009-003-0128-3openalex-snapshot
Model-based testing for real
inferredcites →https://doi.org/10.1108/09684909710184626openalex-snapshot
Analysis of pricing strategies for new product introduction
inferredcites →https://doi.org/10.1109/fose.2007.14openalex-snapshot
Model-driven Development of Complex Software: A Research Roadmap
inferredcites →https://doi.org/10.1109/icsec.2016.7859885openalex-snapshot
Detecting deadlock in activity diagram using process automata
inferredcites →https://doi.org/10.1109/ivs.2012.6232130openalex-snapshot
Car2X-based perception in a high-level fusion architecture for cooperative perception systems
inferredcites →https://doi.org/10.1109/mc.2004.172openalex-snapshot
Meaningful modeling: what's the semantics of "semantics"?
inferredcites →https://doi.org/10.1109/models.2017.29openalex-snapshot
Component and Connector Views in Practice: An Experience Report
inferredcites →https://doi.org/10.1109/ms.2003.1231146openalex-snapshot
The pragmatics of model-driven development
inferredcites →https://doi.org/10.1145/1062455.1062529openalex-snapshot
One evaluation of model-based testing and its automation
inferredcites →https://doi.org/10.1145/1134285.1134292openalex-snapshot
Challenges in automotive software engineering
inferredcites →https://doi.org/10.1145/1353673.1353681openalex-snapshot
A survey on model-based testing approaches
inferredcites →https://doi.org/10.1145/1953355.1953374openalex-snapshot
Generation of improved test cases from UML state diagram using genetic algorithm
inferredcites →https://doi.org/10.1145/2002931.2002934openalex-snapshot
Automatic test concretization to supply end-to-end MBT for automotive mechatronic systems
inferredcites →https://doi.org/10.1145/2491411.2491414openalex-snapshot
Synthesis of component and connector models from crosscutting structural views
inferredcites →https://doi.org/10.1145/2568225.2568237openalex-snapshot
Verifying component and connector models against crosscutting structural views
inferredcites →https://doi.org/10.1145/2631890.2631891openalex-snapshot
Testing methods used in the automotive industry: results from a survey
inferredcites →https://doi.org/10.1145/2771783.2771799openalex-snapshot
RTCM: a natural language based, automated, and practical test case generation framework
inferredcites →https://doi.org/10.1145/2790798.2790801openalex-snapshot
A Graph Transformation Approach for Automatic Test Cases Generation from UML Activity Diagrams
inferredcites →https://doi.org/10.1145/2791060.2791077openalex-snapshot
Behavioral compatibility of simulink models for product line maintenance and evolution
inferredcites →https://doi.org/10.1145/2833258.2833294openalex-snapshot
A Method for Automated Test Data Generation from Sequence Diagrams and Object Constraint Language
inferredcites →https://doi.org/10.1145/2934466.2934483openalex-snapshot
Test-driven semantical similarity analysis for software product line extraction
inferredcites →https://doi.org/10.1145/3183519.3183533openalex-snapshot
Improving model-based testing in automotive software engineering
inferredcites →https://doi.org/10.1201/b11321openalex-snapshot
Model-Based Testing for Embedded Systems
inferredcites →https://doi.org/10.1360/crad20060108openalex-snapshot
UMLTGF: A Tool for Generating Test Cases from UML Activity Diagrams Based on Grey-Box Method
inferredcites →https://doi.org/10.48550/arxiv.1409.2356openalex-snapshot
An Operational Semantics for Activity Diagrams using SMV
inferredcites →https://doi.org/10.5220/0006603701630178openalex-snapshot
Model-Based Development of Self-Adaptive Autonomous Vehicles using the SMARDT Methodology
inferredcites →https://doi.org/10.5220/0006722102560267openalex-snapshot
Fast Simulation Preorder Algorithm
inferredcites →https://doi.org/10.5555/954014.954046openalex-snapshot
Automated-generating test case using UML statechart diagrams
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/spe.2708openalex-snapshot
Framework for cloud‐based software test data generation service
inferred← citeshttps://doi.org/10.1002/spe.3436openalex-snapshot
Spatio‐Clock Synchronous Constraint Systems Specification and Verification to Ensure Autonomous Driving Safety
inferred← citeshttps://doi.org/10.1002/stvr.1860openalex-snapshot
On transforming model‐based tests into code: A systematic literature review
inferred← citeshttps://doi.org/10.1002/sys.70005openalex-snapshot
Generating Logical Architectures from SysML Behavior Models
inferred← citeshttps://doi.org/10.1007/978-3-030-31280-0_13openalex-snapshot
Towards an Efficient Performance Testing Through Dynamic Workload Adaptation
inferred← citeshttps://doi.org/10.1007/978-3-030-62136-0_17openalex-snapshot
Artifact-Based Analysis for the Development of Collaborative Embedded Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-78368-6_13openalex-snapshot
Function-Oriented Model-Based Product Development
inferred← citeshttps://doi.org/10.1007/978-3-030-81915-6_10openalex-snapshot
Compositional Modelling Languages with Analytics and Construction Infrastructures Based on Object-Oriented Techniques—The MontiCore Approach
inferred← citeshttps://doi.org/10.1007/978-3-030-83128-8_12openalex-snapshot
Improving the Model-Based Systems Engineering Process
inferred← citeshttps://doi.org/10.1007/978-3-031-60494-2_13openalex-snapshot
AutoKnigge—Modeling, Evaluation and Verification of Cooperative Interacting Automobiles
inferred← citeshttps://doi.org/10.1007/978-3-658-45196-7_1openalex-snapshot
Application of Model-Based Systems Engineering Methods in Virtual Homologation Procedures for Automated Driving Functions
inferred← citeshttps://doi.org/10.1007/978-981-16-7618-5_40openalex-snapshot
Object-Oriented Software Testing: A Review
inferred← citeshttps://doi.org/10.1007/s10010-023-00623-4openalex-snapshot
Modeling language for the function-oriented development of mechatronic systems with motego
inferred← citeshttps://doi.org/10.1007/s10270-021-00970-2openalex-snapshot
Low-code development and model-driven engineering: Two sides of the same coin?
inferred← citeshttps://doi.org/10.1007/s10664-024-10516-xopenalex-snapshot
Software product line testing: a systematic literature review
inferred← citeshttps://doi.org/10.1016/j.cola.2023.101226openalex-snapshot
Composition operators for modeling languages: A literature review
inferred← citeshttps://doi.org/10.1016/j.jss.2021.111087openalex-snapshot
MontiThings: Model-Driven Development and Deployment of Reliable IoT Applications
inferred← citeshttps://doi.org/10.1088/1757-899x/1097/1/012001openalex-snapshot
Mechanical concept development using principle solution models
inferred← citeshttps://doi.org/10.1088/1757-899x/1097/1/012004openalex-snapshot
Model-Based Design Workflows for Cyber-Physical Systems Applied to an Electric-Mechanical Coolant Pump
inferred← citeshttps://doi.org/10.1109/access.2020.3021502openalex-snapshot
Model-Based Software Design and Testing in Blockchain Smart Contracts: A Systematic Literature Review
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/cisct57197.2023.10351231openalex-snapshot
An Investigation Into the Efficacy of RANOREX Software Test Automation Tool
inferred← citeshttps://doi.org/10.1109/iv51971.2022.9827215openalex-snapshot
Agent-Based Autonomous Vehicle Simulation with Hardware Emulation in the Loop
inferred← citeshttps://doi.org/10.1109/models-c.2019.00011openalex-snapshot
Simulation as a Service for Cooperative Vehicles
inferred← citeshttps://doi.org/10.1109/models-c.2019.00052openalex-snapshot
Simulation of Model Execution for Embedded Systems
inferred← citeshttps://doi.org/10.1109/rasse64831.2025.11315301openalex-snapshot
Smart Testing for Smart Vehicles: Conditional Regression Strategies for Software Updates
inferred← citeshttps://doi.org/10.1115/1.4056807openalex-snapshot
Towards a Holistic and Functional Model-Based Design Method for Mechatronic Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1145/3336294.3336318openalex-snapshot
Applying Product Line Testing for the Electric Drive System
inferred← citeshttps://doi.org/10.1145/3358501.3361236openalex-snapshot
Mind the gap: lessons learned from translating grammars between MontiCore and Xtext
inferred← citeshttps://doi.org/10.1145/3365438.3410938openalex-snapshot
Modeling mechanical functional architectures in SysML
inferred← citeshttps://doi.org/10.1145/3377024.3377035openalex-snapshot
Structurally evolving component-port-connector architectures of centrally controlled systems
inferred← citeshttps://doi.org/10.1145/3567512.3567534openalex-snapshot
Neural Language Models and Few Shot Learning for Systematic Requirements Processing in MDSE
inferred← citeshttps://doi.org/10.1145/3623476openalex-snapshot
Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering
inferred← citeshttps://doi.org/10.1145/3623476.3623527openalex-snapshot
Deriving Integrated Multi-Viewpoint Modeling Languages from Heterogeneous Modeling Languages: An Experience Report
inferred← citeshttps://doi.org/10.3390/app11104601openalex-snapshot
Stateflow-Based Energy Management Strategy for Hybrid Energy System to Mitigate Load Shedding
inferred← citeshttps://doi.org/10.5381/jot.2019.18.1.r1openalex-snapshot
Innovations in Model-based Software And Systems Engineering.
inferred← citeshttps://doi.org/10.5381/jot.2020.19.3.a4openalex-snapshot
A Library of Literals, Expressions, Types, and Statements for Compositional Language Design.
inferred← citeshttps://doi.org/10.5381/jot.2021.20.2.a7openalex-snapshot
A Methodology for Retrofitting Generative Aspects in Existing Applications.
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.