2026 search results - page 4 / 406 » Tools for Test Case Generation |
ICTAC
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. The classical work on test case generation and formal methods focuses either on algebraic or model-based specifications. In this paper we propose an approach to derive t...
68
Voted
QSIC
2003
IEEE
15 years 2 months ago
2003
IEEE
The Abstract State Machine Language supports use-case oriented modeling in a faithful way. In this paper we discuss how the AsmL test tool, a new component of the AsmL tool environ...
87
Voted
SE
2008
14 years 11 months ago
2008
: In this paper, we discuss one approach of automated test case generation from UML models and OCL expressions. We show how to use UML and OCL to support several coverage criteria....
140
Voted
IASTEDSE
2004
14 years 11 months ago
2004
Quality management is becoming a more and more important part of the software development process. As software testing is currently understood as the core function of the quality ...
109
click to vote
INLG
2010
Springer
14 years 7 months ago
2010
Springer
Critical software most often requires an independent validation and verification (IVV). IVV is usually performed by domain experts, who are not familiar with specific, many times ...