Info
MIIT 2010 : proceedings of the first International Workshop on Model Inference in Testing
| MIIT 2010 : proceedings of the first International Workshop on Model Inference in Testing |
| Autore | Groz Roland |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2010 |
| Descrizione fisica | 1 online resource (25 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Model Inference in Testing 2010
Proceedings of the first International Workshop on Model Inference In Testing 2010 |
| Record Nr. | UNINA-9910376001803321 |
Groz Roland
|
||
| [Place of publication not identified], : ACM, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Testing of Communicating Systems [[electronic resource] ] : 16th IFIP International Conference, TestCom 2004, Oxford, UK, March 17-19, 2004., Proceedings / / edited by Roland Groz, Robert M. Hierons
| Testing of Communicating Systems [[electronic resource] ] : 16th IFIP International Conference, TestCom 2004, Oxford, UK, March 17-19, 2004., Proceedings / / edited by Roland Groz, Robert M. Hierons |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (X, 226 p.) |
| Disciplina | 621.382 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer communication systems Software Engineering Computer Communication Networks |
| ISBN |
1-280-30706-4
9786610307067 3-540-24704-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Implementation of an Open Source Toolset for CCM Components and Systems Testing -- A Multi-service and Multi-protocol Validation Platform – Experimentation Results -- From Design to Test with UML -- BCMP Performance Test with TTCN-3 Mobile Node Emulator -- FSM Based Interoperability Testing Methods for Multi Stimuli Model -- On Testing Partially Specified IOTS through Lossless Queues -- Testing Multi Input/Output Transition System with All-Observer -- Soip Over Satellite Testing – TIM Experience -- Generation of Optimized Testsuites for UML Statecharts with Time -- Communication Patterns for Expressing Real-Time Requirements Using MSC and Their Application to Testing -- From Safety Verification to Safety Testing -- Derivation of Abstract Protocol Type Definitions for the Conformance Testing of Text-Based Protocols -- Mutation Testing Applied to Validate SDL Specifications -- Execution of External Applications using TTCN-3. |
| Record Nr. | UNISA-996465409903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Testing of Communicating Systems : 16th IFIP International Conference, TestCom 2004, Oxford, UK, March 17-19, 2004., Proceedings / / edited by Roland Groz, Robert M. Hierons
| Testing of Communicating Systems : 16th IFIP International Conference, TestCom 2004, Oxford, UK, March 17-19, 2004., Proceedings / / edited by Roland Groz, Robert M. Hierons |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (X, 226 p.) |
| Disciplina | 621.382 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer communication systems Software Engineering Computer Communication Networks |
| ISBN |
1-280-30706-4
9786610307067 3-540-24704-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Implementation of an Open Source Toolset for CCM Components and Systems Testing -- A Multi-service and Multi-protocol Validation Platform – Experimentation Results -- From Design to Test with UML -- BCMP Performance Test with TTCN-3 Mobile Node Emulator -- FSM Based Interoperability Testing Methods for Multi Stimuli Model -- On Testing Partially Specified IOTS through Lossless Queues -- Testing Multi Input/Output Transition System with All-Observer -- Soip Over Satellite Testing – TIM Experience -- Generation of Optimized Testsuites for UML Statecharts with Time -- Communication Patterns for Expressing Real-Time Requirements Using MSC and Their Application to Testing -- From Safety Verification to Safety Testing -- Derivation of Abstract Protocol Type Definitions for the Conformance Testing of Text-Based Protocols -- Mutation Testing Applied to Validate SDL Specifications -- Execution of External Applications using TTCN-3. |
| Record Nr. | UNINA-9910144206003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||