12272 search results - page 104 / 2455 » Experimental program analysis |
125
Voted
ICCL
1998
IEEE
15 years 5 months ago
1998
IEEE
An aggregate array computation is a loop that computes accumulated quantities over array elements. Such computations are common in programs that use arrays, and the array elements...
96
Voted
EMSOFT
2006
Springer
15 years 4 months ago
2006
Springer
A key problem for effective unit testing is the difficulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach th...
115
click to vote
OOPSLA
2009
Springer
15 years 7 months ago
2009
Springer
Software has spent the bounty of Moore’s law by solving harder problems and exploiting abstractions, such as highlevel languages, virtual machine technology, binary rewritdynami...
180
click to vote
PLDI
2003
ACM
15 years 6 months ago
2003
ACM
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....
97
Voted
PLDI
2010
ACM
15 years 6 months ago
2010
ACM
Dynamic correctness checking tools (a.k.a. lifeguards) can detect a wide array of correctness issues, such as memory, security, and concurrency misbehavior, in unmodified executa...