TY  - BOOK
AU  - Pezzè,Mauro
AU  - Young,Michal
TI  - Software testing and analysis: process, principles, and techniques 
SN  - 9788126517732 (pbk)
U1  - 005.14 
PY  - 2008///
CY  - New Delhi
PB  - Wiley
KW  - Computer software
KW  - Testing
KW  - Quality control
N1  - Includes bibliographical references (p. 467-478) and index; 1; Chapter 1: Software test and analysis in a nutshell --; 2; Chapter 2: A framework for test and analysis --; 3; Chapter 3: Bask principles --; 4; Chapter 4: Test and analysis activities within a software process --; 5; Chapter 5: Finite models --; 6; Chapter 6: Dependence and data flow models --; 7; Chapter 7: Symbolic execution and proof of properties --; 8; Chapter 8: Finite state verification --; 9; Chapter 9: Test case selection and adequacy --; 10; Chapter 10: Functional testing --; 11; Chapter 11: Combinatorial testing --; 12; Chapter 12: Structural testing --; 13; Chapter 13: Data flow testing --; 14; Chapter 14: Model-based testing --; 15; Chapter 15: Testing object-oriented software --; 16; Chapter 16: Fault-based testing --; 17; Chapter 17: Test execution --; 18; Chapter 18: Inspection --; 19; Chapter 19: Program analysis --; 20; Chapter 20: Planning and monitoring the process --; 21; Chapter 21: Integration and component-based software testing --; 22; Chapter 22: System, acceptance, and regression testing --; 23; Chapter 23: Automating analysis and test --; 24; Chapter 24: Documenting analysis and test
N2  - "You can't "test quality into" a software product, but neither can you build a quality software product without test and analysis. Software test and analysis is increasingly recognized, in research and in industrial practice, as a core challenge in software engineering and computer science. Software Testing and Analysis: Process, Principles, and Techniques is the first book to present a range of complementary software test and analysis techniques in an integrated, coherent fashion. It covers a full spectrum of topics from basic principles and underlying theory to organizational and process issues in real-world application. The emphasis throughout is on selecting a complementary set of practical techniques to achieve an acceptable level of quality at an acceptable cost."--BOOK JACKET
ER  -