The Community for Technology Leaders
Green Image
TABLE OF CONTENTS
Issue No. 08 - August (vol. 32)
ISSN: 0098-5589

Design by Contract to Improve Software Vigilance (Abstract)

Y. Le Traon , France TeŽleŽcom R&D, 2, Avenue Pierre Marzin, 22 307 Lannion Cedex, France
B. Baudry , IRISA, UniversiteŽ de Rennes1, Campus Universitaire de Beaulieu, 35042 Rennes Cedex, France
J.-M. Jezequel , IRISA, UniversiteŽ de Rennes1, Campus Universitaire de Beaulieu, 35042 Rennes Cedex, France
pp. 571-586

Triggered Message Sequence Charts (Abstract)

B. Sengupta , IBM India Research Laboratory, Block-1, Indian Institute of Technology, Delhi, Hauz Khas, New Delhi, India
R. Cleaveland , Department of Computer Science, A.V. Williams Building, University of Maryland, College Park, MD
pp. 587-607

Using Mutation Analysis for Assessing and Comparing Testing Coverage Criteria (Abstract)

J.H. Andrews , Computer Science Department, University of Western Ontario, London, Ontario, Canada
L.C. Briand , Simula Research Laboratory, Department of Software Engineering, Fornebu, Lysaker, Norway
Y. Labiche , Software Quality Engineering Laboratory, Carleton University, Ottawa, Ontario, Canada
A.S. Namin , Computer Science Department, University of Western Ontario, London, Ontario, Canada
pp. 608-624
SPECIAL SECTION on the First International Conference on the Quantitative Evaluation of SysTems (QUEST)

Saturation for a General Class of Models (Abstract)

Andrew S. Miner , IEEE Computer Society
pp. 559-570
Papers
82 ms
(Ver 3.3 (11022016))