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

Amorphous Slicing of Extended Finite State Machines (Abstract)

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

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

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

Embedding Polychrony into Synchrony (Abstract)

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

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

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

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

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

Synthesizing Modal Transition Systems from Triggered Scenarios (Abstract)

Jeff Kramer , Imperial College, London
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
pp. 975-1001

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

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

Verifying Linearizability via Optimized Refinement Checking (Abstract)

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
Yang Liu , Nanyang Technological University, Singapore
pp. 1018-1039
95 ms
(Ver 3.3 (11022016))