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



Contents

Counting for Random Testing.

Marie-Claude Gaudel

 1-8

Formal Testing of Timed and Probabilistic Systems.

Manuel Núñez

 9-14

Improved Usage Model for Web Application Reliability Testing.

Gregor von Bochmann, Guy-Vincent Jourdan, Bo Wan

 15-31

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

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

 32-47

Conformance Relations for Distributed Testing Based on CSP.

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

 48-63

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

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

 64-79

Using Testing Techniques for Vulnerability Detection in C Programs.

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

 80-96

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

Karl Meinke, Fei Niu

 97-114

Monitoring Dynamical Signals While Testing Timed Aspects of a System.

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

 115-130

Model-Based Testing of Industrial Transformational Systems.

Petur Olsen, Johan Foederer, Jan Tretmans

 131-145

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

 146-161

Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs.

Alexandre Petrenko, Nina Yevtushenko

 162-178

Compositional Random Testing Using Extended Symbolic Transition Systems.

Christian Schwarzl, Bernhard K. Aichernig, Franz Wotawa

 179-194

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

Hiroyuki Shinbo, Toru Hasegawa

 195-208

Assessing Test Adequacy for Black-Box Systems without Specifications.

Neil Walkinshaw

 209-224