Retour au site du LAAS-CNRS

An experimentation with statistical testing

H.WAESELYNCK, P.THEVENOD-FOSSE

TSF

Manifestation avec acte : 2nd European International Conference on Software Testing, Analysis and Review (EUROSTAR'94), Bruxelles (Belgique), 10-13 Octobre 1994, 14p. , N° 94369

Diffusable

Ajouter au panier 10387

On statistical testing of synchronous data flow programs

P.THEVENOD-FOSSE, C.MAZUET, Y.CROUZET

TSF

Manifestation avec acte : 1st European Dependable Computing Conference (EDCC-1), Berlin (Allemagne), 4-6 Octobre 1994 , N° 93282

Diffusable

Ajouter au panier 8227

Statemate applied to statistical software testing

P.THEVENOD-FOSSE, H.WAESELYNCK

TSF

Manifestation avec acte : 1993 ACM International Symposium on Software Testing and Analysis (ISSTA), Cambridge (USA), 28-30 Juin 1993, pp.99-109 , N° 92483

Diffusable

Ajouter au panier 1748

Using statistical structural testing to assess the execution time of program units

W.SCHUTZ, P.THEVENOD-FOSSE

TSF

Rapport de Contrat : Contrat ESPRIT III Esprit Basic Research Action N°6362, Juin 1993, 21p. , N° 93222

Diffusable

Ajouter au panier 8141

An experimental evaluation of formal testing and statistical testing

B.MARRE, P.THEVENOD-FOSSE, H.WAESELYNCK, P.LE GALL, Y.CROUZET

EXT, TSF

Manifestation avec acte : Safety of Computer Control Systems (SAFECOMP'92), Zurich (Suisse), 28-30 Octobre 1992, pp.311-316, Pergamon Press , N° 92219

Diffusable

Ajouter au panier 6171

On functional statistical testing designed from software behavior models

P.THEVENOD-FOSSE, H.WAESELYNCK

TSF

Manifestation avec acte : 3rd IFIP International Working Conference on Dependable Computing for Critical Applications (DCCA-3), Mondello (Sicile), 14-16 Septembre 1992, pp.3-12 , N° 92042

Diffusable

Ajouter au panier 5519

SAGA, LUSTRE et le test statistique : une introduction

C.MAZUET, P.THEVENOD-FOSSE

TSF

Rapport de Contrat : Contrat Merlin Gerin-LAAS, Juillet 1992, 52p. , N° 92268

Non diffusable

Ajouter au panier 6370

Software structural testing: an evaluation of the efficiency of deterministic and random test data

P.THEVENOD-FOSSE, H.WAESELYNCK, Y.CROUZET

TSF

Rapport LAAS N°91389, Décembre 1991, 24p.

Diffusable

Ajouter au panier 5020

Tester le logiciel avec des entrées aléatoires

P.THEVENOD-FOSSE

TSF

Revues de Vulgarisation : La Lettre de la Sûreté de Fonctionnement, N°21, pp.8-11, Septembre 1991 , N° 91407

Diffusable

Ajouter au panier 5065

An investigation of software statistical testing

P.THEVENOD-FOSSE, H.WAESELYNCK

TSF

Revue Scientifique : The Journal of Software Testing, Verification and Reliability, Vol.1, N°2, pp.5-26, Juillet-Septembre 1991 , N° 91003

Diffusable

Ajouter au panier 3437