2302 search results - page 37 / 461 » Testing as Abstraction |
150
click to vote
ECAI
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We present a method to test a group of agents for (unwanted) emergent behavior by using techniques from learning of cooperative behavior. The general idea is to mimick us...
129
click to vote
IEEEARES
2008
IEEE
15 years 12 months ago
2008
IEEE
We consider a network of remote agent platforms that are tested by roaming spy agents in order to identify those that are malicious, based on the outcome of each agent. It is show...
161
click to vote
ESOP
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. This paper is concerned with testing properties of polymorphic functions. The problem is that testing can only be performed on specific monomorphic instances, whereas par...
145
Voted
PTS
1993
15 years 6 months ago
1993
The signal SAVE construct is one of the features distinguishing SDL from convent specification and programming languages. On the other hand, this feature increase testing SDL-spec...
175
click to vote
ICCAD
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract-- In this paper, we propose a novel test data compression technique named CacheCompress, which combines selective encoding and dynamic dictionary based encoding. Depending...