14. SIGSOFT FSE 2006: Portland, Oregon, USA

Michal Young, Premkumar T. Devanbu (Eds.): Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2005, Portland, Oregon, USA, November 5-11, 2006. ACM 2006, ISBN 1-59593-468-5

Empirical methods and program understanding

Mik Kersten, Gail C. Murphy:
Using task context to improve programmer productivity. 1-11
T. H. Ng, S. C. Cheung, W. K. Chan, Y. T. Yu:
Work experience versus refactoring to design patterns: a controlled experiment. 12-22
Jonathan Sillito, Gail C. Murphy, Kris De Volder:
Questions programmers ask during software evolution tasks. 23-34

Mining failures and bugs

Sunghun Kim, Kai Pan, E. James Whitehead Jr.:
Memories of bug fixes. 35-45
Chao Liu, Jiawei Han:
Failure proximity: a fault localization-based approach. 46-56
Maximilian Störzer, Barbara G. Ryder, Xiaoxia Ren, Frank Tip:
Finding failure-inducing changes in java programs using change classification. 57-68

Program analysis

Brian Hackett, Alex Aiken:
How is aliasing used in systems software? 69-80
Xiangyu Zhang, Sriraman Tallam, Rajiv Gupta:
Dynamic slicing long running programs through execution fast forwarding. 81-91
Matthew B. Dwyer, Suzette Person, Sebastian G. Elbaum:
Controlling factors in evaluating path-sensitive error detection techniques. 92-104

Formal approaches to programming

Deepak Kapur, Rupak Majumdar, Calogero G. Zarba:
Interpolation for data structures. 105-116
Bhargav S. Gulavani, Thomas A. Henzinger, Yamini Kannan, Aditya V. Nori, Sriram K. Rajamani:
SYNERGY: a new algorithm for property checking. 117-127
Ranjit Jhala, Rupak Majumdar:
Bit level types for high level reasoning. 128-140

Empirical studies

Hyunsook Do, Gregg Rothermel:
An empirical study of regression testing techniques incorporating context and lifetime factors and improved cost-benefit models. 141-151
Fernando Castor Filho, Nélio Cacho, Eduardo Figueiredo, Raquel Maranhão, Alessandro Garcia, Cecília M. F. Rubira:
Exceptions and aspects: the devil is in the details. 152-162
Olivier Giroux, Martin P. Robillard:
Detecting increases in feature coupling using regression tests. 163-174

Safety and security

William G. J. Halfond, Alessandro Orso, Panagiotis Manolios:
Using positive tainting and syntax-aware evaluation to counter SQL injection attacks. 175-185
Chunyang Ye, S. C. Cheung, W. K. Chan, Chang Xu:
Local analysis of atomicity sphere for B2B collaboration. 186-196

Requirements modeling

Christophe Damas, Bernard Lambeau, Axel van Lamsweerde:
Scenarios, goals, and state machines: a win-win partnership for model synthesis. 197-207
Rachel L. Cobleigh, George S. Avrunin, Lori A. Clarke:
User guidance for creating precise and accessible property specifications. 208-218
Shahar Maoz, David Harel:
From multi-modal scenarios to code: compiling LSCs into aspectJ. 219-230

Testing

Matthew J. Rutherford, Antonio Carzaniga, Alexander L. Wolf:
Simulation-based test adequacy criteria for distributed systems. 231-241
Heng Lu, W. K. Chan, T. H. Tse:
Testing context-aware middleware-centric programs: a data flow approach and an RFID-based experimentation. 242-252
Sebastian G. Elbaum, Hui Nee Chin, Matthew B. Dwyer, Jonathan Dokulil:
Carving differential unit test cases from system test cases. 253-264

Specification mining

David Lo, Siau-Cheng Khoo:
SMArTIC: towards building an accurate, robust and scalable specification miner. 265-275
Mana Taghdiri, Robert Seater, Daniel Jackson:
Lightweight extraction of syntactic specifications. 276-286