5961 search results - page 1110 / 1193 » Design Science and Software Engineering |
81
Voted
ASPLOS
2006
ACM
15 years 6 months ago
2006
ACM
We present the design, implementation, and evaluation of HeapMD, a dynamic analysis tool that finds heap-based bugs using anomaly detection. HeapMD is based upon the observation ...
131
click to vote
ISSTA
2006
ACM
15 years 6 months ago
2006
ACM
We present initial work on perturbation techniques that cause the manifestation of timing-related bugs in distributed memory Message Passing Interface (MPI)-based applications. Th...
101
Voted
ML
2006
ACM
15 years 6 months ago
2006
ACM
We present a new way to generate type-error messages in a polymorphic, implicitly, and strongly typed language (specifically Caml). Our method separates error-message generation ...
122
click to vote
SCESM
2006
ACM
15 years 6 months ago
2006
ACM
The dynamic behavior of systems is best described by Finite-state machines. Generation of executable tests from behavioral models such as UML Statecharts offers benefits such as s...
UIST
2006
ACM
15 years 6 months ago
2006
ACM
Many tasks require users to extract information from diverse sources, to edit or process this information locally, and to explore how the end results are affected by changes in th...