The Community for Technology Leaders
Green Image
TABLE OF CONTENTS
Issue No. 04 - July-Aug. (vol. 38)
ISSN: 0098-5589
Front Covers

Cover2 (PDF)

pp. c2
REGULAR PAPERS

A Semi-Automatic Approach for Extracting Software Product Lines (Abstract)

Marco Tulio Valente , University of Minas Gerais, Belo Horizonte
Virgilio Borges , COTEMIG, Brazil
Leonardo Passos , University of Waterloo, Waterloo
pp. 737-754

Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques (Abstract)

Radu Mateescu , Inria Grenoble-Rhône-Alpes/CONVECS, Montbonnot Saint-Martin
Pascal Poizat , Université d'Evry Val d'Essonne, Paris and LRI UMR CNRS, Université Paris Sud, Orsay
Gwen Salaün , Grenoble INP and Inria Grenoble-Rhône-Alpes/CONVECS, Montbonnot Saint-Martin
pp. 755-777

BURN: Enabling Workload Burstiness in Customized Service Benchmarks (Abstract)

Giuliano Casale , Imperial College London, London
Amir Kalbasi , University of Calgary, Calgary
Diwakar Krishnamurthy , University of Calgary, Calgary
Jerry Rolia , HP Labs, Palo Alto
pp. 778-793

Does Software Process Improvement Reduce the Severity of Defects? A Longitudinal Field Study (Abstract)

Donald E. Harter , Syracuse University, Syracuse
Chris F. Kemerer , University of Pittsburgh, Pittsburgh and King Abdul Aziz University, Saudi Arabia
Sandra A. Slaughter , Georgia Institute of Technology, Atlanta
pp. 810-827

Domain-Specific Service Selection for Composite Services (Abstract)

Oliver Moser , Vienna University of Technology, Vienna
Florian Rosenberg , IBM T.J. Watson Research Center, Hawthorne
Schahram Dustdar , Vienna University of Technology, Vienna
pp. 828-843

Finding Atomicity-Violation Bugs through Unserializable Interleaving Testing (Abstract)

Shan Lu , University of Wisconsin-Madison, Madison
Soyeon Park , University of California, San Diego, La Jolla
Yuanyuan Zhou , University of California, San Diego, La Jolla
pp. 844-860

Fluid Rewards for a Stochastic Process Algebra (Abstract)

Mirco Tribastone , Ludwig-Maximilians-Universität, München
Jie Ding , Yangzhou University, Yangzhou
Stephen Gilmore , Edinburgh University, Edinburgh
Jane Hillston , Edinburgh University, Edinburgh
pp. 861-874

Mutable Protection Domains: Adapting System Fault Isolation for Reliability and Efficiency (Abstract)

Gabriel Parmer , The George Washington University, Washtington, DC
Richard West , Boston University, Boston
pp. 875-888

Pert: The Application-Aware Tailoring of Java Object Persistence (Abstract)

Peng Liu , Hong Kong University of Science and Technology, Hong Kong
Charles Zhang , Hong Kong University of Science and Technology, Hong Kong
pp. 909-922

Quality Requirements in Industrial Practice—An Extended Interview Study at Eleven Companies (Abstract)

Richard Berntsson Svensson , Lund University, Lund
Tony Gorschek , Blekinge Institute of Technology, Karlskrona
Björn Regnell , Lund University, Lund
Richard Torkar , Blekinge Institute of Technology, Karlskrona
Ali Shahrokni , Chalmers University of Technology, Göteborg
Robert Feldt , Chalmers University of Technology, Göteborg
pp. 923-935

Size-Constrained Regression Test Case Selection Using Multicriteria Optimization (Abstract)

Siavash Mirarab , University of Texas at Austin, Austin
Soroush Akhlaghi , Shahed University, Tehran
Ladan Tahvildari , University of Waterloo, Waterloo
pp. 936-956

SMT-Based Bounded Model Checking for Embedded ANSI-C Software (Abstract)

Lucas Cordeiro , Federal University of Amazonas, Brazil
Bernd Fischer , University of Southampton, Southampton
Joao Marques-Silva , University College Dublin, Dublin
pp. 957-974

Tools for the Rapid Prototyping of Provably Correct Ambient Intelligence Applications (Abstract)

G. De Pietro , Inst. of High Performance Comput. & Networking (ICAR), Naples, Italy
A. Coronato , Inst. of High Performance Comput. & Networking (ICAR), Naples, Italy
pp. 975-991
Back Covers

Cover3 (PDF)

pp. c3

Cover4 (PDF)

pp. c4
104 ms
(Ver 3.3 (11022016))