TY - BOOK AU - Borba,Paulo ED - Pernambuco Summer School on Software Engineering TI - Testing techniques in software engineering: second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007 : revised lectures T2 - Lecture notes in computer science, SN - 9783642143342 AV - QA76.758 .P42 2007 U1 - 005.1 22 PY - 2010/// CY - Berlin PB - Springer KW - Software engineering KW - Congresses KW - Computer software KW - Testing N1 - Includes bibliographical references and index; Software Testing: An Overview - Functional, Control and Data Flow, and Mutation Testing: Theory and Practice- Automatic Test-Case Generation - Testing a Software Product Line - Parameterized Unit Testing with Pex: Tutorial - Software Tool Issues - Software Testing Based on Formal Specification - A Systematic Introduction to Mutation Testing in Unifying Theories of Programming UR - http://repository.fue.edu.eg/xmlui/handle/123456789/3462 ER -