skip to content
Testing techniques in software engineering : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures Preview this item
ClosePreview this item
Checking...

Testing techniques in software engineering : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures

Author: Paulo Borba
Publisher: Berlin ; Heidelberg : Springer-Verlag, ©2010.
Series: Lecture notes in computer science, 6153.; LNCS sublibrary., SL 2,, Programming and software engineering.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
This tutorial book presents an augmented selection of the material presented at the Second Pernambuco Summer School on Software Engineering, PSSE 2007, held in Receife, Brazil in December 2007. The 8 contributions are the thoroughly revised versions of the papers presented by the invited lecturers. The revision was inspired by the synergy generated by the opportunity for the lecturers to present and discuss their  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Print version:
Testing Techniques in Software Engineering.
Springer-Verlag New York Inc 2010
(OCoLC)646114593
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Paulo Borba
ISBN: 9783642143359 3642143350
OCLC Number: 663096300
Description: 1 online resource (viii, 312 pages).
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.
Series Title: Lecture notes in computer science, 6153.; LNCS sublibrary., SL 2,, Programming and software engineering.
Other Titles: PSSE 2007
Responsibility: Paulo Borba [and others] (Eds.).

Abstract:

This tutorial book presents an augmented selection of the material presented at the Second Pernambuco Summer School on Software Engineering, PSSE 2007, held in Receife, Brazil in December 2007. It  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/663096300> # Testing techniques in software engineering : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
    library:oclcnum "663096300" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/774024053#Place/heidelberg> ; # Heidelberg
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/774024053#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://id.worldcat.org/fast/872601> ; # Computer software--Testing
    schema:about <http://id.worldcat.org/fast/1124185> ; # Software engineering
    schema:about <http://dewey.info/class/005.14/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/774024053#Topic/computer_software_testing> ; # Computer software--Testing
    schema:about <http://experiment.worldcat.org/entity/work/data/774024053#Topic/software> ; # Software
    schema:about <http://experiment.worldcat.org/entity/work/data/774024053#Topic/software_engineering> ; # Software engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/774024053#Topic/informatique> ; # Informatique
    schema:about <http://experiment.worldcat.org/entity/work/data/774024053#Topic/software_validation> ; # Software Validation
    schema:alternateName "PSSE 2007" ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/147339619> ; # Paulo Borba
    schema:copyrightYear "2010" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/774024053#Meeting/pernambuco_summer_school_on_software_engineering_2nd_2007_recife_brazil> ; # Pernambuco Summer School on Software Engineering (2nd : 2007 : Recife, Brazil)
    schema:datePublished "2010" ;
    schema:description "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."@en ;
    schema:description "This tutorial book presents an augmented selection of the material presented at the Second Pernambuco Summer School on Software Engineering, PSSE 2007, held in Receife, Brazil in December 2007. The 8 contributions are the thoroughly revised versions of the papers presented by the invited lecturers. The revision was inspired by the synergy generated by the opportunity for the lecturers to present and discuss their work among themselves, and with the school's attendees. The courses cover a wide spectrum of topics in software engineering with a special focus on testing - a key activity for assuring software quality. Apart from foundational issues, languages and techniques, the courses also cover the semantic underpinnings of refinement, as well as industrial applications and refinement tools."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/774024053> ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Congresses"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/774024053#Series/lncs_sublibrary_sl_2_programming_and_software_engineering> ; # LNCS sublibrary. SL 2, Programming and software engineering
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/774024053#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/774024053#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:isSimilarTo <http://www.worldcat.org/oclc/646114593> ;
    schema:name "Testing techniques in software engineering : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures"@en ;
    schema:productID "663096300" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/663096300#PublicationEvent/berlin_heidelberg_springer_verlag_2010> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/774024053#Agent/springer_verlag> ; # Springer-Verlag
    schema:url <http://link.springer.com/10.1007/978-3-642-14335-9> ;
    schema:url <http://books.scholarsportal.info/viewdoc.html?id=/ebooks/ebooks2/springer/2011-02-17/1/9783642143359> ;
    schema:url <https://grinnell.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-642-14335-9> ;
    schema:url <http://proxy.library.carleton.ca/login?url=http://books.scholarsportal.info/viewdoc.html?id=/ebooks/ebooks2/springer/2011-02-17/1/9783642143359> ;
    schema:url <http://dx.doi.org/10.1007/978-3-642-14335-9> ;
    schema:url <http://proxy.library.carleton.ca/login?url=http://dx.doi.org/10.1007/978-3-642-14335-9> ;
    schema:url <http://site.ebrary.com/id/10402433> ;
    schema:workExample <http://worldcat.org/isbn/9783642143359> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-642-14335-9> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/663096300> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/774024053#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
    schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/774024053#Meeting/pernambuco_summer_school_on_software_engineering_2nd_2007_recife_brazil> # Pernambuco Summer School on Software Engineering (2nd : 2007 : Recife, Brazil)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/774024053#Place/recife_brazil> ; # Recife, Brazil)
    schema:name "Pernambuco Summer School on Software Engineering (2nd : 2007 : Recife, Brazil)" ;
    .

<http://experiment.worldcat.org/entity/work/data/774024053#Place/recife_brazil> # Recife, Brazil)
    a schema:Place ;
    schema:name "Recife, Brazil)" ;
    .

<http://experiment.worldcat.org/entity/work/data/774024053#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/663096300> ; # Testing techniques in software engineering : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/774024053#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/663096300> ; # Testing techniques in software engineering : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/774024053#Series/lncs_sublibrary_sl_2_programming_and_software_engineering> # LNCS sublibrary. SL 2, Programming and software engineering
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/663096300> ; # Testing techniques in software engineering : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
    schema:name "LNCS sublibrary. SL 2, Programming and software engineering" ;
    .

<http://experiment.worldcat.org/entity/work/data/774024053#Topic/software_validation> # Software Validation
    a schema:Intangible ;
    schema:name "Software Validation"@en ;
    .

<http://id.worldcat.org/fast/1124185> # Software engineering
    a schema:Intangible ;
    schema:name "Software engineering"@en ;
    .

<http://id.worldcat.org/fast/872601> # Computer software--Testing
    a schema:Intangible ;
    schema:name "Computer software--Testing"@en ;
    .

<http://viaf.org/viaf/147339619> # Paulo Borba
    a schema:Person ;
    schema:familyName "Borba" ;
    schema:givenName "Paulo" ;
    schema:name "Paulo Borba" ;
    .

<http://worldcat.org/isbn/9783642143359>
    a schema:ProductModel ;
    schema:isbn "3642143350" ;
    schema:isbn "9783642143359" ;
    .

<http://www.worldcat.org/oclc/646114593>
    a schema:CreativeWork ;
    rdfs:label "Testing Techniques in Software Engineering." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/663096300> ; # Testing techniques in software engineering : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
    .

<http://www.worldcat.org/title/-/oclc/663096300>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/663096300> ; # Testing techniques in software engineering : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
    schema:dateModified "2018-07-13" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.