1407 search results - page 35 / 282 » Using Use Cases in Executable Z |
142
click to vote
FMICS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We present experiences from a case study where a model-based approach to black-box testing is applied to verify that a Wireless Application Protocol (WAP) gateway conform...
114
Voted
ICST
2009
IEEE
15 years 9 months ago
2009
IEEE
Software products released into the field typically have some number of residual defects that either were not detected or could not have been detected during testing. This may be...
109
click to vote
VL
2006
IEEE
15 years 8 months ago
2006
IEEE
In this paper we present a system that helps users test their spreadsheets using automatically generated test cases. The system generates the test cases by backward propagation an...
112
click to vote
ICSE
2007
IEEE-ACM
16 years 2 months ago
2007
IEEE-ACM
Model Driven Development (MDD) is an emerging paradigm for software construction that uses models to specify programs, and model transformations to synthesize executables. Feature...
159
Voted
CIDR
2011
14 years 6 months ago
2011
This paper argues that next generation database management systems should incorporate a predictive model management component to effectively support both inward-facing application...