Skip to Main content Skip to Navigation
   


Full Text Documents

Chargement de la page

Search

Chargement de la page

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

 

 


Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/