1241 search results - page 23 / 249 » Path-oriented random testing |
JMLR
2010
15 years 20 days ago
2010
We consider here how to tell whether a latent variable that has been estimated in a multivariate regression context might be real. Often a followup investigation will find a real...
135
click to vote
APPROX
2011
Springer
14 years 2 months ago
2011
Springer
In a well-known result Goldreich and Trevisan (2003) showed that every testable graph property has a “canonical” tester in which a set of vertices is selected at random and the...
182
click to vote
ESORICS
2012
Springer
13 years 4 months ago
2012
Springer
Tracking information flow in dynamic languages remains an open challenge. It might seem natural to address the challenge by runtime monitoring. However, there are well-known funda...
111
click to vote
MST
2006
15 years 2 months ago
2006
We investigate the characterizations of effective randomness in terms of Martin-L
117
click to vote
ISSRE
2002
IEEE
15 years 7 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...