LEADER 04025nam 2200613 a 450 001 9910484470403321 005 20200520144314.0 010 $a3-540-34185-4 024 7 $a10.1007/11754008 035 $a(CKB)1000000000232976 035 $a(SSID)ssj0000320339 035 $a(PQKBManifestationID)11253486 035 $a(PQKBTitleCode)TC0000320339 035 $a(PQKBWorkID)10347737 035 $a(PQKB)11146091 035 $a(DE-He213)978-3-540-34185-7 035 $a(MiAaPQ)EBC3068021 035 $a(PPN)123134730 035 $a(EXLCZ)991000000000232976 100 $a20060403d2006 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aTesting of communicating systems $e18th IFIP TC6/WG6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006 : proceedings /$fM. Umit Uyar, Ali Y. Duale, Mariusz A. Fecko (eds.) 205 $a1st ed. 2006. 210 $aBerlin ;$aNew York $cSpringer$d2006 215 $a1 online resource (XI, 373 p.) 225 1 $aLecture notes in computer science,$x0302-9743 ;$v3964 225 1 $aLNCS sublibrary. SL 5, Computer communication networks and telecommunications 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-34184-6 320 $aIncludes bibliographical references and index. 327 $aSession I: Testing Theory and Foundations -- Symbolic Execution Techniques for Test Purpose Definition -- Controllable Combinatorial Coverage in Grammar-Based Testing -- A Logic for Assessing Sets of Heterogeneous Testing Hypotheses -- Session II: Testing Non-deterministic and Probabilistic Systems -- Bounded Sequence Testing from Non-deterministic Finite State Machines -- LaTe, a Non-fully Deterministic Testing Language -- Customized Testing for Probabilistic Systems -- Session III: Testing Internet and Industrial Systems -- Generating Test Cases for Web Services Using Extended Finite State Machine -- Towards the Testing of Composed Web Services in 3rd Generation Networks -- Application of Two Test Generation Tools to an Industrial Case Study -- Session IV: TTCN-3 -- Performance Analysis of Concurrent PCOs in TTCN-3 -- Use of TTCN-3 for Software Module Testing -- Distributed Load Tests with TTCN-3 -- Session V: Compositional and Distributed Testing -- Analyzing the Impact of Protocol Changes on Tests -- Detecting Observability Problems in Distributed Testing -- Compositional Testing of Communication Systems -- Session VI: FSM-Based Testing and Diagnosis -- FSM Test Translation Through Context -- Using Distinguishing and UIO Sequences Together in a Checking Sequence -- Reducing the Lengths of Checking Sequences by Overlapping -- Session VII: Timed Systems -- Test Case Minimization for Real-Time Systems Using Timed Bound Traces -- Symbolic and on the Fly Testing with Real-Time Observers -- Using TimedTTCN-3 in Interoperability Testing for Real-Time Communication Systems -- Session VIII: Testing for Security -- Test Generation for Network Security Rules -- Message Confidentiality Testing of Security Protocols ? Passive Monitoring and Active Checking. 410 0$aLecture notes in computer science ;$v3964. 410 0$aLNCS sublibrary.$nSL 5,$pComputer communication networks and telecommunications. 517 3 $aIFIP TC 6/WG 6.1 International Conference 517 3 $aEighteenth IFIP TC 6/WG 6.1 International Conference 517 3 $aTestCom 2006 606 $aTelecommunication systems$xTesting$vCongresses 615 0$aTelecommunication systems$xTesting 676 $a621.382 701 $aUyar$b M. Umit$01755313 701 $aDuale$b Ali Y$01755314 701 $aFecko$b Mariusz A.$f1968-$01755315 712 12$aIFIP TC6/WG6.1 International Conference on Testing of Communicating Systems 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484470403321 996 $aTesting of communicating systems$94192053 997 $aUNINA