index - Testing Software and Systems
   


Full Text Documents

15

Search


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/