Testing techniques in software engineering : second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007 : revised lectures /
Testing techniques in software engineering : second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007 : revised lectures /
PSSE 2007
Paulo Borba ... [et al.] (eds.).
- Berlin : Springer, 2010.
- viii, 312 pages. : illustration ; 24 cm.
- Lecture notes in computer science, 6153. Tutorial 0302-9743 ; LNCS sublibrary. SL 2, Programming and software engineering .
- Lecture notes in computer science ; Tutorial. 6153. LNCS sublibrary. SL 2, Programming and software engineering. .
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
9783642143342 3642143342
2010929777
Software engineering--Congresses.
Computer software--Testing--Congresses.
QA76.758 / .P42 2007
005.1 / T
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
9783642143342 3642143342
2010929777
Software engineering--Congresses.
Computer software--Testing--Congresses.
QA76.758 / .P42 2007
005.1 / T