3544 search results - page 446 / 709 » Software Testing |
171
click to vote
IUI
2011
ACM
14 years 9 months ago
2011
ACM
Learning a foreign language is a long, error-prone process, and much of a learner’s time is effectively spent studying vocabulary. Many errors occur because words are only partl...
216
click to vote
ICECCS
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper presents the Architecture Tradeoff Analysis Method (ATAM), a structured technique for understanding the tradeoffs inherent in design. This method was developed to provi...
193
click to vote
PEPM
2004
ACM
16 years 5 days ago
2004
ACM
Tracing computations is a widely used methodology for program debugging. Lazy languages, in particular, pose new demands on tracing techniques since following the actual trace of ...
179
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Concurrent programs are notoriously difficult to debug. We see two main reasons for this: 1) concurrency bugs are often difficult to reproduce, 2) traces of buggy concurrent execu...
257
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
We present a novel dynamic analysis technique that finds real deadlocks in multi-threaded programs. Our technique runs in two stages. In the first stage, we use an imprecise dyn...