588 search results - page 37 / 118 » Using UML Environment Models for Test Case Generation |
86
Voted
CAISE
2000
Springer
15 years 4 months ago
2000
Springer
This paper presents an approach and a tool to increase specification quality by using a combination of UML and formal languages. Our approach is based on the expression of the UML ...
110
Voted
ENTCS
2008
15 years 16 days ago
2008
Integrated Development Environments supporting software and model evolution have to deal with the problem of maintaining coherence between code and model despite changes which may...
112
click to vote
EUROMICRO
2000
IEEE
15 years 4 months ago
2000
IEEE
In this paper we propose a high-level description of the behavior of digital systems. Behaviors are specified with a graphical synchronous model: “SyncCharts”. SyncCharts supp...
112
click to vote
ICSE
2001
IEEE-ACM
15 years 5 months ago
2001
IEEE-ACM
Design traceability has been widely recognized as being an integral aspect of software development. In the past years this fact has been amplified due to the increased use of lega...
122
click to vote
KBSE
2005
IEEE
15 years 6 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...