23. ICTSS 2011:
Paris, France
Burkhart Wolff, Fatiha Zaïdi (Eds.):
Testing Software and Systems - 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings.
Lecture Notes in Computer Science 7019 Springer 2011, ISBN 978-3-642-24579-4 
- Marie-Claude Gaudel:
Counting for Random Testing.
1-8
- Manuel Núñez:
Formal Testing of Timed and Probabilistic Systems.
9-14
- Gregor von Bochmann, Guy-Vincent Jourdan, Bo Wan:
Improved Usage Model for Web Application Reliability Testing.
15-31
- Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Safouan Taha:
Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests.
32-47
- Ana Cavalcanti, Marie-Claude Gaudel, Robert M. Hierons:
Conformance Relations for Distributed Testing Based on CSP.
48-63
- Ivan Enderlin, Frédéric Dadeau, Alain Giorgetti, Abdallah Ben Othman:
Praspel: A Specification Language for Contract-Based Testing in PHP.
64-79
- Amel Mammar, Ana R. Cavalli, Willy Jimenez, Wissam Mallouli, Edgardo Montes de Oca:
Using Testing Techniques for Vulnerability Detection in C Programs.
80-96
- Karl Meinke, Fei Niu:
Learning-Based Testing for Reactive Systems Using Term Rewriting Technology.
97-114
- Goran Frehse, Kim G. Larsen, Marius Mikucionis, Brian Nielsen:
Monitoring Dynamical Signals While Testing Timed Aspects of a System.
115-130
- Petur Olsen, Johan Foederer, Jan Tretmans:
Model-Based Testing of Industrial Transformational Systems.
131-145
- Jan Peleska, Artur Honisch, Florian Lapschies, Helge Löding, Hermann Schmid, Peer Smuda, Elena Vorobev, Cornelia Zahlten:
A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the Automotive Domain.
146-161
- Alexandre Petrenko, Nina Yevtushenko:
Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs.
162-178
- Christian Schwarzl, Bernhard K. Aichernig, Franz Wotawa:
Compositional Random Testing Using Extended Symbolic Transition Systems.
179-194
- Hiroyuki Shinbo, Toru Hasegawa:
An Empirical Study on Applying Anomaly Detection Technique to Detecting Software and Communication Failures in Mobile Data Communication Services.
195-208
- Neil Walkinshaw:
Assessing Test Adequacy for Black-Box Systems without Specifications.
209-224
Last update Tue May 21 00:03:47 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
