Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID18. TestCom 2006: New York, NY, USA
- M. Ümit Uyar, Ali Y. Duale, Mariusz A. Fecko:
Testing of Communicating Systems, 18th IFIP TC6/WG6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings. Lecture Notes in Computer Science 3964, Springer 2006, ISBN 3-540-34184-6
Session I: Testing Theory and Foundations
- Christophe Gaston, Pascale Le Gall, Nicolas Rapin, Assia Touil:
Symbolic Execution Techniques for Test Purpose Definition. 1-18 - Ralf Lämmel, Wolfram Schulte:
Controllable Combinatorial Coverage in Grammar-Based Testing. 19-38 - Ismael Rodríguez, Mercedes G. Merayo, Manuel Núñez
:
A Logic for Assessing Sets of Heterogeneous Testing Hypotheses. 39-54
Session II: Testing Non-deterministic and Probabilistic Systems
- Florentin Ipate:
Bounded Sequence Testing from Non-deterministic Finite State Machines. 55-70 - Emmanuel de Rosière, Claude Jard, Benoit Parreaux:
LaTe, a Non-fully Deterministic Testing Language. 71-86 - Luis Fernando Llana Díaz, Manuel Núñez, Ismael Rodríguez:
Customized Testing for Probabilistic Systems. 87-102
Session III: Testing Internet and Industrial Systems
- ChangSup Keum, Sungwon Kang, In-Young Ko, Jongmoon Baik, Young-Il Choi:
Generating Test Cases for Web Services Using Extended Finite State Machine. 103-117 - Abdelghani Benharref, Rachida Dssouli, Roch H. Glitho, Mohamed Adel Serhani:
Towards the Testing of Composed Web Services in 3rd Generation Networks. 118-133 - Ana R. Cavalli, Stéphane Maag, Wissam Mallouli, Mikael Marche, Yves-Marie Quemener:
Application of Two Test Generation Tools to an Industrial Case Study. 134-148
Session IV: TTCN-3
- Máté J. Csorba, Sándor Palugyai, Sarolta Dibuz, Gyula Csopaki:
Performance Analysis of Concurrent PCOs in TTCN-3. 149-160 - Andreas Johan Nyberg:
Use of TTCN-3 for Software Module Testing. 161-176 - George Din, Sorin Tolea, Ina Schieferdecker:
Distributed Load Tests with TTCN-3. 177-196
Session V: Compositional and Distributed Testing
- Mahadevan Subramaniam, Zoltán Pap:
Analyzing the Impact of Protocol Changes on Tests. 197-212 - Jessica Chen, Hasan Ural:
Detecting Observability Problems in Distributed Testing. 213-226 - Reinhard Gotzhein, Ferhat Khendek:
Compositional Testing of Communication Systems. 227-244
Session VI: FSM-Based Testing and Diagnosis
- Khaled El-Fakih, Alexandre Petrenko, Nina Yevtushenko:
FSM Test Translation Through Context. 245-258 - M. Cihan Yalcin, Hüsnü Yenigün:
Using Distinguishing and UIO Sequences Together in a Checking Sequence. 259-273 - Hasan Ural, Fan Zhang:
Reducing the Lengths of Checking Sequences by Overlapping. 274-288
Session VII: Timed Systems
- Ismail Berrada, Richard Castanet, Patrick Félix, Aziz Salah:
Test Case Minimization for Real-Time Systems Using Timed Bound Traces. 289-305 - Rachid Bouaziz, Ousmane Koné:
Symbolic and on the Fly Testing with Real-Time Observers. 306-323 - Zhiliang Wang, Jianping Wu, Xia Yin, Xingang Shi, Beihang Tian:
Using Timed TTCN-3 in Interoperability Testing for Real-Time Communication Systems. 324-340
Session VIII: Testing for Security
- Vianney Darmaillacq, Jean-Claude Fernandez, Roland Groz, Laurent Mounier, Jean-Luc Richier:
Test Generation for Network Security Rules. 341-356 - Guoqiang Shu, David Lee:
Message Confidentiality Testing of Security Protocols - Passive Monitoring and Active Checking. 357-372
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-22 20:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
