747 search results - page 38 / 150 » Testing for tunneling opens |
ISSTA
2006
ACM
14 years 2 months ago
2006
ACM
Testing with random inputs can give surprisingly good results if the distribution of inputs is spread out evenly over the input domain; this is the intuition behind Adaptive Rando...
ICSE
2009
IEEE-ACM
14 years 3 months ago
2009
IEEE-ACM
Our goal is to use the vast repositories of available open source code to generate specific functions or classes that meet a user’s specifications. The key words here are spec...
AINA
2008
IEEE
14 years 3 months ago
2008
IEEE
The Home Network is a pervasive environment by nature. Its openness to dynamic distributed and heterogeneous devices brings great challenges in home application design. We present...
TPHOL
2002
IEEE
14 years 1 months ago
2002
IEEE
Abstract We present a formal semantics as a conservative shallow embedding of the Object Constraint Language (OCL). OCL is currently under development within an open standardizatio...
SIGSOFT
2010
ACM
13 years 6 months ago
2010
ACM
The definition of a data structure may permit many different concrete representations of the same logical content. A (client) program that accepts such a data structure as input i...