Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4581)
Part of the book sub series: Computer Communication Networks and Telecommunications (LNCCN)
Conference series link(s): FATES: International Workshop on Formal Approaches to Software Testing, TestCom: IFIP International Conference on Testing of Software and Communicating Systems
Conference proceedings info: FATES 2007, TestCom 2007.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsThis is a preview of subscription content, access via your institution.
Table of contents (26 papers)
-
Front Matter
Keywords
- Middleware
- Routing
- Session
- Symbol
- TCP/IP
- algorithm
- algorithms
- automata
- communication
- functional testing
- graph transformation
- interoperability
- network-based feedback
- real time systems
- security testing
Bibliographic Information
Book Title: Testing of Software and Communicating Systems
Book Subtitle: 19th IFIP TC 6/WG 6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallin, Estonia, June 26-29, 2007, Proceedings
Editors: Alexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-540-73066-8
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: IFIP International Federation for Information Processing 2007
Softcover ISBN: 978-3-540-73065-1Published: 12 June 2007
eBook ISBN: 978-3-540-73066-8Published: 19 August 2007
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIV, 386
Topics: Software Engineering, Computer Communication Networks, Compilers and Interpreters, Computer Science Logic and Foundations of Programming, IT Operations, Communications Engineering, Networks