LEADER 03778nam 2200625 450 001 996465335803316 005 20220423180019.0 010 $a3-540-73066-4 024 7 $a10.1007/978-3-540-73066-8 035 $a(CKB)1000000000491022 035 $a(SSID)ssj0000320340 035 $a(PQKBManifestationID)11235214 035 $a(PQKBTitleCode)TC0000320340 035 $a(PQKBWorkID)10347993 035 $a(PQKB)11557175 035 $a(DE-He213)978-3-540-73066-8 035 $a(MiAaPQ)EBC3063228 035 $a(MiAaPQ)EBC6694525 035 $a(Au-PeEL)EBL6694525 035 $a(PPN)123162947 035 $a(EXLCZ)991000000000491022 100 $a20220423d2007 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aTesting of software and communicating systems $e19th IFIP TC6/WG6.1 international conference, TestCom 2007, 7th international workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007, proceedings /$fMargus Veanes, Jan Tretmans and Wolfgang Grieskamp 205 $a1st ed. 2007. 210 1$aBerlin, Heidelberg :$cSpringer-Verlag,$d[2007] 210 4$dİ2007 215 $a1 online resource (XII, 379 p.) 225 1 $aLecture Notes in Computer Science ;$v4581 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-73065-6 320 $aIncludes bibliographical references and index. 327 $aImplementing 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. 410 0$aLecture notes in computer science ;$v4581. 606 $aTelecommunication systems$xTesting$vCongresses 606 $aComputer software$xTesting$vCongresses 615 0$aTelecommunication systems$xTesting 615 0$aComputer software$xTesting 676 $a004.620287 700 $aVeanes$b Margus$01221924 702 $aTretmans$b Jan 702 $aGrieskamp$b Wolfgang$f1960- 712 02$aInternational Federation for Information Processing.$bTechnical Committee 6. 712 12$aFATES 2007$f(2007 :$eTallinn, Estonia) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465335803316 996 $aTesting of software and communicating systems$92833609 997 $aUNISA