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)

Martin P. Robillard , McGill University, Montréal
Eric Bodden , Technische Universität Darmstadt, Darmstadt
David Kawrykow , McGill University, Montréal
Mira Mezini , Technische Universität Darmstadt, Darmstadt
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)

Aldeida Aleti , Monash University, Australia
Barbora Buhnova , Masaryk University, Brno
Lars Grunske , University of Kaiserslautern, Kaiserslautern
Anne Koziolek , University of Zurich, Zurich
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)

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

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

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