Laski, Janusz <br/><br/>
Software verification and analysis :   an integrated, hands-on approach / 
Janusz Laski. 
 - New York :  Springer,  2009. 
 - xviii, 224 p.:  24 cm. 
<br/><br/> Includes bibliographic references and index 
<br/><br/>Preface.- Introduction: What Do We Want to Know About the Program.- Why Not Write Correct Software the First Time?- How to Prove a Program Correct: Programs Without Loops.- How to Prove a Program Correct: Iterative Programs.- Prepare Test for Any Implementation: Black-box Testing.- Intermediate Program Representation.- Program Dependencies.- What Can One Tell about a Program Without Its Execution: Static Analysis.- Is there a Bug in the Program?- Structural Program Testing.- Dynamic Program Analysis.- Index. 
<br/><br/> This book addresses the most important techniques in improving the correctness of software, including correctness by construction, program proving, static analysis and dynamic, execution-based analysis. Problems and exercises are included. 
<br/><br/><br/>English 
<br/><br/><label>ISBN: </label>978-1-84882-239-9 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Verification<br/>Computer science<br/>Software engineering
<br/><br/><label>LC Class. No.: </label>005.14 L33s