Formal Test-Case Generation for UML Statecharts

doi 10.1109/iceccs.2004.1310906
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

IEEE Comput. Soc

Related search

Formal Verification of UML Statecharts With Real-Time Extensions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Towards Automated Support for Deriving Test Data From UML Statecharts

English

A Formal Semantics of UML StateCharts by Means of Timed Petri Nets

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Test Case Generation Using UML State Diagram and OCL Expression

International Journal of Computer Applications
2014English

A Systematic Mapping of Test Case Generation Techniques Using UML Interaction Diagrams

Journal of software: Evolution and Process
Software
2019English

Formal Proof From UML Models

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Test Case Generation for Convolutional Neural Network

International Journal of Computing and Digital Systems
Computer GraphicsHuman-Computer InteractionComputer NetworksCommunicationsInformation SystemsComputer-Aided DesignInnovationManagement of TechnologyArtificial Intelligence
2020English

Formalizing Interoperability for Test Case Generation Purpose

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2009English

UML Activity Diagram Use for Functional Test Suit Generation and Redundancy Removal Supported Model Driven Testing

International Journal of Engineering and Advanced Technology
EngineeringComputer Science ApplicationsEnvironmental Engineering
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy