1901 search results - page 48 / 381 » Predicting Program Properties from |
91
Voted
CAV
2009
Springer
16 years 3 months ago
2009
Springer
Active testing has recently been introduced to effectively test concurrent programs. Active testing works in two phases. It first uses predictive off-the-shelf static or dynamic pr...
97
Voted
PKDD
2010
Springer
15 years 29 days ago
2010
Springer
In this paper, we consider the link prediction problem, where we are given a partial snapshot of a network at some time and the goal is to predict the additional links formed at a ...
120
click to vote
ICTAI
2007
IEEE
15 years 9 months ago
2007
IEEE
In this paper we developed an Inductive Logic Programming (ILP) based framework ExOpaque that is able to extract a set of Horn clauses from an arbitrary opaque machine learning mo...
123
Voted
ISSTA
2010
ACM
15 years 6 months ago
2010
ACM
Real production code contains lots of knowledge—on the domain, on the architecture, and on the environment. How can we leverage this knowledge in new projects? Using a novel lig...
ICCHP
2004
Springer
15 years 8 months ago
2004
Springer
This paper gives a brief overview about the partially EU funded project IST-2000-25420 FASTY in the IST program. The objective of FASTY was the creation of a system for increasing ...