1890 search results - page 332 / 378 » Model-Based Testing in Practice |
101
click to vote
SIGSOFT
2003
ACM
16 years 2 months ago
2003
ACM
This paper proposes a pointer alias analysis for automatic error detection. State-of-the-art pointer alias analyses are either too slow or too imprecise for finding errors in real...
113
click to vote
WWW
2007
ACM
16 years 2 months ago
2007
ACM
Web-based communities have become important places for people to seek and share expertise. We find that networks in these communities typically differ in their topology from other...
WWW
2003
ACM
16 years 2 months ago
2003
ACM
A computationally enhanced message contains some embedded programmatic components that are interpreted and executed automatically upon receipt. Unlike ordinary text email or insta...
118
click to vote
ESORICS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Many protocols rely on audit trails to allow an impartial judge to verify a posteriori some property of a protocol run. However, in current practice the choice of what da...
117
click to vote
KDD
2006
ACM
16 years 1 months ago
2006
ACM
Given a huge real graph, how can we derive a representative sample? There are many known algorithms to compute interesting measures (shortest paths, centrality, betweenness, etc.)...