| 000 | 03584nam a22005175i 4500 | ||
|---|---|---|---|
| 001 | 978-3-540-32076-0 | ||
| 003 | DE-He213 | ||
| 005 | 20240730194512.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 100714s2005 gw | s |||| 0|eng d | ||
| 020 |
_a9783540320760 _9978-3-540-32076-0 |
||
| 024 | 7 |
_a10.1007/b136676 _2doi |
|
| 050 | 4 | _aQA76.758 | |
| 072 | 7 |
_aUMZ _2bicssc |
|
| 072 | 7 |
_aCOM051230 _2bisacsh |
|
| 072 | 7 |
_aUMZ _2thema |
|
| 082 | 0 | 4 |
_a005.1 _223 |
| 245 | 1 | 0 |
_aTesting of Communicating Systems _h[electronic resource] : _b17th IFIP TC 6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings / _cedited by Ferhat Khendek, Rachida Dssouli. |
| 250 | _a1st ed. 2005. | ||
| 264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2005. |
|
| 300 |
_aX, 380 p. _bonline resource. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 |
_atext file _bPDF _2rda |
||
| 490 | 1 |
_aComputer Communication Networks and Telecommunications, _x2945-9184 ; _v3502 |
|
| 505 | 0 | _aThe Epistemology of Validation and Verification Testing -- Passive Testing - A Constrained Invariant Checking Approach -- Dependence Testing: Extending Data Flow Testing with Control Dependence -- Comparing Bug Finding Tools with Reviews and Tests -- Cross-Language Functional Testing for Middleware -- Using Anti-Ant-like Agents to Generate Test Threads from the UML Diagrams -- Action Refinement in Conformance Testing -- Multiplexing of Partially Ordered Events -- Testing Communicating Systems: a Model, a Methodology, and a Tool -- Coping with Nondeterminism in Network Protocol Testing -- Eliminating Redundant Tests in a Checking Sequence -- On FSM-Based Fault Diagnosis -- State Identification Problems for Timed Automata -- Timing Fault Models for Systems with Multiple Timers -- An Expressive and Implementable Formal Framework for Testing Real-Time Systems -- Firewall Conformance Testing -- Test Generation for Interaction Detection in Feature-Rich Communication Systems -- Fault Detection of Hierarchical Networks with Probabilistic Testing Algorithms -- Detecting Trapdoors in Smart Cards Using Timing and Power Analysis -- From U2TP Models to Executable Tests with TTCN-3 - An Approach to Model Driven Testing - -- Using TTCN-3 for Testing Platform Independent Models -- Some Lessons from an Experiment Using TTCN-3 for the RIPng Testing -- A Model-Based Approach for Robustness Testing -- Content-Level Conformance Testing: An Information Mapping Case Study -- Quiescence Management Improves Interoperability Testing. | |
| 650 | 0 |
_aSoftware engineering. _94138 |
|
| 650 | 0 |
_aComputer networks . _931572 |
|
| 650 | 1 | 4 |
_aSoftware Engineering. _94138 |
| 650 | 2 | 4 |
_aComputer Communication Networks. _9157275 |
| 700 | 1 |
_aKhendek, Ferhat. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9157276 |
|
| 700 | 1 |
_aDssouli, Rachida. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9157277 |
|
| 710 | 2 |
_aSpringerLink (Online service) _9157278 |
|
| 773 | 0 | _tSpringer Nature eBook | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783540260547 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783540811107 |
| 830 | 0 |
_aComputer Communication Networks and Telecommunications, _x2945-9184 ; _v3502 _9157279 |
|
| 856 | 4 | 0 | _uhttps://doi.org/10.1007/b136676 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-SXCS | ||
| 912 | _aZDB-2-LNC | ||
| 942 | _cELN | ||
| 999 |
_c95228 _d95228 |
||