Huang, J. C. <br/><br/>
Path-oriented program analysis / 
J. C. Huang 
 - Cambridge :  Cambridge University Press,  2008 
 - xii, 196 p. :  ill. ;  23 cm. 
<br/><br/>Includes bibliographical references and index 
<br/><br/>State constraints -- Subprogram simplification -- Program set -- Pathwise decomposition -- Tautological constraints -- Program recomposition -- Discussion -- Automatic generation of symbolic traces 
<br/><br/><label>ISBN: </label>9780521882866 (hardback) 0521882869 (hardback) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Development<br/>Computer software--Development--Computer programs