TY  - BOOK
AU  - Huang,J.C.
TI  - Path-oriented program analysis
SN  - 9780521882866 (hardback)
PY  - 2008///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Computer software
KW  - Development
KW  - Computer programs
N1  - Includes bibliographical references and index; State constraints -- Subprogram simplification -- Program set -- Pathwise decomposition -- Tautological constraints -- Program recomposition -- Discussion -- Automatic generation of symbolic traces
ER  -