Testing of Software and Communicating Systems 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Petrenko, Alexandre (Επιμελητής έκδοσης), Veanes, Margus (Επιμελητής έκδοσης), Tretmans, Jan (Επιμελητής έκδοσης), Grieskamp, Wolfgang (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
• Σειρά: Lecture Notes in Computer Science, 4581
• Θέματα: Computer science.; Computer communication systems.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Management information systems.; Electrical engineering.; Computer Science.; Software Engineering.; Computer Communication Networks.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.; Management of Computing and Information Systems.; Communications Engineering, Networks.

Πίνακας περιεχομένων:

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