skip to content
Testing of communicating systems : 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31-June 2, 2005 : proceedings Preview this item
ClosePreview this item
Checking...

Testing of communicating systems : 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31-June 2, 2005 : proceedings

Author: Ferhat Khendek; R Dssouli
Publisher: Berlin ; New York : Springer, ©2005.
Series: Lecture notes in computer science, 3502.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
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: Conference papers and proceedings
Congresses
Congrès
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Ferhat Khendek; R Dssouli
ISBN: 3540260544 9783540260547 9783540320760 3540320768
OCLC Number: 60634594
Description: x, 379 pages : illustrations ; 24 cm.
Contents: The Epistemology of Validation and Verification Testing.- Passive Testing - A Constrained Invariant Checking Approach.- Dependence Testing: Extending Data Flow Testing with Control Dependence.- Comparing Bug Finding Tools with Reviews and Tests.- Cross-Language Functional Testing for Middleware.- Using Anti-Ant-like Agents to Generate Test Threads from the UML Diagrams.- Action Refinement in Conformance Testing.- Multiplexing of Partially Ordered Events.- Testing Communicating Systems: a Model, a Methodology, and a Tool.- Coping with Nondeterminism in Network Protocol Testing.- Eliminating Redundant Tests in a Checking Sequence.- On FSM-Based Fault Diagnosis.- State Identification Problems for Timed Automata.- Timing Fault Models for Systems with Multiple Timers.- An Expressive and Implementable Formal Framework for Testing Real-Time Systems.- Firewall Conformance Testing.- Test Generation for Interaction Detection in Feature-Rich Communication Systems.- Fault Detection of Hierarchical Networks with Probabilistic Testing Algorithms.- Detecting Trapdoors in Smart Cards Using Timing and Power Analysis.- From U2TP Models to Executable Tests with TTCN-3 - An Approach to Model Driven Testing -.- Using TTCN-3 for Testing Platform Independent Models.- Some Lessons from an Experiment Using TTCN-3 for the RIPng Testing.- A Model-Based Approach for Robustness Testing.- Content-Level Conformance Testing: An Information Mapping Case Study.- Quiescence Management Improves Interoperability Testing.
Series Title: Lecture notes in computer science, 3502.
Other Titles: TestCom 2005
Responsibility: Ferhat Khendek, Rachida Dssouli (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/60634594> # Testing of communicating systems : 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31-June 2, 2005 : proceedings
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "60634594" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/920239#Place/berlin> ; # Berlin
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://dewey.info/class/621.382/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/920239#Topic/telecommunications_systemes_de_essais> ; # Télécommunications, Systèmes de--Essais
    schema:about <http://id.worldcat.org/fast/1146083> ; # Telecommunication systems--Testing
    schema:about <http://id.loc.gov/authorities/subjects/sh85133302> ; # Telecommunication systems--Testing
    schema:alternateName "TestCom 2005" ;
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/87077> ; # Rachida Dssouli
    schema:contributor <http://viaf.org/viaf/77390650> ; # Ferhat Khendek
    schema:copyrightYear "2005" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/920239#Meeting/ifip_tc6_wg6_1_international_conference_on_testing_of_communicating_systems_17th_2005_montreal_quebec> ; # IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems (17th : 2005 : Montréal, Québec)
    schema:datePublished "2005" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/920239> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:name "Testing of communicating systems : 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31-June 2, 2005 : proceedings"@en ;
    schema:productID "60634594" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/60634594#PublicationEvent/berlin_new_york_springer_2005> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/920239#Agent/springer> ; # Springer
    schema:url <http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3502> ;
    schema:url <http://dx.doi.org/10.1007/b136676> ;
    schema:url <http://swbplus.bsz-bw.de/bsz117859060cov.htm> ;
    schema:url <http://www.gbv.de/dms/goettingen/485262010.pdf> ;
    schema:url <http://link.springer-ny.com/jlink/service/series/0558/tocs/t3502.htm> ;
    schema:workExample <http://worldcat.org/isbn/9783540260547> ;
    schema:workExample <http://worldcat.org/isbn/9783540320760> ;
    umbel:isLike <http://d-nb.info/974520101> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/60634594> ;
    .


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/920239#Meeting/ifip_tc6_wg6_1_international_conference_on_testing_of_communicating_systems_17th_2005_montreal_quebec> # IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems (17th : 2005 : Montréal, Québec)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/920239#Place/montreal_quebec> ; # Montréal, Québec)
    schema:name "IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems (17th : 2005 : Montréal, Québec)" ;
    .

<http://experiment.worldcat.org/entity/work/data/920239#Place/montreal_quebec> # Montréal, Québec)
    a schema:Place ;
    schema:name "Montréal, Québec)" ;
    .

<http://experiment.worldcat.org/entity/work/data/920239#Topic/telecommunications_systemes_de_essais> # Télécommunications, Systèmes de--Essais
    a schema:Intangible ;
    schema:name "Télécommunications, Systèmes de--Essais"@fr ;
    .

<http://id.loc.gov/authorities/subjects/sh85133302> # Telecommunication systems--Testing
    a schema:Intangible ;
    schema:name "Telecommunication systems--Testing"@en ;
    .

<http://id.worldcat.org/fast/1146083> # Telecommunication systems--Testing
    a schema:Intangible ;
    schema:name "Telecommunication systems--Testing"@en ;
    .

<http://viaf.org/viaf/77390650> # Ferhat Khendek
    a schema:Person ;
    schema:familyName "Khendek" ;
    schema:givenName "Ferhat" ;
    schema:name "Ferhat Khendek" ;
    .

<http://viaf.org/viaf/87077> # Rachida Dssouli
    a schema:Person ;
    schema:familyName "Dssouli" ;
    schema:givenName "Rachida" ;
    schema:givenName "R." ;
    schema:name "Rachida Dssouli" ;
    .

<http://worldcat.org/isbn/9783540260547>
    a schema:ProductModel ;
    schema:isbn "3540260544" ;
    schema:isbn "9783540260547" ;
    .

<http://worldcat.org/isbn/9783540320760>
    a schema:ProductModel ;
    schema:isbn "3540320768" ;
    schema:isbn "9783540320760" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/60634594> ; # Testing of communicating systems : 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31-June 2, 2005 : proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/60634594>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/60634594> ; # Testing of communicating systems : 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31-June 2, 2005 : proceedings
    schema:dateModified "2018-02-15" ;
    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.