2539 search results - page 186 / 508 » Debugging Method Names |
117
click to vote
ASPLOS
2004
ACM
15 years 8 months ago
2004
ACM
Sampling has been successfully used to identify performance optimization opportunities. We would like to apply similar techniques to check program correctness. Unfortunately, samp...
121
click to vote
ISSTA
2004
ACM
15 years 8 months ago
2004
ACM
This paper deals with testing of nondeterministic software systems. We assume that a model of the nondeterministic system is given by a directed graph with two kind of vertices: s...
158
click to vote
PASTE
2010
ACM
15 years 8 months ago
2010
ACM
Multicore is now the dominant processor trend, and the number of cores is rapidly increasing. The paradigm shift to multicore forces the redesign of the software stack, which incl...
156
click to vote
GECCO
2010
Springer
15 years 7 months ago
2010
Springer
Evolutionary methods have been used to repair programs automatically, with promising results. However, the fitness function used to achieve these results was based on a few simpl...
121
click to vote
EICS
2009
ACM
15 years 7 months ago
2009
ACM
We describe work in progress on tools and infrastructure to support adaptive component-based software for mobile devices— in our case, Apple iPhones. Our high level aim is ‘de...