Testing of Software and Communicating Systems

Inhaltsverzeichnis

• Implementing 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.