𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Testing of Software and Communication Systems Volume 5826 || Towards Automatic Generation of a Coherent TTCN-3 Template Framework

✍ Scribed by Núñez, Manuel; Baker, Paul; Merayo, Mercedes G.

Book ID
127250427
Publisher
Springer Berlin Heidelberg
Year
2009
Tongue
German
Weight
142 KB
Category
Article
ISBN
364205031X

No coin nor oath required. For personal study only.

✦ Synopsis

This Book Constitutes The Refereed Proceedings Of The 21th Ifip Wg 6.1 International Conference On Testing Communicating Systems, Testcom 2009, And The 9th International Workshop On Formal Approaches To Testing Of Software, Fates 2009, Jointly Held In Eindhoven, The Netherlands, In November 2009. The 13 Revised Full Papers Presented Together With 6 Short Papers Were Carefully Selected From 37 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.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Test
[Lecture Notes in Computer Science] Testing Software and Systems Volume 7641 || Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Systems
✍ Nielsen, Brian; Weise, Carsten 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 810 KB

This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2012, held in Aalborg, Denmark, in November 2012. The 16 revised full papers presented together with 2 invited talks were carefully selected from 48 submissions. The

[Lecture Notes in Computer Science] Test
[Lecture Notes in Computer Science] Testing of Software and Communication Systems Volume 5826 || Testing Timed Finite State Machines with Guaranteed Fault Coverage
✍ Núñez, Manuel; Baker, Paul; Merayo, Mercedes G. 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 314 KB

This Book Constitutes The Refereed Proceedings Of The 21th Ifip Wg 6.1 International Conference On Testing Communicating Systems, Testcom 2009, And The 9th International Workshop On Formal Approaches To Testing Of Software, Fates 2009, Jointly Held In Eindhoven, The Netherlands, In November 2009. Th

[Lecture Notes in Computer Science] Engi
[Lecture Notes in Computer Science] Engineering Human Computer Interaction and Interactive Systems Volume 3425 || Towards a New Generation of Widgets for Supporting Software Plasticity: The ”Comet”
✍ Bastide, Rémi; Palanque, Philippe; Roth, Jörg 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 397 KB

As Its Name Suggests, The Ehci-dsvis Conference Has Been A Special Event, Merging Two Different, Although Overlapping, Research Communities: Ehci (engineering For Human-computer Interaction) Is A Conference Organized By The Ifip 2.7/13.4 Working Group, Started In 1974 And Held Every Three Years Sinc

[Lecture Notes in Computer Science] Test
[Lecture Notes in Computer Science] Testing of Software and Communicating Systems Volume 4581 || Model Based Testing of an Embedded Session and Transport Protocol
✍ Petrenko, Alexandre; Veanes, Margus; Tretmans, Jan; Grieskamp, Wolfgang 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 413 KB

This book constitutes the refereed proceedings of the 19th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2007, and the 7th International Workshop on Formal Approaches to Testing of Software, FATES 2007, held in Tallinn, Estonia. It covers all current issues in t

[Lecture Notes in Computer Science] Agen
[Lecture Notes in Computer Science] Agent-Oriented Software Engineering VII Volume 4405 || SUNIT: A Unit Testing Framework for Test Driven Development of Multi-Agent Systems
✍ Padgham, Lin; Zambonelli, Franco 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 380 KB

This Book Constitutes The Thoroughly Refereed Post-proceedings Of The 7th International Workshop On Agent-oriented Software Engineering, Aose 2006, Held In Hakodate, Japan, In May 2006 As Part Of Aamas 2006. The 13 Revised Full Papers Are Organized In Topical Sections On Modeling And Design Of Agent