The Community for Technology Leaders
Green Image
TABLE OF CONTENTS
Issue No. 03 - May/June (vol. 36)
ISSN: 0098-5589
EDITORIAL
SPECIAL SECTION ON EVALUATION AND IMPROVEMENT OF SOFTWARE DEPENDABILITY

Incremental Test Generation for Software Product Lines (Abstract)

Engin Uzuncaova , Microsoft, Redmond
Sarfraz Khurshid , University of Texas at Austin, Austin
Don Batory , University of Texas at Austin, Austin
pp. 309-322

Software Reliability and Testing Time Allocation: An Architecture-Based Approach (Abstract)

Roberto Pietrantuono , Federico II University of Naples, Naples
Stefano Russo , Federico II University of Naples, Naples
Kishor S. Trivedi , Duke University, Durham
pp. 323-337

Guest Editors' Introduction to the Special Section on Evaluation and Improvement of Software Dependability (PDF)

Katerina Goseva-Popstojanova , Lane Department of Computer Science and Electrical Engineering, West Virginia University, Morgantown, WV
Karama Kanoun , LAAS-CNRS, 31077 Toulouse, France
pp. 306-308

Incremental Test Generation for Software Product Lines (Abstract)

Engin Uzuncaova , Microsoft, Redmond
Sarfraz Khurshid , University of Texas at Austin, Austin
Don Batory , University of Texas at Austin, Austin
pp. 309-322
REGULAR PAPERS

Discovering Services during Service-Based System Design Using UML (Abstract)

George Spanoudakis , City University, London
Andrea Zisman , City University, London
pp. 371-389

Learning Communicating Automata from MSCs (Abstract)

Benedikt Bollig , ENS Cachan and CNRS, Cachan
Joost-Pieter Katoen , RWTH Aachen University, Aachen
Carsten Kern , RWTH Aachen University, Aachen
Martin Leucker , Technical University Munich, Munich
pp. 390-408

On Event-Based Middleware for Location-Aware Mobile Applications (Abstract)

René Meier , Trinity College Dublin, Dublin and Lero—The Irish Software Engineering Research Centre
Vinny Cahill , Trinity College Dublin, Dublin and Lero—The Irish Software Engineering Research Centre
pp. 409-430

Program Behavior Discovery and Verification: A Graph Grammar Approach (Abstract)

Chunying Zhao , The University of Texas at Dallas, Richardson
Jun Kong , North Dakota State University, Fargo
Kang Zhang , The University of Texas at Dallas, Richardson
pp. 431-448
91 ms
(Ver 3.3 (11022016))