1999 search results - page 349 / 400 » Finding Reductions Automatically |
118
click to vote
SIGSOFT
2006
ACM
16 years 15 days ago
2006
ACM
Recent software systems usually feature an automated failure reporting system, with which a huge number of failing traces are collected every day. In order to prioritize fault dia...
SIGSOFT
2003
ACM
16 years 15 days 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...
WWW
2007
ACM
16 years 13 days 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...
CHI
2009
ACM
16 years 11 days ago
2009
ACM
Jadeite is a new Javadoc-like API documentation system that takes advantage of multiple users' aggregate experience to reduce difficulties that programmers have learning new ...
200
click to vote
POPL
2003
ACM
16 years 2 days ago
2003
ACM
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...