✦ LIBER ✦

[Lecture Notes in Computer Science] Testing Software and Systems Volume 6435 || Black-Box System Testing of Real-Time Embedded Systems Using Random and Search-Based Testing

✍ Scribed by Petrenko, Alexandre; Simão, Adenilso; Maldonado, José Carlos

Book ID: 121080157
Publisher: Springer Berlin Heidelberg
Year: 2010
Weight: 271 KB
Category: Article
ISBN: 3642165737
DOI: 10.1007/978-3-642-16573-3_8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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] Test

[Lecture Notes in Computer Science] Testing Software and Systems Volume 7019 || Conformance Relations for Distributed Testing Based on CSP

✍ Wolff, Burkhart; Zaïdi, Fatiha 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 247 KB

[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] Real

[Lecture Notes in Computer Science] Real-Time and Embedded Computing Systems and Applications Volume 2968 || Software Platform for Embedded Software Development

✍ Chen, Jing; Hong, Seongsoo 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 340 KB

[Lecture Notes in Computer Science] Adva

[Lecture Notes in Computer Science] Advanced Information Systems Engineering Volume 3520 || Model-Based System Testing of Software Product Families

✍ Pastor, Oscar; Falcão e Cunha, João 📂 Article 📅 2005 🏛 Springer International Publishing 🌐 German ⚖ 311 KB

We Can Now Say That It Is Really A Big Pleasure For Us To Welcome All Of You To The Proceedings Of Caise 2005 Which Was Held In Porto.

[Lecture Notes in Computer Science] Mode

[Lecture Notes in Computer Science] Model Driven Engineering Languages and Systems Volume 6394 || Environment Modeling with UML/MARTE to Support Black-Box System Testing for Real-Time Embedded Systems: Methodology and Industrial Case Studies

✍ Petriu, Dorina C.; Rouquette, Nicolas; Haugen, Øystein 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 240 KB

The MODELS series of conferences is the premier venue for the exchange of - novative technical ideas and experiences focusing on a very important new te- nical discipline: model-driven software and systems engineering. The expansion ofthisdisciplineisadirectconsequenceoftheincreasingsigni?canceandsu