The Community for Technology Leaders
Green Image
TABLE OF CONTENTS
Issue No. 05 - May (vol. 39)
ISSN: 0098-5589
EDITORIAL

A decentralized self-adaptation mechanism for service-based applications in the cloud (Abstract)

V. Nallur , Sch. of Comput. Sci., Univ. of Birmingham, Birmingham, UK
R. Bahsoon , Sch. of Comput. Sci., Univ. of Birmingham, Birmingham, UK
pp. 591-612
REGULAR PAPERS

Automated API Property Inference Techniques (Abstract)

Mira Mezini , Technische Universität Darmstadt, Darmstadt
David Kawrykow , McGill University, Montréal
Eric Bodden , Technische Universität Darmstadt, Darmstadt
Martin P. Robillard , McGill University, Montréal
Tristan Ratchford , McGill University, Montréal
pp. 613-637

Compositional Verification for Hierarchical Scheduling of Real-Time Systems (Abstract)

Laura Carnevali , Università di Firenze
Alessandro Pinzuti , Università di Firenze
Enrico Vicario , Università di Firenze
pp. 638-657

Software Architecture Optimization Methods: A Systematic Literature Review (Abstract)

Anne Koziolek , University of Zurich, Zurich
Lars Grunske , University of Kaiserslautern, Kaiserslautern
Barbora Buhnova , Masaryk University, Brno
Aldeida Aleti , Monash University, Australia
Indika Meedeniya , Swinburne University of Technology, Hawthorn
pp. 658-683

Test Case-Aware Combinatorial Interaction Testing (Abstract)

Cemal Yilmaz , Sabanci University, Istanbul
pp. 684-706

The Role of the Tester's Knowledge in Exploratory Software Testing (Abstract)

Casper Lassenius , Aalto University School of Science, Espoo
Mika V. Mäntylä , Aalto University School of Science, Espoo
Juha Itkonen , Aalto University School of Science, Espoo
pp. 707-724

Trustrace: Mining Software Repositories to Improve the Accuracy of Requirement Traceability Links (Abstract)

Giuliano Antoniol , École Polytechnique de Montréal, Montréal
Yann-Gaël Guéhéneuc , École Polytechnique de Montréal, Montréal
Nasir Ali , École Polytechnique de Montréal, Montréal
pp. 725-741
109 ms
(Ver )