57 search results - page 12 / 12 » Lean Implementations of Software Testing Tools Using XML Rep... |
KDD
2006
ACM
14 years 5 months ago
2006
ACM
KDD is a complex and demanding task. While a large number of methods has been established for numerous problems, many challenges remain to be solved. New tasks emerge requiring th...
PPOPP
2009
ACM
14 years 6 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...