%0 Conference Paper %1 Suzuki2008 %A Suzuki, Kenji %A Higashino, Teruo %A Ulrich, Andreas %A Hasegawa, Toru %B Lecture Notes in Computer Science %D 2008 %I Springer %K formal methods testing %T Testing of Software and Communicating Systems: 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008, Tokyo, Japan, June 2008, Proceedings %U http://www.amazon.com/Testing-Software-Communicating-Systems-International/dp/3540685146%3FSubscriptionId%3D13CT5CVB80YFWJEPWS02%26tag%3Dws%26linkCode%3Dxm2%26camp%3D2025%26creative%3D165953%26creativeASIN%3D3540685146 %X This book constitutes the refereed proceedings of the 20th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2008, and the 8th International Workshop on Formal Approaches to Testing of Software, FATES 2008, jointly held in Tokyo, Japan, in June 2008. The 18 revised full papers presented together with 2 invited talks were carefully reviewed and selected from initially 58 submissions to both events. The papers cover new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating systems and general software. They are organized in topical sections on general software testing, testing continuous and real-time systems, network testing, test generation, concurrent system testing, and applications of testing. %7 1 %@ 3540685146

@inproceedings{Suzuki2008, abstract = {This book constitutes the refereed proceedings of the 20th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2008, and the 8th International Workshop on Formal Approaches to Testing of Software, FATES 2008, jointly held in Tokyo, Japan, in June 2008. The 18 revised full papers presented together with 2 invited talks were carefully reviewed and selected from initially 58 submissions to both events. The papers cover new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating systems and general software. They are organized in topical sections on general software testing, testing continuous and real-time systems, network testing, test generation, concurrent system testing, and applications of testing.}, added-at = {2008-09-24T11:50:14.000+0200}, asin = {3540685146}, author = {Suzuki, Kenji and Higashino, Teruo and Ulrich, Andreas and Hasegawa, Toru}, biburl = {https://www.bibsonomy.org/bibtex/2851b90b4919165f7bb4a41936e742805/ist_spl}, description = {Amazon.com: Testing of Software and Communicating Systems: 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008, Tokyo, ... Lecture Notes in Computer Science : Kenji Suzuki, Teruo Higashino, Andreas Ulrich,}, dewey = {005}, ean = {9783540685142}, edition = 1, interhash = {f26a61c2aa14ea7413b8bc235323c2c0}, intrahash = {851b90b4919165f7bb4a41936e742805}, isbn = {3540685146}, keywords = {formal methods testing}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2008-09-24T11:50:14.000+0200}, title = {Testing of Software and Communicating Systems: 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008, Tokyo, Japan, June 2008, Proceedings}, url = {http://www.amazon.com/Testing-Software-Communicating-Systems-International/dp/3540685146%3FSubscriptionId%3D13CT5CVB80YFWJEPWS02%26tag%3Dws%26linkCode%3Dxm2%26camp%3D2025%26creative%3D165953%26creativeASIN%3D3540685146}, year = 2008 }