1407 search results - page 41 / 282 » Using Use Cases in Executable Z |
133
Voted
WWW
2009
ACM
16 years 3 months ago
2009
ACM
There are many on-line settings in which users publicly express opinions. A number of these offer mechanisms for other users to evaluate these opinions; a canonical example is Ama...
114
click to vote
CPP
2011
14 years 2 months ago
2011
Abstract. In this paper we present a new technique for automatically verifying typing constraints in the setting of Dminor, a first-order data processing language with refinement...
126
Voted
SIGSOFT
2005
ACM
16 years 3 months ago
2005
ACM
There is an increasing interest in techniques that support measurement and analysis of fielded software systems. One of the main goals of these techniques is to better understand ...
115
Voted
ITNG
2008
IEEE
15 years 9 months ago
2008
IEEE
A method of using Markov chain techniques for combinatorial test case selection is presented. The method can be used for statistical and coverage testing of many software programs...
131
Voted
WSC
1997
15 years 3 months ago
1997
Parallel discrete event simulation systems (PDES) are used to simulate large-scale applications such as modeling telecommunication networks, transportation grids, and battlefield...