635 search results - page 23 / 127 » Path Optimization in Programs and Its Application to Debuggi... |
152
click to vote
CP
2009
Springer
15 years 10 months ago
2009
Springer
This paper introduces propagator groups as an abstraction for controlling the execution of propagators as implementations of constraints. Propagator groups enable users of a constr...
KBSE
2007
IEEE
15 years 3 months ago
2007
IEEE
This paper presents a tool that (i) constructs tree-based models of a program’s behavior during testing and (ii) employs these trees while reordering and reducing a test suite. ...
CODES
2005
IEEE
15 years 3 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...
102
click to vote
PADL
2012
Springer
13 years 5 months ago
2012
Springer
Declarative networking is a programming methodology that enables developers to concisely specify network protocols and services, and directly compile these specifications into a d...
ASPLOS
2006
ACM
15 years 3 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 ...