Table of Contents
|
Testing Software and Systems
Burkhart Wolff, Fatiha Zaïdi |
|
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 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 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 Rosa Cavalli, Willy Ronald Jimenez Freitez, 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 Larsen, Marius Mikučionis, 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 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 |
Hosted by HAL : 