85 search results - page 1 / 17 » Debugging UML Designs with Model Checking |
47
Voted
JOT
2002
14 years 9 months ago
2002
102
click to vote
SAC
2008
ACM
14 years 9 months ago
2008
ACM
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...
UML
2001
Springer
15 years 2 months ago
2001
Springer
: This paper presents a Unified Modeling Language (UML) model for VisualAge Generator (VG) business-oriented applications. This model was defined to bridge between two different mo...
ISSTA
2009
ACM
15 years 2 months ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
100
click to vote
SCESM
2006
ACM
15 years 4 months ago
2006
ACM
The dynamic behavior of systems is best described by Finite-state machines. Generation of executable tests from behavioral models such as UML Statecharts offers benefits such as s...