173 search results - page 34 / 35 » Data Flow Testing as Model Checking |
114
Voted
KDD
2008
ACM
16 years 20 days ago
2008
ACM
We address the problem of classification in partially labeled networks (a.k.a. within-network classification) where observed class labels are sparse. Techniques for statistical re...
123
click to vote
PASTE
2005
ACM
15 years 5 months ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...
93
Voted
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
127
Voted
KES
2007
Springer
15 years 4 days ago
2007
Springer
Chance discovery provides a way to find rare but very important events for future decision making. It can be applied to stock market prediction, earthquake alarm, intrusion detect...
114
Voted
PODS
2008
ACM
16 years 11 days ago
2008
ACM
We revisit the classical chase procedure, studying its properties as well as its applicability to standard database problems. We settle (in the negative) the open problem of decid...