MARC record from Internet Archive

LEADER: 07597cam 2200997Ia 4500
001 ocn262680792
003 OCoLC
005 20200105193300.0
008 081017s2005 gw a ob 101 0 eng d
006 m o d
007 cr cn|||||||||
010 $a 2005925777
040 $aGW5XE$beng$epn$cGW5XE$dI8H$dHNK$dOHX$dCOO$dNUI$dOCLCQ$dYNG$dE7B$dOCLCQ$dOCLCF$dOCLCO$dBEDGE$dOCLCQ$dITD$dIDEBK$dSLY$dOCLCQ$dOCL$dOCLCQ$dEBLCP$dVT2$dOCLCQ$dUAB$dESU$dU3W$dBUF$dSTF$dOCLCQ$dCEF$dTFW$dOCLCQ$dWYU$dICG$dYOU$dUX1$dOCLCQ$dAUD$dOL$$dOCLCQ$dSFB$dOCLCQ
016 $a20070038031
016 7 $a974520101$2DE-101
019 $a60408093$a288256276$a613656121$a729901467$a739138201$a785777516$a880013311$a964890870$a1005821130$a1035697507$a1044271754$a1056405705$a1060878167$a1066620328$a1074321792$a1081180654$a1086923675$a1091738043$a1102296997$a1105589804$a1125445573$a1132295653
020 $a9783540320760
020 $a3540320768
020 $a3540260544
020 $a9783540260547
024 3 $a9783540260547
035 $a(OCoLC)262680792$z(OCoLC)60408093$z(OCoLC)288256276$z(OCoLC)613656121$z(OCoLC)729901467$z(OCoLC)739138201$z(OCoLC)785777516$z(OCoLC)880013311$z(OCoLC)964890870$z(OCoLC)1005821130$z(OCoLC)1035697507$z(OCoLC)1044271754$z(OCoLC)1056405705$z(OCoLC)1060878167$z(OCoLC)1066620328$z(OCoLC)1074321792$z(OCoLC)1081180654$z(OCoLC)1086923675$z(OCoLC)1091738043$z(OCoLC)1102296997$z(OCoLC)1105589804$z(OCoLC)1125445573$z(OCoLC)1132295653
037 $a978-3-540-26054-7$bSpringer$nhttp://www.springerlink.com
050 4 $aTK5101.A1$bI333 2005
055 02 $aTK5101*
055 00 $aTK5101 A1$bI437 2005
072 7 $aTK$2lcco
082 04 $a621.382$222
084 $a54.32$2bcl
084 $aTN915. 06-532$2clc
111 2 $aIFIP TC6/WG6.1 International Conference on Testing of Communicating Systems$n(17th :$d2005 :$cMontre al, Que bec)
245 10 $aTesting of communicating systems :$b17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31-June 2, 2005 : proceedings /$cFerhat Khendek, Rachida Dssouli (eds.).
246 30 $aTestCom 2005
260 $aBerlin ;$aNew York :$bSpringer,$c℗♭2005.
300 $a1 online resource (x, 379 pages) :$billustrations
336 $atext$btxt$2rdacontent
337 $acomputer$bc$2rdamedia
338 $aonline resource$bcr$2rdacarrier
490 1 $aLecture notes in computer science,$x0302-9743 ;$v3502
504 $aIncludes bibliographical references and index.
520 $a"This volume contains the proceedings of the 17th IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems (TestCom 2005). The conference was held at Concordia University, Montreal, Canada, from May 31 to June 2, 2005. TestCom 2005 was organized by Concordia University and was sponsored by IFIP."
588 0 $aPrint version record.
505 0 $aThe 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.
650 0 $aTelecommunication systems$xTesting$vCongresses.
650 6 $aTe le communications, Syste mes de$xEssais$vCongre s.
650 07 $aTelecommunication systems$xTesting.$2cct
650 7 $aInformatique.$2eclas
650 7 $aTelecommunication systems$xTesting.$2fast$0(OCoLC)fst01146083
655 4 $aElectronic books.
655 7 $aConference papers and proceedings.$2fast$0(OCoLC)fst01423772
700 1 $aKhendek, Ferhat.
700 1 $aDssouli, R.$q(Rachida)
776 08 $iPrint version:$aIFIP TC6/WG6.1 International Conference on Testing of Communicating Systems (17th : 2005 : Montre al, Que bec).$tTesting of communicating systems.$dBerlin ; New York : Springer, ℗♭2005$z3540260544$z9783540260547$w(DLC) 2005925777$w(OCoLC)60634594
830 0 $aLecture notes in computer science ;$v3502.$x0302-9743
856 40 $3ebrary$uhttp://site.ebrary.com/id/10528927
856 40 $3MyiLibrary$uhttp://www.myilibrary.com?id=139083
856 40 $3OhioLINK$uhttp://rave.ohiolink.edu/ebooks/ebc/11430230
856 40 $3ProQuest Ebook Central$uhttps://public.ebookcentral.proquest.com/choice/publicfullrecord.aspx?p=3067955
856 40 $3Scholars Portal$uhttp://books.scholarsportal.info/viewdoc.html?id=/ebooks/ebooks2/springer/2011-04-28/4/9783540320760
856 40 $3ScholarsPortal$uhttp://www.library.yorku.ca/eresolver/?id=1242437
856 40 $3SpringerLink$uhttps://doi.org/10.1007/b136676
856 40 $3SpringerLink$uhttp://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-26054-7
856 40 $3SpringerLink$uhttps://link.springer.com/book/10.1007/978-3-540-26054-7
856 40 $3SpringerLink$uhttp://link.springer.com/10.1007/b136676
856 40 $3SpringerLink$uhttps://link.springer.com/book/10.1007/b136676
856 40 $3SpringerLink$uhttp://www.library.yorku.ca/eresolver/?id=1242436$zAn electronic book accessible through the World Wide Web; click for information
856 40 $3SpringerLink$uhttps://link.springer.com/10.1007/b136676
856 40 $3SpringerLink$uhttp://www.springerlink.com/openurl.asp?genre=volume&id=doi:10.1007/b136676
856 40 $uhttp://VH7QX3XE2P.search.serialssolutions.com/?V=1.0&L=VH7QX3XE2P&S=JCs&C=TC0000320338&T=marc&tab=BOOKS
856 41 $3SpringerLink$uhttp://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3502
856 41 $uhttp://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3502$zRestricted to SpringerLink subscribers
856 41 $uhttp://ezproxy.st-andrews.ac.uk/login?url=http://link.springer.com/openurl.asp?genre=issue&issn=0302-9743&volume=3502$zConnect to e-book
938 $aEBL - Ebook Library$bEBLB$nEBL3067955
938 $aebrary$bEBRY$nebr10528927
938 $aOtto Harrassowitz$bHARR$nhar050052965
938 $aProQuest MyiLibrary Digital eBook Collection$bIDEB$ncis23798937
029 1 $aAU@$b000048721092
029 1 $aAU@$b000051345617
029 1 $aAU@$b000058162622
029 1 $aAU@$b000058470426
029 1 $aHEBIS$b192060864
029 1 $aNLGGC$b384382282
029 1 $aNZ1$b12278995
029 1 $aNZ1$b13658343
994 $aZ0$bP4A
948 $hNO HOLDINGS IN P4A - 388 OTHER HOLDINGS