145 search results - page 3 / 29 » Statistical Debugging of Sampled Programs |
COMPSAC
2008
IEEE
14 years 1 months ago
2008
IEEE
Predicate-based statistical fault-localization techniques locate fault-relevant predicates in a program by contrasting the statistics of the values of individual predicates betwee...
CODES
2005
IEEE
14 years 1 months ago
2005
IEEE
For embedded system development, several companies provide cross-platform development tools to aid in debugging, prototyping and optimization of programs. These are full system em...
KBSE
2007
IEEE
14 years 1 months ago
2007
IEEE
Effective bug localization is important for realizing automated debugging. One attractive approach is to apply statistical techniques on a collection of evaluation profiles of pr...
LCTRTS
2010
Springer
14 years 2 months ago
2010
Springer
For its high overall cost during product development, program debugging is an important aspect of system development. Debugging is a hard and complex activity, especially in time-...
FORTE
2004
13 years 8 months ago
2004
Abstract. We present automated techniques for the explanation of counterexamples, where a counter-example should be understood as a sequence of program statements. Our approach is ...