Towards Automated Support for Deriving Test Data From UML Statecharts

doi 10.22215/etd/2004-05711
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

Carleton University

Related search

Formal Test-Case Generation for UML Statecharts

English

Formal Verification of UML Statecharts With Real-Time Extensions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

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

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Automatically Deriving a UML Analysis Model From a Use Case Model

English

Automated Test Generation for Optimizing Compilers With OpenMP Support

MATEC Web of Conferences
Materials ScienceEngineeringChemistry
2018English

Structure Preserving Data Abstractions for Statecharts

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Towards Automated Logistics Service Comparison - Decision Support for Logistics Network Management

2012English

Deriving Relevant Functional Measures for Automated Development Projects

Information and Software Technology
Computer Science ApplicationsInformation SystemsSoftware
1993English

Novel Approach to Automated Test Data Generation for AOP

International Journal of Information and Education Technology
Computer Science ApplicationsEducation
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy