skip to content
Formal approaches to software testing : 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 : revised selected papers Preview this item
ClosePreview this item
Checking...

Formal approaches to software testing : 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 : revised selected papers

Author: Wolfgang Grieskamp; Carsten Weise
Publisher: Berlin ; New York : Springer, ©2006.
Series: Lecture notes in computer science, 3997.; LNCS sublibrary., SL 2,, Programming and software engineering.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:

This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to Software Testing, FATES 2005, held in Edinburgh, UK, in July 2005 in  Read more...

Rating:

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

Subjects
More like this

 

Find a copy in the library

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

Details

Genre/Form: Electronic books
Conference papers and proceedings
Edinburgh (2005)
Kongress
Congresses
Congrès
Additional Physical Format: Print version:
FATES 2005 (2005 : Edinburgh, Scotland).
Formal approaches to software testing.
Berlin ; New York : Springer, ©2006
(DLC) 2006926507
(OCoLC)69983519
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Wolfgang Grieskamp; Carsten Weise
ISBN: 9783540344551 3540344551 3540344543 9783540344544
OCLC Number: 262693130
Description: 1 online resource (xii, 217 pages) : illustrations.
Contents: Proceedings FATES 2005.- Simulated Time for Testing Railway Interlockings with TTCN-3.- Model-Based Testing Through a GUI.- Play to Test.- A Note on an Anomaly in Black-Box Testing.- A Novel Test Coverage Metric for Concurrently-Accessed Software Components.- Adaptive Random Testing by Bisection and Localization.- Interactive Testing with HOL-TestGen.- Conformance Testing Relations for Timed Systems.- Conformance Tests as Checking Experiments for Partial Nondeterministic FSM.- Calculating Probabilities of Real-Time Test Cases.- Time Unbalanced Partial Order.- Testing Systems of Concurrent Black-Boxes-An Automata-Theoretic and Decompositional Approach.- Automated Generation of Positive and Negative Tests for Parsers.- Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms.
Series Title: Lecture notes in computer science, 3997.; LNCS sublibrary., SL 2,, Programming and software engineering.
Other Titles: FATES 2005
Responsibility: Wolfgang Grieskamp, Carsten Weise (eds.).

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/262693130> # Formal approaches to software testing : 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 : revised selected papers
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
    library:oclcnum "262693130" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/198490160#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://experiment.worldcat.org/entity/work/data/198490160#Thing/software_testing> ; # Software testing
    schema:about <http://id.worldcat.org/fast/872601> ; # Computer software--Testing
    schema:about <http://dewey.info/class/004.0151/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/198490160#Topic/software> ; # Software
    schema:about <http://experiment.worldcat.org/entity/work/data/198490160#Topic/computers_programming_languages_general> ; # COMPUTERS--Programming Languages--General
    schema:about <http://experiment.worldcat.org/entity/work/data/198490160#Topic/model_checking> ; # Model Checking
    schema:about <http://experiment.worldcat.org/entity/work/data/198490160#Topic/methodes_formelles_informatique> ; # Méthodes formelles (Informatique)
    schema:about <http://experiment.worldcat.org/entity/work/data/198490160#Topic/logiciels_essais> ; # Logiciels--Essais
    schema:about <http://experiment.worldcat.org/entity/work/data/198490160#Topic/computer_software_testing> ; # Computer software--Testing
    schema:about <http://experiment.worldcat.org/entity/work/data/198490160#Topic/testen> ; # Testen
    schema:about <http://id.worldcat.org/fast/932926> ; # Formal methods (Computer science)
    schema:about <http://experiment.worldcat.org/entity/work/data/198490160#Topic/informatique> ; # Informatique
    schema:about <http://dewey.info/class/005.131/e22/> ;
    schema:alternateName "FATES 2005" ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/46517203> ; # Carsten Weise
    schema:contributor <http://viaf.org/viaf/117170336> ; # Wolfgang Grieskamp
    schema:copyrightYear "2006" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/198490160#Meeting/fates_2005_2005_edinburgh_scotland> ; # FATES 2005 (2005 : Edinburgh, Scotland)
    schema:datePublished "2006" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/198490160> ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Kongress"@en ;
    schema:genre "Edinburgh (2005)"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/198490160#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/198490160#Series/lncs_sublibrary_sl_2_programming_and_software_engineering> ; # LNCS sublibrary. SL 2, Programming and software engineering
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/69983519> ;
    schema:name "Formal approaches to software testing : 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 : revised selected papers"@en ;
    schema:productID "262693130" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/262693130#PublicationEvent/berlin_new_york_springer_2006> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/198490160#Agent/springer> ; # Springer
    schema:url <https://0-link-springer-com.pugwash.lib.warwick.ac.uk/book/10.1007/11759744> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3068248> ;
    schema:url <http://rave.ohiolink.edu/ebooks/ebc/11759744> ;
    schema:url <http://dx.doi.org/10.1007/11759744> ;
    schema:url <http://site.ebrary.com/id/10530500> ;
    schema:url <http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3997> ;
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=182835> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=book&isbn=3-540-34454-3> ;
    schema:url <http://link.springer.com/10.1007/11759744> ;
    schema:url <http://gate.lib.buffalo.edu/login?url=https://link.springer.com/book/10.1007/11759744> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3997> ;
    schema:url <http://www.myilibrary.com?id=140746> ;
    schema:workExample <http://worldcat.org/isbn/9783540344551> ;
    schema:workExample <http://worldcat.org/isbn/9783540344544> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/262693130> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/198490160#Meeting/fates_2005_2005_edinburgh_scotland> # FATES 2005 (2005 : Edinburgh, Scotland)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/198490160#Place/edinburgh_scotland> ; # Edinburgh, Scotland)
    schema:name "FATES 2005 (2005 : Edinburgh, Scotland)" ;
    .

<http://experiment.worldcat.org/entity/work/data/198490160#Place/edinburgh_scotland> # Edinburgh, Scotland)
    a schema:Place ;
    schema:name "Edinburgh, Scotland)" ;
    .

<http://experiment.worldcat.org/entity/work/data/198490160#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/262693130> ; # Formal approaches to software testing : 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 : revised selected papers
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/198490160#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/262693130> ; # Formal approaches to software testing : 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 : revised selected papers
    schema:name "LNCS sublibrary. SL 2, Programming and software engineering" ;
    .

<http://experiment.worldcat.org/entity/work/data/198490160#Thing/software_testing> # Software testing
    a schema:Thing ;
    schema:name "Software testing" ;
    .

<http://experiment.worldcat.org/entity/work/data/198490160#Topic/computers_programming_languages_general> # COMPUTERS--Programming Languages--General
    a schema:Intangible ;
    schema:name "COMPUTERS--Programming Languages--General"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/198490160#Topic/logiciels_essais> # Logiciels--Essais
    a schema:Intangible ;
    schema:name "Logiciels--Essais"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/198490160#Topic/methodes_formelles_informatique> # Méthodes formelles (Informatique)
    a schema:Intangible ;
    schema:name "Méthodes formelles (Informatique)"@fr ;
    .

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

<http://id.worldcat.org/fast/932926> # Formal methods (Computer science)
    a schema:Intangible ;
    schema:name "Formal methods (Computer science)"@en ;
    .

<http://viaf.org/viaf/117170336> # Wolfgang Grieskamp
    a schema:Person ;
    schema:birthDate "1960" ;
    schema:familyName "Grieskamp" ;
    schema:givenName "Wolfgang" ;
    schema:name "Wolfgang Grieskamp" ;
    .

<http://viaf.org/viaf/46517203> # Carsten Weise
    a schema:Person ;
    schema:familyName "Weise" ;
    schema:givenName "Carsten" ;
    schema:name "Carsten Weise" ;
    .

<http://worldcat.org/isbn/9783540344544>
    a schema:ProductModel ;
    schema:isbn "3540344543" ;
    schema:isbn "9783540344544" ;
    .

<http://worldcat.org/isbn/9783540344551>
    a schema:ProductModel ;
    schema:isbn "3540344551" ;
    schema:isbn "9783540344551" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/262693130> ; # Formal approaches to software testing : 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 : revised selected papers
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/oclc/69983519>
    a schema:CreativeWork ;
    rdfs:label "Formal approaches to software testing." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/262693130> ; # Formal approaches to software testing : 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 : revised selected papers
    .

<http://www.worldcat.org/title/-/oclc/262693130>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/262693130> ; # Formal approaches to software testing : 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 : revised selected papers
    schema:dateModified "2018-02-09" ;
    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.