635 search results - page 23 / 127 » Path Optimization in Programs and Its Application to Debuggi... |
247
click to vote
CP
2009
Springer
16 years 6 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...
156
click to vote
KBSE
2007
IEEE
16 years 5 days 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. ...
157
click to vote
CODES
2005
IEEE
15 years 11 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...
183
click to vote
PADL
2012
Springer
14 years 1 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...
140
click to vote
ASPLOS
2006
ACM
15 years 12 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 ...