The Community for Technology Leaders
Green Image
Issue No. 03 - May/June (vol. 35)
ISSN: 0098-5589

Automatic Extraction of Heap Reference Properties in Object-Oriented Programs (Abstract)

Brian Demsky , University of California, Irvine, Irvine
Martin Rinard , Massachusetts Institute of Technology, Cambridge
pp. 305-324

CHARMY: A Framework for Designing and Verifying Architectural Specifications (Abstract)

Patrizio Pelliccione , Università dell' Aquila, L'Aquila
Paola Inverardi , Università dell' Aquila, L'Aquila
Henry Muccini , Università dell' Aquila, L'Aquila
pp. 325-346

Identification of Move Method Refactoring Opportunities (Abstract)

Nikolaos Tsantalis , University of Macedonia, Thessaloniki
Alexander Chatzigeorgiou , University of Macedonia, Thessaloniki
pp. 347-367

The Impact of Lessons-Learned Sessions on Effort Estimation and Uncertainty Assessments (Abstract)

Magne Jørgensen , Simula Research Laboratory and University of Oslo, Norway
Tanja M. Gruschke , KnowIT Objectnet, Oslo
pp. 368-383

Synthesis of Partial Behavior Models from Properties and Scenarios (Abstract)

Sebastian Uchitel , Imperial College London and FCEN-University of Buenos Aires
Greg Brunet , University of Toronto, Toronto
Marsha Chechik , University of Toronto, Toronto
pp. 384-406

Variability and Reproducibility in Software Engineering: A Study of Four Companies that Developed the Same System (Abstract)

Bente C.D. Anda , University of Oslo, Oslo
Dag I.K. Sjøberg , Simula Research Laboratory, Lysaker
Audris Mockus , Avaya Labs Research, Basking Ridge
pp. 407-429

What Types of Defects Are Really Discovered in Code Reviews? (Abstract)

Mika V. Mäntylä , Helsinki University of Technology, TKK
Casper Lassenius , Helsinki University of Technology, TKK
pp. 430-448
95 ms
(Ver 3.3 (11022016))