2774 search results - page 399 / 555 » Query-Driven Program Testing |
194
click to vote
POPL
2005
ACM
16 years 1 months ago
2005
ACM
Network protocol design is usually an informal process where debugging is based on successive iterations of a prototype implementation. The feedback provided by a prototype can be...
ICSE
2005
IEEE-ACM
16 years 1 months ago
2005
IEEE-ACM
Data structure repair is a promising technique for enabling programs to execute successfully in the presence of otherwise fatal data structure corruption errors. Previous research...
117
click to vote
PPOPP
2010
ACM
15 years 10 months ago
2010
ACM
Exploiting the emerging reality of affordable multi-core architeces through providing programmers with simple abstractions that would enable them to easily turn their sequential p...
100
click to vote
EUROSYS
2009
ACM
15 years 10 months ago
2009
ACM
Program source is an intermediate representation of software; it lies between a developer’s intention and the hardware’s execution. Despite advances in languages and developme...
126
click to vote
SOSP
2009
ACM
15 years 10 months ago
2009
ACM
Reproducing bugs is hard. Deterministic replay systems address this problem by providing a high-fidelity replica of an original program run that can be repeatedly executed to zer...