LEADER 04694nam 22007815 450 001 9910483394103321 005 20251226195145.0 010 $a3-642-05031-X 024 7 $a10.1007/978-3-642-05031-2 035 $a(CKB)1000000000812742 035 $a(SSID)ssj0000355636 035 $a(PQKBManifestationID)11267524 035 $a(PQKBTitleCode)TC0000355636 035 $a(PQKBWorkID)10340568 035 $a(PQKB)11640095 035 $a(DE-He213)978-3-642-05031-2 035 $a(MiAaPQ)EBC3064762 035 $a(PPN)139962336 035 $a(EXLCZ)991000000000812742 100 $a20100301d2009 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aTesting of Software and Communication Systems $e21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009, Proceedings /$fedited by Manuel Nunez, Paul Baker, Mercedes G. Merayo 205 $a1st ed. 2009. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009. 215 $a1 online resource (XII, 247 p.) 225 1 $aComputer Communication Networks and Telecommunications,$x2945-9184 ;$v5826 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-642-05030-1 320 $aIncludes bibliographical references and index. 327 $aRegular Papers -- Testing Real-Time Systems Using TINA -- A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems -- Testing k-Safe Petri Nets -- Implementing MSC Tests with Quiescence Observation -- Testing Timed Finite State Machines with Guaranteed Fault Coverage -- Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs -- Interaction Coverage Meets Path Coverage by SMT Constraint Solving -- Automatic Testing of Access Control for Security Properties -- Generating Reduced Tests for FSMs with Extra States -- An Approach for Test Selection for EFSMs Using a Theorem Prover -- TTCN-3 Based Conformance Testing of Mobile Broadcast Business Management System in 3G Networks -- Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models -- Analyzing Response Inconsistencies in Test Suites -- Short Papers -- Model-Based Testing of Web Applications Using NModel -- Observability and Controllability Issues in Conformance Testing of Web Service Compositions -- Towards Automatic Generation of a Coherent TTCN-3 Template Framework -- OConGraX ? Automatically Generating Data-Flow Test Cases for Fault-Tolerant Systems -- Debugging into Examples -- Structural Analysis of Large TTCN-3 Projects. 330 $aThis book constitutes the refereed proceedings of the 21th IFIP WG 6.1 International Conference on Testing Communicating Systems, TESTCOM 2009, and the 9th International Workshop on Formal Approaches to Testing of Software, FATES 2009, jointly held in Eindhoven, The Netherlands, in November 2009. The 13 revised full papers presented together with 6 short papers were carefully selected from 37 submissions to both events. The papers cover new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating systems and general software. 410 0$aComputer Communication Networks and Telecommunications,$x2945-9184 ;$v5826 606 $aSoftware engineering 606 $aComputer simulation 606 $aComputer programming 606 $aComputer science 606 $aCompilers (Computer programs) 606 $aSoftware Engineering 606 $aComputer Modelling 606 $aProgramming Techniques 606 $aComputer Science Logic and Foundations of Programming 606 $aCompilers and Interpreters 615 0$aSoftware engineering. 615 0$aComputer simulation. 615 0$aComputer programming. 615 0$aComputer science. 615 0$aCompilers (Computer programs). 615 14$aSoftware Engineering. 615 24$aComputer Modelling. 615 24$aProgramming Techniques. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aCompilers and Interpreters. 676 $a621.382028/7 701 $aNu?n?ez$b Manuel$00 701 $aBaker$b Paul$065019 701 $aMerayo$b M. G$g(Mercedes G.)$01752453 712 02$aInternational Federation for Information Processing.$bTechnical Committee 6. 712 12$aFATES 2009$f(2009 :$eEindhoven, Netherlands) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483394103321 997 $aUNINA