Vytvořit citaci
Poslat emailem
Exportovat záznam
Přidat do oblíbených
Objednat papírovou kopii

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

Uloženo v:
Podrobná bibliografie
Další autoři: Petrenko, Alexandre (Editor)
Veanes, Margus (Editor)
Tretmans, Jan (Editor)
Grieskamp, Wolfgang (Editor)
Korporace: SpringerLink (online služba)  
Médium: E-kniha
Jazyk:angličtina
Vydáno: Berlin ; Heidelberg : Springer Berlin Heidelberg, 2007
Edice:Lecture Notes in Computer Science
Žánr/forma:elektronické knihy
ISBN:978-3-540-73066-8
9783540730651
Témata:
On-line přístup:Plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
Obálka
Obsah:
  • 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