3639 search results - page 96 / 728 » Experiments on IPv6 Testing |
110
click to vote
UML
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We are developing a methodology of Test-Driven Development of Models (TDDM) based on an experimental UML2.0 modeling tool SMART. Our experience shows that TDDM is quite u...
104
click to vote
ISSRE
2002
IEEE
15 years 5 months ago
2002
IEEE
Formal analysis of software is a powerful analysis tool, but can be too costly. Random search of formal models can reduce that cost, but is theoretically incomplete. However, rand...
105
Voted
CSCLP
2004
Springer
15 years 4 months ago
2004
Springer
Covering arrays have been studied for their applications to drug screening and software and hardware testing. In this paper, we model the problem as a constraint program. Our propo...
113
click to vote
CLUSTER
2006
IEEE
15 years 4 months ago
2006
IEEE
Scalability is a crucial factor in performance evaluation and analysis of parallel and distributed systems. Much effort has been devoted to scalability research and several metric...
83
Voted
ISMDA
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. The work presents the results of inconsistency detection experiments on the data records of an atherosclerotic coronary heart disease database collected in the regular me...