Abstract is missing.
- Symbolic Execution Techniques for Test Purpose DefinitionChristophe Gaston, Pascale Le Gall, Nicolas Rapin, Assia Touil. 1-18 [doi]
- Controllable Combinatorial Coverage in Grammar-Based TestingRalf Lämmel, Wolfram Schulte. 19-38 [doi]
- A Logic for Assessing Sets of Heterogeneous Testing HypothesesIsmael Rodríguez, Mercedes G. Merayo, Manuel Núñez. 39-54 [doi]
- Bounded Sequence Testing from Non-deterministic Finite State MachinesFlorentin Ipate. 55-70 [doi]
- LaTe, a Non-fully Deterministic Testing LanguageEmmanuel de Rosière, Claude Jard, Benoit Parreaux. 71-86 [doi]
- Customized Testing for Probabilistic SystemsLuis Fernando Llana Díaz, Manuel Núñez, Ismael Rodríguez. 87-102 [doi]
- Generating Test Cases for Web Services Using Extended Finite State MachineChangSup Keum, Sungwon Kang, In-Young Ko, Jongmoon Baik, Young-Il Choi. 103-117 [doi]
- Towards the Testing of Composed Web Services in 3:::rd::: Generation NetworksAbdelghani Benharref, Rachida Dssouli, Roch H. Glitho, Mohamed Adel Serhani. 118-133 [doi]
- Application of Two Test Generation Tools to an Industrial Case StudyAna R. Cavalli, Stéphane Maag, Wissam Mallouli, Mikael Marche, Yves-Marie Quemener. 134-148 [doi]
- Performance Analysis of Concurrent PCOs in TTCN-3Máté J. Csorba, Sándor Palugyai, Sarolta Dibuz, Gyula Csopaki. 149-160 [doi]
- Use of TTCN-3 for Software Module TestingAndreas Johan Nyberg. 161-176 [doi]
- Distributed Load Tests with TTCN-3George Din, Sorin Tolea, Ina Schieferdecker. 177-196 [doi]
- Analyzing the Impact of Protocol Changes on TestsMahadevan Subramaniam, Zoltán Pap. 197-212 [doi]
- Detecting Observability Problems in Distributed TestingJessica Chen, Hasan Ural. 213-226 [doi]
- Compositional Testing of Communication SystemsReinhard Gotzhein, Ferhat Khendek. 227-244 [doi]
- FSM Test Translation Through ContextKhaled El-Fakih, Alexandre Petrenko, Nina Yevtushenko. 245-258 [doi]
- Using Distinguishing and UIO Sequences Together in a Checking SequenceM. Cihan Yalcin, Hüsnü Yenigün. 259-273 [doi]
- Reducing the Lengths of Checking Sequences by OverlappingHasan Ural, Fan Zhang. 274-288 [doi]
- Test Case Minimization for Real-Time Systems Using Timed Bound TracesIsmail Berrada, Richard Castanet, Patrick Félix, Aziz Salah. 289-305 [doi]
- Symbolic and on the Fly Testing with Real-Time ObserversRachid Bouaziz, Ousmane Koné. 306-323 [doi]
- Using Timed TTCN-3 in Interoperability Testing for Real-Time Communication SystemsZhiliang Wang, Jianping Wu, Xia Yin, Xingang Shi, Beihang Tian. 324-340 [doi]
- Test Generation for Network Security RulesVianney Darmaillacq, Jean-Claude Fernandez, Roland Groz, Laurent Mounier, Jean-Luc Richier. 341-356 [doi]
- Message Confidentiality Testing of Security Protocols - Passive Monitoring and Active CheckingGuoqiang Shu, David Lee. 357-372 [doi]