2419 search results - page 293 / 484 » A Formal Approach to Software Testing |
112
click to vote
ICSM
2009
IEEE
15 years 10 months ago
2009
IEEE
Dependence analysis underpins many activities in software maintenance such as comprehension and impact analysis. As a result, dependence has been studied widely for programming la...
167
click to vote
EMSOFT
2008
Springer
15 years 5 months ago
2008
Springer
Runtime property checking (as implemented in tools like Purify or Valgrind) checks whether a program execution satisfies a property. Active property checking extends runtime check...
135
click to vote
SIGSOFT
2010
ACM
15 years 1 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...
134
click to vote
MEMOCODE
2008
IEEE
15 years 10 months ago
2008
IEEE
—Caches are commonly employed to hide the latency gap between memory and the CPU by exploiting locality in memory accesses. The cache performance strongly influences a system’...
148
click to vote
ASWEC
2005
IEEE
15 years 9 months ago
2005
IEEE
The usefulness of design patterns in forward engineering is already well-known and several tools provide support for their application in the development of software systems. Whil...