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)

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

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

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

Verification and Trade-Off Analysis of Security Properties in UML System Models (Abstract)

Siv Hilde Houmb , Telenor GBDR, Trondheim, Norway
Geri Georg , Colorado State University, Fort Collins, CO
Manachai Toahchoodee , Colorado State University, Fort Collins, CO
Behzad Bordbar , University of Birmingham, Birmingham, UK
Indrakshi Ray , Colorado State University, Fort Collins, CO
Kyriakos Anastasakis , University of Birmingham, Birmingham, UK
pp. 338-356

Vulnerability Discovery with Attack Injection (Abstract)

João Antunes , University of Lisboa, Lisboa
Rui Neves , Technical University of Lisbon, Lisboa
Paulo Verissimo , University of Lisboa, Lisboa
Miguel Correia , University of Lisboa, Lisboa
Nuno Neves , University of Lisboa, Lisboa
pp. 357-370
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
Martin Leucker , Technical University Munich, Munich
Joost-Pieter Katoen , RWTH Aachen University, Aachen
Carsten Kern , RWTH Aachen University, Aachen
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
Kang Zhang , The University of Texas at Dallas, Richardson
Jun Kong , North Dakota State University, Fargo
pp. 431-448
88 ms
(Ver 3.3 (11022016))