TY  - BOOK
AU  - Huang,J.C.
TI  - Path-oriented program analysis
SN  - 9780521882866
U1  - 005.1 22
PY  - 2008///
CY  - Cambridge, New York
PB  - Cambridge University Press
KW  - Computer software
KW  - Development
KW  - BUEsh
KW  - Computer programs
KW  - COMSCI
KW  - January2017
N1  - Index : p. 194-196; Bibliography : p. 191-193; State constraints -- Subprogram simplification -- Program set -- Pathwise decomposition -- Tautological constraints -- Program recomposition -- Discussion -- Automatic generation of symbolic traces
ER  -