Testing techniques in software engineering : second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007 : revised lectures / Paulo Borba ... [et al.] (eds.).

By:

(2nd : Pernambuco Summer School on Software Engineering (2nd : 2007 : Recife, Brazil)

Contributor(s):

Borba, Paulo

Material type: Text

TextSeries: Lecture notes in computer science. Tutorial. ; 6153. | LNCS sublibrary. SL 2, Programming and software engineeringPublication details: Berlin : Springer, 2010.Description: viii, 312 pages. : illustration ; 24 cmContent type:

text

Media type:

unmediated

Carrier type:

volume

ISBN:

9783642143342
3642143342

Other title:

PSSE 2007

Subject(s):

DDC classification:

22 005.1 T

LOC classification:

QA76.758 .P42 2007

Online resources:

Abstract

Contents:

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

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Status	Date due	Barcode
Books	Main library A1	Computers & Information Technology ( Computer Science )	005.1 T (Browse shelf(Opens below))	Available		00009368

Includes bibliographical references and index.

There are no comments on this title.

to post a comment.