Testing of software and communicating systems

InhaltsverzeichnisImplementing 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.