2302 search results - page 15 / 461 » Testing as Abstraction |
TC
2002
15 years 1 months ago
2002
Abstract
149
click to vote
FASE
2011
Springer
14 years 5 months ago
2011
Springer
Abstract. Container classes such as lists, sets, or maps are elementary data structures common to many programming languages. Since they are a part of standard libraries, they are ...
126
click to vote
TSE
2010
15 years 8 days ago
2010
We present an algorithm Dash to check if a program P satisfies a safety property ϕ. The unique feature of the algorithm is that it uses only test generation operations, and nes ...
JCO
2008
15 years 1 months ago
2008
Abstract Group testing, sometimes called pooling design, has been applied to a variety of problems such as blood testing, multiple access communication, coding theory, among others...