64 search results - page 7 / 13 » A Dependence Representation for Coverage Testing of Object-O... |
ICTCS
2007
Springer
14 years 1 months ago
2007
Springer
The information flow property of Non-Interference was recently relaxed into Abstract NonInterference (ANI), a weakened version where attackers can only observe properties of data,...
SAC
2008
ACM
13 years 7 months ago
2008
ACM
As the enabling technologies of autonomic computing continue to advance, it is imperative for researchers to exchange the details of their proposed techniques for designing, devel...
JOT
2010
13 years 6 months ago
2010
Abstract We propose a novel testing technique for object-oriented programs. Based on the state and activity models of a system, we construct an intermediate representation, which w...
WSC
1998
13 years 9 months ago
1998
Traditional methods of dealing with variability in simulation input data are mainly stochastic. This is most often the best method to use if the factors affecting the variation or...
IWPC
2002
IEEE
14 years 13 days ago
2002
IEEE
Program slicing has many applications in software engineering activities including program comprehension, debugging, testing, maintenance, and model checking. In this paper, we pr...