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

An Empirical Study of RefactoringChallenges and Benefits at Microsoft (Abstract)

Miryung Kim , Department of Electrical and Computer Engineering, University of Texas, Austin
Thomas Zimmermann , Microsoft Research at Redmond
Nachiappan Nagappan , Microsoft Research at Redmond
pp. 0

Bypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-Wise Test Configurations for Software Product Lines (Abstract)

Christopher Henard , Interdiscipl. Centre for Security, Reliability & Trust, Univ. of Luxembourg, Luxembourg, Luxembourg
Mike Papadakis , Interdiscipl. Centre for Security, Reliability & Trust, Univ. of Luxembourg, Luxembourg, Luxembourg
Gilles Perrouin , Precise Res. Center in Software Eng., Univ. of Namur, Namur, Belgium
Jacques Klein , Interdiscipl. Centre for Security, Reliability & Trust, Univ. of Luxembourg, Luxembourg, Luxembourg
Patrick Heymans , Precise Res. Center in Software Eng., Univ. of Namur, Namur, Belgium
Yves Le Traon , Interdiscipl. Centre for Security, Reliability & Trust, Univ. of Luxembourg, Luxembourg, Luxembourg
pp. 650-670

Methodbook: Recommending Move Method Refactorings via Relational Topic Models (Abstract)

Gabriele Bavota , University of Sannio, Benevento, Italy
Rocco Oliveto , University of Molise, Pesche (IS), Italy
Malcom Gethers , Information Systems Department , University of Maryland, Baltimore County, 1000 Hilltop Circle, Baltimore,
Denys Poshyvanyk , College of William and Mary, McGlothlin-Street Hall 006, Williamsburg,
Andrea De Lucia , University of Salerno, Fisciano (SA), Italy
pp. 671-694

SymbexNet: Testing Network Protocol Implementations with Symbolic Execution and Rule-Based Specifications (Abstract)

JaeSeung Song , Dept. of Comput. & Inf. Security, Sejong Univ., Seoul, South Korea
Cristian Cadar , Dept. of Comput., Imperial Coll. London, London, UK
Peter Pietzuch , Dept. of Comput. & Inf. Security, Sejong Univ., Seoul, South Korea
pp. 695-709

Symbolic Crosschecking of Data-Parallel Floating-Point Code (Abstract)

Cristian Cadar , Dept. of Comput., Imperial Coll. London, London, UK
Paul H. J. Kelly , Dept. of Comput., Imperial Coll. London, London, UK
pp. 710-737
91 ms
(Ver 3.1 (10032016))