IFIP TC6 Open Digital Library

23. ICTSS 2011: Paris, France

Testing Software and Systems - 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings

Burkhart Wolff, Fatiha Zaïdi

Springer, Lecture Notes in Computer Science 7019, ISBN: 978-3-642-24579-4


Counting for Random Testing.

Marie-Claude Gaudel


Formal Testing of Timed and Probabilistic Systems.

Manuel Núñez


Improved Usage Model for Web Application Reliability Testing.

Gregor von Bochmann, Guy-Vincent Jourdan, Bo Wan


Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests.

Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Safouan Taha


Conformance Relations for Distributed Testing Based on CSP.

Ana Cavalcanti, Marie-Claude Gaudel, Robert M. Hierons


Praspel: A Specification Language for Contract-Based Testing in PHP.

Ivan Enderlin, Frédéric Dadeau, Alain Giorgetti, Abdallah Ben Othman


Using Testing Techniques for Vulnerability Detection in C Programs.

Amel Mammar, Ana R. Cavalli, Willy Jimenez, Wissam Mallouli, Edgardo Montes de Oca


Learning-Based Testing for Reactive Systems Using Term Rewriting Technology.

Karl Meinke, Fei Niu


Monitoring Dynamical Signals While Testing Timed Aspects of a System.

Goran Frehse, Kim G. Larsen, Marius Mikucionis, Brian Nielsen


Model-Based Testing of Industrial Transformational Systems.

Petur Olsen, Johan Foederer, Jan Tretmans


A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the Automotive Domain.

Jan Peleska, Artur Honisch, Florian Lapschies, Helge Löding, Hermann Schmid, Peer Smuda, Elena Vorobev, Cornelia Zahlten


Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs.

Alexandre Petrenko, Nina Yevtushenko


Compositional Random Testing Using Extended Symbolic Transition Systems.

Christian Schwarzl, Bernhard K. Aichernig, Franz Wotawa


An Empirical Study on Applying Anomaly Detection Technique to Detecting Software and Communication Failures in Mobile Data Communication Services.

Hiroyuki Shinbo, Toru Hasegawa


Assessing Test Adequacy for Black-Box Systems without Specifications.

Neil Walkinshaw