828 search results - page 71 / 166 » A New Model of Program Dependences for Reverse Engineering |
131
Voted
KBSE
2007
IEEE
15 years 11 months ago
2007
IEEE
Concurrent programs are difficult to debug and verify because of the nondeterministic nature of concurrent executions. A particular concurrency-related bug may only show up under ...
127
Voted
SIGSOFT
2009
ACM
16 years 5 months ago
2009
ACM
We propose a new algorithm for verifying concurrent programs, which uses concrete executions to partition the program into a set of lean partitions called concurrent trace program...
137
click to vote
PEPM
2007
ACM
15 years 10 months ago
2007
ACM
The event-driven programming style is pervasive as an efficient method for interacting with the environment. Unfortunately, the event-driven style severely complicates program mai...
120
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
Concurrency bugs are becoming increasingly important due to the prevalence of concurrent programs. A fundamental problem of concurrent program bug detection and testing is that th...
177
click to vote
EMNLP
2011
14 years 4 months ago
2011
In this paper, we propose a novel approach to automatic generation of aspect-oriented summaries from multiple documents. We first develop an event-aspect LDA model to cluster sen...