The Community for Technology Leaders
Green Image
TABLE OF CONTENTS
Issue No. 07 - July (vol. 39)
ISSN: 0098-5589
REGULAR PAPERS

Amorphous Slicing of Extended Finite State Machines (Abstract)

Kelly Androutsopoulos , University College London, London
David Clark , University College London, London
Mark Harman , University College London, London
Robert M. Hierons , Brunel University, Uxbridge, Middlesex
Zheng Li , Beijing University of Chemical Technology, Beijing
Laurence Tratt , King's Colledge London, London
pp. 892-909

EDZL Schedulability Analysis in Real-Time Multicore Scheduling (Abstract)

Jinkyu Lee , The University of Michigan, Ann Arbor
Insik Shin , KAIST, Daejeon
pp. 910-916

Embedding Polychrony into Synchrony (Abstract)

Jens Brandt , University of Kaiserslautern, Kaiserslautern
Mike Gemunde , University of Kaiserslautern, Kaiserslautern
Klaus Schneider , University of Kaiserslautern, Kaiserslautern
Sandeep K. Shukla , Virginia Polytechnic and State University, Blacksburg
Jean-Pierre Talpin , INRIA Rennes-Bretagne-Atlantique, Rennes
pp. 917-929

Pair Programming and Software Defects--A Large, Industrial Case Study (Abstract)

Enrico di Bella , University of Genova, Genova
Ilenia Fronza , Free University of Bolzano - Bozen, Bolzano
Nattakarn Phaphoom , Free University of Bolzano - Bozen, Bolzano
Alberto Sillitti , Free University of Bolzano - Bozen, Bolzano
Giancarlo Succi , Free University of Bozen - Bolzano, Bolzano
Jelena Vlasenko , Free University of Bolzano - Bozen, Bolzano
pp. 930-953

Proactive and Reactive Runtime Service Discovery: A Framework and Its Evaluation (Abstract)

Andrea Zisman , City University London, London
George Spanoudakis , City University London, London
James Dooley , University of Essex, Colchester
Igor Siveroni , City University London, London
pp. 954-974

Synthesizing Modal Transition Systems from Triggered Scenarios (Abstract)

German Emir Sibay , Imperial College London, London
Victor Braberman , University of Buenos Aires, Buenos Aires
Sebastian Uchitel , Imperial College London, London and University of Buenos Aires, Buenos Aires
Jeff Kramer , Imperial College, London
pp. 975-1001

Trends in the Quality of Human-Centric Software Engineering Experiments--A Quasi-Experiment (Abstract)

Barbara Kitchenham , Keele University, Keele
Dag I.K. Sjoberg , University of Oslo, Oslo
Tore Dyba , University of Oslo, Oslo and SINTEF, Trondheim
O. Pearl Brereton , Keele University, Keele
David Budgen , Durham University, Durham
Martin Host , Lund University, Lund
Per Runeson , Lund University, Lund
pp. 1002-1017

Verifying Linearizability via Optimized Refinement Checking (Abstract)

Yang Liu , Nanyang Technological University, Singapore
Wei Chen , Microsoft Research Asia, Beijing
Yanhong A. Liu , State University of New York at Stony Brook, Stony Brook
Jun Sun , Singapore University of Technology and Design, Singapore
Shao Jie Zhang , National University of Singapore, Singapore
Jin Song Dong , National University of Singapore, Singapore
pp. 1018-1039
90 ms
(Ver 3.3 (11022016))