skip to content
Testing of Software and Communicating Systems : 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings Preview this item
ClosePreview this item
Checking...

Testing of Software and Communicating Systems : 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings

Author: Alexandre Petrenko; Margus Veanes; Jan Tretmans; Wolfgang Grieskamp
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.
Series: Lecture notes in computer science, 4581.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Publication:Springer e-books
Summary:
This book constitutes the refereed proceedings of the 19th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2007, and the 7th International Workshop on Formal Approaches to Testing of Software, FATES 2007, held in Tallinn, Estonia in June 2007. The 24 revised full papers presented together with 1 invited talk were carefully reviewed and selected from initially 61 submissions to  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

Additional Physical Format: Printed edition:
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Alexandre Petrenko; Margus Veanes; Jan Tretmans; Wolfgang Grieskamp
ISBN: 9783540730651 3540730656 9783540730668 3540730664
OCLC Number: 759003671
Description: 1 online resource.
Contents: Implementing Conformiq Qtronic --
New Approach for EFSM-Based Passive Testing of Web Services --
Automation of Avionic Systems Testing --
Automatic Test Generation from Interprocedural Specifications --
A New Method for Interoperability Test Generation --
Component Testing Is Not Enough --
A Study of Software Faults in Telecom Middleware --
Symbolic Model Based Testing for Component Oriented Systems --
A Compositional Testing Framework Driven by Partial Specifications --
Nodes Self-similarity to Test Wireless Ad Hoc Routing Protocols --
Testing and Model-Checking Techniques for Diagnosis --
Model-Based Testing of Service Infrastructure Components --
Testing Input/Output Partial Order Automata --
A Framework for Testing AIS Implementations --
An Object-Oriented Framework for Improving Software Reuse on Automated Testing of Mobile Phones --
Model Based Testing of an Embedded Session and Transport Protocol --
Utilising Code Smells to Detect Quality Problems in TTCN-3 Test Suites --
A Bounded Incremental Test Generation Algorithm for Finite State Machines --
Experimental Testing of TCP/IP/Ethernet Communication for Automatic Control --
Towards Systematic Signature Testing --
TPLan-A Notation for Expressing Test Purposes --
Testing Nondeterministic Finite State Machines with Respect to the Separability Relation --
Learning and Integration of Parameterized Components Through Testing --
An EFSM-Based Passive Fault Detection Approach --
Test Data Variance as a Test Quality Measure: Exemplified for TTCN-3 --
Model-Based Testing of Optimizing Compilers.
Series Title: Lecture notes in computer science, 4581.
Responsibility: edited by Alexandre Petrenko.

Abstract:

This book constitutes the refereed proceedings of the 19th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2007, and the 7th International Workshop on Formal Approaches to Testing of Software, FATES 2007, held in Tallinn, Estonia in June 2007. The 24 revised full papers presented together with 1 invited talk were carefully reviewed and selected from initially 61 submissions to both events. The papers address all current issues in testing communicating systems and formal approaches in testing of software, ranging from classical telecommunication issues to general software testing. They were presented in 8 multipart sessions coverering automata-based testing, practical experiences, system testing, modular systems, and test quality.

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/759003671> # Testing of Software and Communicating Systems : 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
    library:oclcnum "759003671" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/290357961#Place/berlin_heidelberg> ; # Berlin, Heidelberg
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://id.worldcat.org/fast/1145830> ; # Telecommunication
    schema:about <http://experiment.worldcat.org/entity/work/data/290357961#Topic/software_engineering> ; # Software Engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/290357961#Topic/computer_science> ; # Computer Science
    schema:about <http://experiment.worldcat.org/entity/work/data/290357961#Topic/information_systems> ; # Information Systems
    schema:about <http://experiment.worldcat.org/entity/work/data/290357961#Topic/management_of_computing_and_information_systems> ; # Management of Computing and Information Systems
    schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
    schema:about <http://experiment.worldcat.org/entity/work/data/290357961#Topic/telecommunication_systems_testing> ; # Telecommunication systems--Testing
    schema:about <http://experiment.worldcat.org/entity/work/data/290357961#Topic/computer_software_testing> ; # Computer software--Testing
    schema:about <http://id.worldcat.org/fast/1002045> ; # Logic design
    schema:about <http://experiment.worldcat.org/entity/work/data/290357961#Topic/computer_communication_networks> ; # Computer Communication Networks
    schema:about <http://experiment.worldcat.org/entity/work/data/290357961#Topic/programming_languages_compilers_interpreters> ; # Programming Languages, Compilers, Interpreters
    schema:about <http://experiment.worldcat.org/entity/work/data/290357961#Topic/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs
    schema:about <http://experiment.worldcat.org/entity/work/data/290357961#Topic/communications_engineering_networks> ; # Communications Engineering, Networks
    schema:about <http://dewey.info/class/005.1/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/290357961#Topic/telecommunication> ; # Telecommunication
    schema:about <http://experiment.worldcat.org/entity/work/data/290357961#Topic/logic_design> ; # Logic design
    schema:about <http://id.worldcat.org/fast/1124185> ; # Software engineering
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/212220339> ; # Margus Veanes
    schema:contributor <http://viaf.org/viaf/117170336> ; # Wolfgang Grieskamp
    schema:contributor <http://viaf.org/viaf/283476587> ; # Jan Tretmans
    schema:creator <http://viaf.org/viaf/77375153> ; # Alexandre Petrenko
    schema:datePublished "2007" ;
    schema:description "This book constitutes the refereed proceedings of the 19th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2007, and the 7th International Workshop on Formal Approaches to Testing of Software, FATES 2007, held in Tallinn, Estonia in June 2007. The 24 revised full papers presented together with 1 invited talk were carefully reviewed and selected from initially 61 submissions to both events. The papers address all current issues in testing communicating systems and formal approaches in testing of software, ranging from classical telecommunication issues to general software testing. They were presented in 8 multipart sessions coverering automata-based testing, practical experiences, system testing, modular systems, and test quality."@en ;
    schema:description "Implementing Conformiq Qtronic -- New Approach for EFSM-Based Passive Testing of Web Services -- Automation of Avionic Systems Testing -- Automatic Test Generation from Interprocedural Specifications -- A New Method for Interoperability Test Generation -- Component Testing Is Not Enough -- A Study of Software Faults in Telecom Middleware -- Symbolic Model Based Testing for Component Oriented Systems -- A Compositional Testing Framework Driven by Partial Specifications -- Nodes Self-similarity to Test Wireless Ad Hoc Routing Protocols -- Testing and Model-Checking Techniques for Diagnosis -- Model-Based Testing of Service Infrastructure Components -- Testing Input/Output Partial Order Automata -- A Framework for Testing AIS Implementations -- An Object-Oriented Framework for Improving Software Reuse on Automated Testing of Mobile Phones -- Model Based Testing of an Embedded Session and Transport Protocol -- Utilising Code Smells to Detect Quality Problems in TTCN-3 Test Suites -- A Bounded Incremental Test Generation Algorithm for Finite State Machines -- Experimental Testing of TCP/IP/Ethernet Communication for Automatic Control -- Towards Systematic Signature Testing -- TPLan-A Notation for Expressing Test Purposes -- Testing Nondeterministic Finite State Machines with Respect to the Separability Relation -- Learning and Integration of Parameterized Components Through Testing -- An EFSM-Based Passive Fault Detection Approach -- Test Data Variance as a Test Quality Measure: Exemplified for TTCN-3 -- Model-Based Testing of Optimizing Compilers."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/290357961> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/290357961#CreativeWork/> ;
    schema:name "Testing of Software and Communicating Systems : 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings"@en ;
    schema:productID "759003671" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/759003671#PublicationEvent/berlin_heidelberg_springer_verlag_berlin_heidelberg_2007> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/290357961#Agent/springer_verlag_berlin_heidelberg> ; # Springer-Verlag Berlin Heidelberg
    schema:url <http://dx.doi.org/10.1007/978-3-540-73066-8> ;
    schema:workExample <http://worldcat.org/isbn/9783540730668> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-540-73066-8> ;
    schema:workExample <http://worldcat.org/isbn/9783540730651> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/759003671> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/290357961#Agent/springer_verlag_berlin_heidelberg> # Springer-Verlag Berlin Heidelberg
    a bgn:Agent ;
    schema:name "Springer-Verlag Berlin Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/290357961#Place/berlin_heidelberg> # Berlin, Heidelberg
    a schema:Place ;
    schema:name "Berlin, Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/290357961#Topic/communications_engineering_networks> # Communications Engineering, Networks
    a schema:Intangible ;
    schema:name "Communications Engineering, Networks"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/290357961#Topic/computer_communication_networks> # Computer Communication Networks
    a schema:Intangible ;
    schema:name "Computer Communication Networks"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/290357961#Topic/computer_science> # Computer Science
    a schema:Intangible ;
    schema:name "Computer Science"@en ;
    schema:name "Computer science"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/290357961#Topic/computer_software_testing> # Computer software--Testing
    a schema:Intangible ;
    schema:name "Computer software--Testing"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/290357961#Topic/information_systems> # Information Systems
    a schema:Intangible ;
    schema:name "Information Systems"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/290357961#Topic/logics_and_meanings_of_programs> # Logics and Meanings of Programs
    a schema:Intangible ;
    schema:name "Logics and Meanings of Programs"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/290357961#Topic/management_of_computing_and_information_systems> # Management of Computing and Information Systems
    a schema:Intangible ;
    schema:name "Management of Computing and Information Systems"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/290357961#Topic/programming_languages_compilers_interpreters> # Programming Languages, Compilers, Interpreters
    a schema:Intangible ;
    schema:name "Programming Languages, Compilers, Interpreters"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/290357961#Topic/software_engineering> # Software Engineering
    a schema:Intangible ;
    schema:name "Software Engineering"@en ;
    schema:name "Software engineering"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/290357961#Topic/telecommunication> # Telecommunication
    a schema:Intangible ;
    schema:name "Telecommunication"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/290357961#Topic/telecommunication_systems_testing> # Telecommunication systems--Testing
    a schema:Intangible ;
    schema:name "Telecommunication systems--Testing"@en ;
    .

<http://id.worldcat.org/fast/1002045> # Logic design
    a schema:Intangible ;
    schema:name "Logic design"@en ;
    .

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

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

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
    schema:name "Computer science"@en ;
    .

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

<http://viaf.org/viaf/212220339> # Margus Veanes
    a schema:Person ;
    schema:familyName "Veanes" ;
    schema:givenName "Margus" ;
    schema:name "Margus Veanes" ;
    .

<http://viaf.org/viaf/283476587> # Jan Tretmans
    a schema:Person ;
    schema:familyName "Tretmans" ;
    schema:givenName "Jan" ;
    schema:name "Jan Tretmans" ;
    .

<http://viaf.org/viaf/77375153> # Alexandre Petrenko
    a schema:Person ;
    schema:familyName "Petrenko" ;
    schema:givenName "Alexandre" ;
    schema:name "Alexandre Petrenko" ;
    .

<http://worldcat.org/entity/work/data/290357961#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Printed edition:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/759003671> ; # Testing of Software and Communicating Systems : 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings
    .

<http://worldcat.org/isbn/9783540730651>
    a schema:ProductModel ;
    schema:isbn "3540730656" ;
    schema:isbn "9783540730651" ;
    .

<http://worldcat.org/isbn/9783540730668>
    a schema:ProductModel ;
    schema:isbn "3540730664" ;
    schema:isbn "9783540730668" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/759003671> ; # Testing of Software and Communicating Systems : 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. 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/759003671>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/759003671> ; # Testing of Software and Communicating Systems : 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings
    schema:dateModified "2018-06-14" ;
    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.