Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5047)
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 2008, TestCom 2008.
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 (20 papers)
-
Front Matter
About this book
Keywords
- action refinement
- all-IP networks
- aspect oriented programming
- automated testing
- communicating systems testing
- computer communication systems
- conformance testing
- error recovery
- fault protection
- finite state automata
- functional testing
- graph tran
- real-time
- testing
- tools
Bibliographic Information
Book Title: Testing of Software and Communicating Systems
Book Subtitle: 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008 Proceedings
Editors: Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-540-68524-1
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: IFIP International Federation for Information Processing 2008
Softcover ISBN: 978-3-540-68514-2Published: 26 May 2008
eBook ISBN: 978-3-540-68524-1Published: 06 June 2008
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XII, 303
Topics: Software Engineering, Computer Communication Networks, Compilers and Interpreters, Computer Science Logic and Foundations of Programming, IT Operations, Communications Engineering, Networks