The Community for Technology Leaders
International Conference on Software Engineering Companion (2009)
Vancouver, BC, Canada
May 16, 2009 to May 24, 2009
ISBN: 978-1-4244-3495-4
TABLE OF CONTENTS

Software Engineering for the Next Internet (PDF)

Pamela Zave , AT&T Laboratories¿Research, Florham Park, New Jersey, USA
pp. 1-11

The role of judgment in software estimation (PDF)

Steven Fraser , Cisco Research Center, Cisco System, San Jose, CA, USA
Barry Boehm , USC Center for Software Engineering, Los Angeles, CA, USA
Hakan Erdogmus , Software Engineering Group, National Research Council, Ottawa, ON. Canada
Magne Jorgensen , Simula Research Center, Lysaker, Norway
Stan Rifkin , Master Systems, Carlsbad, CA. USA
Mike Ross , r2Estimating, LLC, Scottsdale, AZ. USA
pp. 13-17

Model checking flight control systems: The Airbus experience (PDF)

Thomas Bochot , AIRBUS France, 316 route de Bayonne 31060 Toulouse Cedex 03, France
Pierre Virelizier , AIRBUS France, 316 route de Bayonne 31060 Toulouse Cedex 03, France
Helene Waeselynck , LAAS-CNRS; Université de Toulouse; 7 avenue du Colonel Roche, F-31077, France
Virginie Wiels , ONERA/DTIM, 2 avenue Edouard Belin, 31055 Toulouse, France
pp. 18-27

Extracting, specifying and predicting software system properties in component based real-time embedded software development (PDF)

Ji Eun Kim , Research and Technology Center, Bosch LLC, Pittsburgh, USA
Oliver Rogalla , Robert Bosch GmbH, Schwieberdingen, Germany
Simon Kramer , Robert Bosch GmbH, Schwieberdingen, Germany
Arne Hamann , Robert Bosch GmbH, Schwieberdingen, Germany
pp. 28-38

Experience with modularity in an advanced teleconferencing service deployment (PDF)

Eric Cheung , AT&T Labs - Research, 180 Park Avenue, Florham Park, NJ, U.S.A.
Thomas M. Smith , AT&T Labs - Research, 180 Park Avenue, Florham Park, NJ, U.S.A.
pp. 39-49

Refactoring big balls of mud (PDF)

Paul Adamczyk , LIFIA, Facultad de Informática, Universidad Nacional de La Plata, Argentina
Arturo Zambrano , LIFIA, Facultad de Informática, Universidad Nacional de La Plata, Argentina
Federico Balaguer , LIFIA, Facultad de Informática, Universidad Nacional de La Plata, Argentina
pp. 50-60

Experience report: Using tools and domain expertise to remediate architectural violations in the LogicBlox software base (PDF)

R. E. K. Stirewalt , LogicBlox, Inc., Two Midtown Plaza, Suite 1880, 1349 West Peachtree Street, Atlanta, Georgia, USA 30309
Spencer Rugaber , College of Computing, Georgia Institute of Technology, Atlanta, USA 30332
Hwa-You Hsu , College of Computing, Georgia Institute of Technology, Atlanta, USA 30332
David Zook , LogicBlox, Inc., Two Midtown Plaza, Suite 1880, 1349 West Peachtree Street, Atlanta, Georgia, USA 30309
pp. 61-70

Functional abstractions for testing repository-style information systems (PDF)

Paolo Salvaneschi , University of Bergamo and Salvaneschi & Partners, Italy
pp. 71-80

Improving quality, one process change at a time (PDF)

Caryna Pinheiro , MCIT Solutions, Canada
Frank Maurer , University of Calgary, Canada
Jonathan Sillito , University of Calgary, Canada
pp. 81-90

Using a validation model to measure the agility of software development in a large software development organization (PDF)

Mikio Ikoma , Software Division, Hitachi, Ltd., Japan
Masayuki Ooshima , Software Division, Hitachi, Ltd., Japan
Takahiro Tanida , Software Division, Hitachi, Ltd., Japan
Michiko Oba , Software Division, Hitachi, Ltd., Japan
Sanshiro Sakai , Dept. of Computer Science, Shizuoka University, Japan
pp. 91-100

WEAVE: WEb Applications Validation Environment (PDF)

Sreeranga P. Rajan , Trusted Systems Innovation Group, Fujitsu Labs. of America, Sunnyvale, CA, USA
Oksana Tkachuk , Trusted Systems Innovation Group, Fujitsu Labs. of America, Sunnyvale, CA, USA
Mukul Prasad , Trusted Systems Innovation Group, Fujitsu Labs. of America, Sunnyvale, CA, USA
Indradeep Ghosh , Trusted Systems Innovation Group, Fujitsu Labs. of America, Sunnyvale, CA, USA
Nitin Goel , Trusted Systems Innovation Group, Fujitsu Labs. of America, Sunnyvale, CA, USA
Tadahiro Uehara , Software Innovation Laboratories, Fujitsu Labs. Limited, Kawasaki, Japan
pp. 101-111

Automatic GUI test generation for smartphone applications - an evaluation (PDF)

Antti Jaaskelainen , Dept. of Software Systems, Tampere Univ. of Technology, P.O.Box 553, FI-33101, Finland
Mika Katara , Dept. of Software Systems, Tampere Univ. of Technology, P.O.Box 553, FI-33101, Finland
Antti Kervinen , Dept. of Software Systems, Tampere Univ. of Technology, P.O.Box 553, FI-33101, Finland
Mika Maunumaa , Dept. of Software Systems, Tampere Univ. of Technology, P.O.Box 553, FI-33101, Finland
Tuula Paakkonen , Nokia Devices, P.O.Box 1000, FI-33721 Tampere, Finland
Tommi Takala , Dept. of Software Systems, Tampere Univ. of Technology, P.O.Box 553, FI-33101, Finland
Heikki Virtanen , Dept. of Software Systems, Tampere Univ. of Technology, P.O.Box 553, FI-33101, Finland
pp. 112-122

Extended eTVRA vs. security checklist: Experiences in a value-web (PDF)

Ayse Morali , University of Twente, The Netherlands
Emmanuele Zambon , University of Twente, The Netherlands
Siv Hilde Houmb , Telenor R&I Trondheim and University of Twente, The Netherlands
Karin Sallhammar , Telenor R&I Trondheim, The Netherlands
Sandro Etalle , Eindhoven Technical University and University of Twente, The Netherlands
pp. 130-140

An open test bed for medical device integration and coordination (PDF)

Andrew King , Kansas State University, USA
Sam Procter , Kansas State University, USA
Dan Andresen , Kansas State University, USA
John Hatcliff , Kansas State University, USA
Steve Warren , Kansas State University, USA
William Spees , US Food & Drug Administration, USA
Raoul Jetley , US Food & Drug Administration, USA
Paul Jones , US Food & Drug Administration, USA
Sandy Weininger , US Food & Drug Administration, USA
pp. 141-151

Improving software Risk Management in a Medical Device Company (PDF)

Fergal McCaffery , Dundalk Institute of Technology, Ireland
John Burton , Vitalograph Ltd., Ireland
Ita Richardson , Lero - the Irish Software, Engineering Research Centre, University of Limerick, Ireland
pp. 152-162

Automated testing of healthcare document transformations in the PICASSO interoperability platform (PDF)

Massimo Pascale , Codices s.r.l. via G. Malasoma - 56121 Pisa, Italy
Marcello Roselli , Codices s.r.l. via G. Malasoma - 56121 Pisa, Italy
Umberto Rugani , Codices s.r.l. via G. Malasoma - 56121 Pisa, Italy
Cesare Bartolini , Istituto di Scienza e Tecnologie dell'Informazione ¿A. Faedo¿, Consiglio Nazionale delle Ricerche via G. Moruzzi, 1 - 56124 Pisa, Italy
Antonia Bertolino , Istituto di Scienza e Tecnologie dell'Informazione ¿A. Faedo¿, Consiglio Nazionale delle Ricerche via G. Moruzzi, 1 - 56124 Pisa, Italy
Francesca Lonetti , Istituto di Scienza e Tecnologie dell'Informazione ¿A. Faedo¿, Consiglio Nazionale delle Ricerche via G. Moruzzi, 1 - 56124 Pisa, Italy
Eda Marchetti , Istituto di Scienza e Tecnologie dell'Informazione ¿A. Faedo¿, Consiglio Nazionale delle Ricerche via G. Moruzzi, 1 - 56124 Pisa, Italy
Andrea Polini , Dipartimento di Matematica ed Informatica, Università di Camerino via Madonna delle Carceri, 9 - 62032 (MC), Italy
pp. 163-171

Predicting defects in SAP Java code: An experience report (PDF)

Tilman Holschuh , SQS AG, Germany
Markus Pauser , SAP AG, Germany
Kim Herzig , Saarland University, Germany
Thomas Zimmermann , Microsoft Research, USA
Rahul Premraj , Vrije Universiteit Amsterdam, The Netherlands
Andreas Zeller , Saarland University, Germany
pp. 172-181

Detecting inefficient API usage (PDF)

David Kawrykow , School of Computer Science, McGill University, Montréal, QC, Canada
Martin P. Robillard , School of Computer Science, McGill University, Montréal, QC, Canada
pp. 183-186

A sense of community: A research agenda for software ecosystems (PDF)

Slinger Jansen , Utrecht University, The Netherlands
Anthony Finkelstein , University College London, UK
Sjaak Brinkkemper , Utrecht University, The Netherlands
pp. 187-190

Murphy: A Web 2.0 approach for proactive risk management in hardware/software co-design (PDF)

Vladimir Blagojevic , Software Engineering Group, Sirris, Belgium
Wim Codenie , Software Engineering Group, Sirris, Belgium
Jessie Dedecker , Software Engineering Group, Sirris, Belgium
Nicolas Gonzalez-Deleito , Software Engineering Group, Sirris, Belgium
Jeroen Deleu , Software Engineering Group, Sirris, Belgium
Nick Boucart , Software Engineering Group, Sirris, Belgium
pp. 191-194

The comment density of open source software code (PDF)

Oliver Arafati , Siemens AG, Corporate Technology, Otto-Hahn-Ring 6, 81739 Munich, Germany
Dirk Riehle , SAP Research, SAP Labs LLC, 3412 Hillview Ave, Palo Alto, CA 94304, USA
pp. 195-198

Better abstractions for reusable components & architectures (PDF)

Christos Kloukinas , Department of Computing, City University London, Northampton Square, EC1V 0HB, U.K.
pp. 199-202

Automated substring hole analysis (PDF)

Yoram Adler , IBM Haifa Research Lab, Israel
Eitan Farchi , IBM Haifa Research Lab, Israel
Moshe Klausner , IBM Haifa Research Lab, Israel
Dan Pelleg , IBM Haifa Research Lab, Israel
Orna Raz , IBM Haifa Research Lab, Israel
Moran Shochat , IBM Haifa Research Lab, Israel
Shmuel Ur , IBM Haifa Research Lab, Israel
Aviad Zlotnick , IBM Haifa Research Lab, Israel
pp. 203-206

Integrating sustainability in decision-making processes: A modelling strategy (PDF)

Jordi Cabot , Computer Science Department, University of Toronto, Canada
Steve Easterbrook , Computer Science Department, University of Toronto, Canada
Jennifer Horkoff , Computer Science Department, University of Toronto, Canada
Lysanne Lessard , Computer Science Department, University of Toronto, Canada
Sotirios Liaskos , Computer Science Department, University of Toronto, Canada
Jose-Norberto Mazon , Lucentia Research Group, University of Alicante, Spain
pp. 207-210

Configuration and adaptation of binary software components (PDF)

Stephen Kell , Computer Laboratory, University of Cambridge, 15 JJ Thomson Avenue, CB3 0FD, UK
pp. 211-214

Increasing usability of preprocessing for feature management in product lines with queries (PDF)

Stan Jarzabek , School of Computing, National University of Singapore, Singapore 117543
Hongyu Zhang , School of Software, Tsinghua University, Beijing 100084, China
Youpeng Lee , School of Software, Tsinghua University, Beijing 100084, China
Yinxing Xue , School of Computing, National University of Singapore, Singapore 117543
Naveed Shaikh , School of Computing, National University of Singapore, Singapore 117543
pp. 215-218

Test selection for result inspection via mining predicate rules (PDF)

Wujie Zheng , Computer Science and Engineering, Chinese University of Hong Kong, China
Michael R. Lyu , Computer Science and Engineering, Chinese University of Hong Kong, China
Tao Xie , Department of Computer Science, North Carolina State University, USA
pp. 219-222

An environment for synchronous software development (PDF)

Lile Hattori , REVEAL@ Faculty of Informatics - University of Lugano, Switzerland
Michele Lanza , REVEAL@ Faculty of Informatics - University of Lugano, Switzerland
pp. 223-226

Towards safer composition (PDF)

Andreas Classen , PReCISE Research Centre, Faculty of Computer Science, University of Namur - FUNDP, 5000, Belgium
Patrick Heymans , PReCISE Research Centre, Faculty of Computer Science, University of Namur - FUNDP, 5000, Belgium
Thein Than Tuny , PReCISE Research Centre, Faculty of Computer Science, University of Namur - FUNDP, 5000, Belgium
Bashar Nuseibeh , Centre for Research in Computing, The Open University, Walton Hall, Milton Keynes MK7 6AA, UK
pp. 227-230

Selective backtracking of model changes (PDF)

Iris Groher , Johannes Kepler University, Institute for Systems Engineering and Automation (SEA), Austria
Alexander Egyed , Johannes Kepler University, Institute for Systems Engineering and Automation (SEA), Austria
pp. 231-234

A compositional approach to bidirectional model transformation (PDF)

Soichiro Hidaka , GRACE Center, National Institute of Informatics, 2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo 101-8430, Japan
Zhenjiang Hu , GRACE Center, National Institute of Informatics, 2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo 101-8430, Japan
Hiroyuki Kato , GRACE Center, National Institute of Informatics, 2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo 101-8430, Japan
Keisuke Nakano , The University of Electro-Communications, 1-5-1 Chofugaoka, Chofu-shi, Tokyo 182-8585, Japan
pp. 235-238

Genetics as a role model for software variability management (PDF)

Deepak Dhungana , Christian Doppler Laboratory for Automated Software Engineering, Austria
Iris Groher , Institute for Systems Engineering and Automation, Johannes Kepler University, 4040 Linz, Austria
pp. 239-242

Promoting evolution by abstracting over implementation structure (PDF)

David Lievens , Software Structure Group, Department of Computer Science, Trinity College, Dublin 2, Ireland
Tim Walsh , Software Structure Group, Department of Computer Science, Trinity College, Dublin 2, Ireland
Dominik Dahlem , Software Structure Group, Department of Computer Science, Trinity College, Dublin 2, Ireland
William Harrison , Software Structure Group, Department of Computer Science, Trinity College, Dublin 2, Ireland
pp. 243-246

Improving bug tracking systems (PDF)

Thomas Zimmermann , Microsoft Research, Redmond, USA
Rahul Premraj , Vrije Universiteit, Amsterdam, The Netherlands
Jonathan Sillito , Department of Computer Science, University of Calgary, Canada
Silvia Breu , Computer Laboratory, University of Cambridge, UK
pp. 247-250

Towards a framework for law-compliant software requirements (PDF)

Alberto Siena , FBK - Irst, via Sommarive 18 - Trento, Italy
Anna Perini , FBK - Irst, via Sommarive 18 - Trento, Italy
Angelo Susi , FBK - Irst, via Sommarive 18 - Trento, Italy
John Mylopoulos , University of Trento, via Sommarive 14 -, Italy
pp. 251-254

Design tests: An approach to programmatically check your code against design rules (PDF)

Joao Brunet , Federal University of Campina Grande, Department of Computer Science, - PB, Brazil
Dalton Guerrero , Federal University of Campina Grande, Department of Computer Science, - PB, Brazil
Jorge Figueiredo , Federal University of Campina Grande, Department of Computer Science, - PB, Brazil
pp. 255-258

Can peer code reviews be exploited for later information needs? (PDF)

Andrew Sutherland , University of Saskatchewan, Canada
Gina Venolia , Microsoft Research, USA
pp. 259-262

Codebook: Social networking over code (PDF)

Andrew Begel , Microsoft Research, USA
Robert DeLine , Microsoft Research, USA
pp. 263-266

A specification idiom for reactive systems (PDF)

Nigamanth Sridhar , Electrical and Computer Engineering, Cleveland State University, USA
Jason O. Hallstrom , School of Computing, Clemson University, USA
pp. 267-270

Deployment automation with BLITZ (PDF)

Brian Dougherty , Department of Electrical Engineering and Computer Science, Vanderbilt University, Nashville, TN, USA
Jules White , Department of Electrical Engineering and Computer Science, Vanderbilt University, Nashville, TN, USA
Jaiganesh Balasubramanian , Department of Electrical Engineering and Computer Science, Vanderbilt University, Nashville, TN, USA
Chris Thompson , Department of Electrical Engineering and Computer Science, Vanderbilt University, Nashville, TN, USA
Douglas C. Schmidt , Department of Electrical Engineering and Computer Science, Vanderbilt University, Nashville, TN, USA
pp. 271-274

Improving the reliability of mobile software systems through continuous analysis and proactive reconfiguration (PDF)

Sam Malek , Dept. of Computer Science, George Mason University, USA
Roshanak Roshandel , Dept. of Comp. Sci. & Software Engr., Seattle University, USA
David Kilgore , Dept. of Computer Science, George Mason University, USA
Ibrahim Elhag , Dept. of Computer Science, George Mason University, USA
pp. 275-278

Static ownership inference for reasoning against concurrency errors (PDF)

Ana Milanova , Department of Computer Science, Rensselaer Polytechnic Institute, USA
Yin Liu , Department of Computer Science, Rensselaer Polytechnic Institute, USA
pp. 279-282

Creating and evolving software by searching, selecting and synthesizing relevant source code (PDF)

Denys Poshyvanyk , Computer Science Department, The College of William and Mary, Williamsburg, VA 23185, USA
Mark Grechanik , Accenture Technology Labs, Chicago, IL 60657, USA
pp. 283-286

How do system architectures affect software requirements? (PDF)

James A. Miller , Dept. of Computer Science, University of Western Ontario, London, Canada N6A 5B7
Remo Ferrari , Dept. of Computer Science, University of Western Ontario, London, Canada N6A 5B7
Nazim H. Madhavji , Dept. of Computer Science, University of Western Ontario, London, Canada N6A 5B7
pp. 287-290

SecondWATCH: A workspace awareness tool based on a 3-D virtual world (PDF)

En Ye , Ohio University, Athens, 45701, USA
Lev A. Neiman , Ohio University, Athens, 45701, USA
Hiep Q. Dinh , Ohio University, Athens, 45701, USA
Chang Liu , Ohio University, Athens, 45701, USA
pp. 291-294

Mining recurrent activities: Fourier analysis of change events (PDF)

Abram Hindle , University of Waterloo, Ontario, Canada
Michael W. Godfrey , University of Waterloo, Ontario, Canada
Richard C. Holt , University of Waterloo, Ontario, Canada
pp. 295-298

Automatic evaluation of API usability using complexity metrics and visualizations (PDF)

Cleidson R. B. de Souza , Faculdade de Computação ¿ Universidade Federal do Pará, Brazil
David L. M. Bentolila , Faculdade de Computação ¿ Universidade Federal do Pará, Brazil
pp. 299-302

The inference validity problem in legal discovery (PDF)

R. E. K. Stirewalt , Dept. of Computer Science and Engineering, Michigan State University, East Lansing, USA 48824
Laura K. Dillon , Dept. of Computer Science and Engineering, Michigan State University, East Lansing, USA 48824
Eileen T. Kraemer , Dept. of Computer Science, The University of Georgia, Athens, USA 30332
pp. 303-306

White-box approaches for improved testing and analysis of configurable software systems (PDF)

Marius Nita , Computer Science & Engineering, University of Washington, USA
David Notkin , Computer Science & Engineering, University of Washington, USA
pp. 307-310

Guided path exploration for regression test generation (PDF)

Kunal Taneja , Department of Computer Science, North Carolina State University, Raleigh, 27695, USA
Tao Xie , Department of Computer Science, North Carolina State University, Raleigh, 27695, USA
Nikolai Tillmann , Microsoft Research, One Microsoft Way, Redmond, WA, 98074, USA
Jonathan de Halleux , Microsoft Research, One Microsoft Way, Redmond, WA, 98074, USA
Wolfram Schulte , Microsoft Research, One Microsoft Way, Redmond, WA, 98074, USA
pp. 311-314

From system specifications to component behavioral models (PDF)

Ivo Krka , Computer Science Department, University of Southern California, Los Angeles, 90089-0781, USA
George Edwards , Computer Science Department, University of Southern California, Los Angeles, 90089-0781, USA
Yuriy Brun , Computer Science Department, University of Southern California, Los Angeles, 90089-0781, USA
Nenad Medvidovic , Computer Science Department, University of Southern California, Los Angeles, 90089-0781, USA
pp. 315-318

High-level multicore programming with XJava (PDF)

Frank Otto , University of Karlsruhe, 76131, Germany
Victor Pankratius , University of Karlsruhe, 76131, Germany
Walter F. Tichy , University of Karlsruhe, 76131, Germany
pp. 319-322

Multi-dimensional service compositions (PDF)

L. Baresi , Politecnico di Milano, Dip. Elettronica e Informazione, I-20133, Italy
E. Di Nitto , Politecnico di Milano, Dip. Elettronica e Informazione, I-20133, Italy
S. Guinea , Politecnico di Milano, Dip. Elettronica e Informazione, I-20133, Italy
S. Dustdar , Vienna University of Technology, Distributed Systems Group, A-1040 Wien, Austria
pp. 323-326

Using formal concept analysis to construct and visualise hierarchies of socio-technical relations (PDF)

Michel Wermelinger , Department of Computing and Centre for Research in Computing, The Open University, UK
Yijun Yu , Department of Computing and Centre for Research in Computing, The Open University, UK
Markus Strohmaier , Knowledge Management Institute, Graz University of Technology, and Know-Center Graz, Austria
pp. 327-330

Toward deeply adaptive societies of digital systems (PDF)

Antonio Carzaniga , University of Lugano, Switzerland
Giovanni Denaro , University of Milano-Bicocca, Italy
Mauro Pezze , University of Lugano, Switzerland
Jacky Estublier , Lab. Log., Sys. et Reseaux, Grenoble, France
Alexander L. Wolf , Imperial College London, United Kingdom
pp. 331-334

The marketplace of user interface real estate (PDF)

Luigi Troiano , University of Sannio, Department of Engineering, RCOST Viale Traiano, 82100 - Benevento, Italy
Gerardo Canfora , University of Sannio, Department of Engineering, RCOST Viale Traiano, 82100 - Benevento, Italy
pp. 335-338

A framework for raising the level of abstraction of explicit parallelization (PDF)

Ritu Arora , Department of Computer and Information Sciences, University of Alabama at Birmingham, CH 131, 1300 University Blvd, Birmingham, 35294-1170, USA
Purushotham Bangalore , Department of Computer and Information Sciences, University of Alabama at Birmingham, CH 131, 1300 University Blvd, Birmingham, 35294-1170, USA
pp. 339-342

Towards a multi-level modeling language for testbed automation systems (PDF)

Thomas Aschauer , C. Doppler Laboratory Embedded Software Systems, University of Salzburg, Jakob-Haringer-Str. 2, 5020, Austria
pp. 343-346

Towards safety guarantees for service-oriented systems (PDF)

Basil Becker , System Analysis and Modeling Group, Hasso Plattner Institute at the University of Potsdam, Prof.-Dr.-Helmertstr. 2-3, D-14482, Germany
pp. 347-350

Using Bayesian statistical methods to determine the level of error in large spreadsheets. (PDF)

Leslie Bradley , Dundalk Institute of Technology, Ireland
Kevin McDaid , Dundalk Institute of Technology, Ireland
pp. 351-354

Improving conflict resolution in model versioning systems (PDF)

Petra Broschy , Institute of Software Technology and Interactive Systems, Vienna University of Technology, Austria
pp. 355-358

Towards a framework for supporting software modeling activities through novel interaction and visualization techniques (PDF)

Mathias Frisch , Computational Visualistics / Software Engineering Group, Otto-von-Guericke-University Magdeburg, Germany
Raimund Dachselt , Computational Visualistics / Software Engineering Group, Otto-von-Guericke-University Magdeburg, Germany
pp. 359-362

Early-stage software design for usability (PDF)

Elspeth Golden , Human-Computer Interaction Institute, Carnegie Mellon University, USA
pp. 363-366

On the evaluation and improvement of feature-based configuration techniques in software product lines (PDF)

A. Hubaux , PReCISE Research Centre, Faculty of Computer Science, University of Namur, Belgium
P. Heymans , PReCISE Research Centre, Faculty of Computer Science, University of Namur, Belgium
pp. 367-370

Configuration aware prioritization techniques in regression testing (PDF)

Xiao Qu , Department of Computer Science and Engineering, University of Nebraska - Lincoln, 68588-0115, USA
pp. 375-378

Automated scalable test-suite augmentation for evolving software (PDF)

Raul Santelices , College of Computing, Georgia Institute of Technology, USA
Mary Jean Harrold , College of Computing, Georgia Institute of Technology, USA
pp. 379-382

Towards the use of dynamic workflows for coordinating self-adaptation of software systems (PDF)

Carlos Eduardo da Silva , Computing Laboratory, University of Kent, Canterbury, CT2 7NF, UK
Rogerio de Lemos , Computing Laboratory, University of Kent, Canterbury, CT2 7NF, UK
pp. 383-386

Models and algorithms for business value-driven adaptation of business processes and software infrastructure (PDF)

Basem Suleiman , School of Computer Science and Engineering, University of New South Wales, Sydney, Australia
Vladimir Tosic , School of Computer Science and Engineering, University of New South Wales, Sydney, Australia
Ross Jeffery , School of Computer Science and Engineering, University of New South Wales, Sydney, Australia
Jenny Liu , School of Computer Science and Engineering, University of New South Wales, Sydney, Australia
pp. 387-390

Visual exploration of large-scale evolving software (PDF)

Richard Wettel , REVEAL@Faculty of Informatics, University of Lugano, Switzerland
pp. 391-394

Search-based testing of complex simulink models containing stateflow diagrams (PDF)

Andreas Windisch , Technische Universität Berlin, Daimler Center for Automotive IT Innovations - DCAITI, Germany
pp. 395-398

Concurrencer: A tool for retrofitting concurrency into sequential java applications via concurrent libraries (PDF)

Danny Dig , Massachusetts Institute of Technology, Computer Science and Artificial Intelligence Laboratory, USA
John Marrero , Massachusetts Institute of Technology, Computer Science and Artificial Intelligence Laboratory, USA
Michael D. Ernst , Massachusetts Institute of Technology, Computer Science and Artificial Intelligence Laboratory, USA
pp. 399-400

Exploiting the synergy between automated-test-generation and programming-by-contract (PDF)

Mike Barnett , Microsoft Research, One Microsoft Way, Redmond, WA, 98052-6399, USA
Manuel Fahndrich , Microsoft Research, One Microsoft Way, Redmond, WA, 98052-6399, USA
Peli de Halleux , Microsoft Research, One Microsoft Way, Redmond, WA, 98052-6399, USA
Francesco Logozzo , Microsoft Research, One Microsoft Way, Redmond, WA, 98052-6399, USA
Nikolai Tillmann , Microsoft Research, One Microsoft Way, Redmond, WA, 98052-6399, USA
pp. 401-402

Deconstructing concurrency heisenbugs (PDF)

Thomas Ball , Microsoft Research, USA
Sebastian Burckhardt , Microsoft Research, USA
Jonathan de Halleux , Microsoft Research, USA
Madanlal Musuvathi , Microsoft Research, USA
Shaz Qadeer , Microsoft Research, USA
pp. 403-404

Tesseract: Interactive environment for exploration of project relationships (PDF)

Larry Maccherone , Institute for Software Research - Carnegie Mellon University, USA
Anita Sarma , Institute for Software Research - Carnegie Mellon University, USA
Patrick Wagstrom , Institute for Software Research - Carnegie Mellon University, USA
Jim Herbsleb , Institute for Software Research - Carnegie Mellon University, USA
pp. 405-406

DYVISE: Performance analysis of production systems research demonstration (PDF)

Steven P. Reiss , Department of Computer Science, Brown University, Providence, RI. 02912, USA
pp. 407-408

Verifying networked programs using a model checker extension (PDF)

Watcharin Leungwattanakit , University of Tokyo, Japan
Cyrille Artho , RCIS/AIST, Tokyo, Japan
Masami Hagiya , University of Tokyo, Japan
Yoshinori Tanabe , University of Tokyo, Japan
Mitsuharu Yamamoto , Chiba University, Japan
pp. 409-410

LuMiNous—model-driven assertion generation for runtime failure detection (PDF)

Mauro Pezze , University of Milano Bicocca, 20126, Milan, Italy
Jochen Wuttkez , University of Lugano, 6904, Switzerland
pp. 411-412

Software development governor: Automating governance in software development environments (PDF)

Avi Yaeli , IBM Haifa Research Lab, Mount Carmel, 31905, Israel
Alex Kofman , IBM Haifa Research Lab, Mount Carmel, 31905, Israel
Yael Dubinsky , IBM Haifa Research Lab, Mount Carmel, 31905, Israel
pp. 413-414

QMetric - a metric tool suite for the evaluation of software process data (PDF)

Holger Schackmann , Research Group Software Construction, RWTH Aachen University, Germany
Martin Jansen , Research Group Software Construction, RWTH Aachen University, Germany
Christoph Lischkowitz , Research Group Software Construction, RWTH Aachen University, Germany
Horst Lichter , Research Group Software Construction, RWTH Aachen University, Germany
pp. 415-416

InstantApps: A WYSIWYG model driven interpreter for web applications (PDF)

Gautam Shroff , Tata Consultancy Services R&D, 249 D&E Udyog Vihar, Gurgaon, Haryana 122016 India
Puneet Agarwal , Tata Consultancy Services R&D, 154B, Block A, Sector 63, Noida, UP 201301 India
Premkumar Devanbu , Dept. of Computer Science, UC Davis, CA 95616, USA
pp. 417-418

Footprinter: Round-trip engineering via scenario and state based models (PDF)

Ankit Goel , National Univ. of Singapore, Singapore
Bikram Sengupta , IBM Research, India
Abhik Roychoudhury , National Univ. of Singapore, Singapore
pp. 419-420

DaTeC: Contextual data flow testing of java classes (PDF)

Giovanni Denaro , University of Milano Bicocca, 20126, Milan, Italy
Alessandra Gorla , University of Lugano, CH-6904, Switzerland
Mauro Pezze , University of Milano Bicocca, 20126, Milan, Italy
pp. 421-422

Business insight toolkit: Flexible pre-requirements modeling (PDF)

Jacqueline de Vries , IBM T.J. Watson and Haifa Research Centers, Israel
Harold Ossher , IBM T.J. Watson and Haifa Research Centers, Israel
David Amid , IBM T.J. Watson and Haifa Research Centers, Israel
Ateret Anaby-Tavor , IBM T.J. Watson and Haifa Research Centers, Israel
Matthew Callery , IBM T.J. Watson and Haifa Research Centers, Israel
Michael Desmond , IBM T.J. Watson and Haifa Research Centers, Israel
Rachel Bellamy , IBM T.J. Watson and Haifa Research Centers, Israel
Amit Fisher , IBM T.J. Watson and Haifa Research Centers, Israel
Thomas Frauenhofer , IBM T.J. Watson and Haifa Research Centers, Israel
Sophia Krasikov , IBM T.J. Watson and Haifa Research Centers, Israel
Ian Simmonds , IBM T.J. Watson and Haifa Research Centers, Israel
Calvin Swart , IBM T.J. Watson and Haifa Research Centers, Israel
pp. 423-424

Semi-automated traceability maintenance: An architectural overview of traceMaintainer (PDF)

Patrick Mader , Department of Software Systems, Ilmenau Technical University, Germany
Orlena Gotel , Department of Computer Science, Pace University, New York, USA
Ilka Philippow , Department of Software Systems, Ilmenau Technical University, Germany
pp. 425-426

VCC: Contract-based modular verification of concurrent C (PDF)

Markus Dahlweid , European Microsoft Innovation Center, Ritterstrasse 23, 52072 Aachen, Germany
Michal Moskal , European Microsoft Innovation Center, Ritterstrasse 23, 52072 Aachen, Germany
Thomas Santen , European Microsoft Innovation Center, Ritterstrasse 23, 52072 Aachen, Germany
Stephan Tobies , European Microsoft Innovation Center, Ritterstrasse 23, 52072 Aachen, Germany
Wolfram Schulte , Microsoft Research, Redmond, WA, USA
pp. 429-430

Goal and scenario modeling, analysis, and transformation with jUCMNav (PDF)

Gunter Mussbacher , SITE, University of Ottawa, 800 King Edward, ON, K1N 6N5, Canada
Daniel Amyot , SITE, University of Ottawa, 800 King Edward, ON, K1N 6N5, Canada
pp. 431-432

Demonstration of a medical device integration and coordination framework (PDF)

Andrew King , Kansas State University, USA
Sam Procter , Kansas State University, USA
Dan Andresen , Kansas State University, USA
Steve Warren , Kansas State University, USA
William Spees , US Food & Drug Administration, USA
Raoul Jetley , US Food & Drug Administration, USA
Paul Jones , US Food & Drug Administration, USA
Sandy Weininger , US Food & Drug Administration, USA
pp. 433-434

RAIDE for engineering architecture-based self-adaptive systems (PDF)

Shang-Wen Cheng , Carnegie Mellon University, USA
David Garlan , Carnegie Mellon University, USA
Bradley Schmerl , Carnegie Mellon University, USA
pp. 435-436

ClemanX: Incremental clone detection tool for evolving software (PDF)

Tung Thanh Nguyen , Iowa State University, USA
Hoan Anh Nguyen , Iowa State University, USA
Nam H. Pham , Iowa State University, USA
Jafar M. Al-Kofahi , Iowa State University, USA
Tien N. Nguyen , Iowa State University, USA
pp. 437-438

A-SCORE: Automatic software component recommendation using coding context (PDF)

Ryuji Shimada , Graduate School of Information Science and Technology, Osaka University, Japan
Yasuhiro Hayase , Graduate School of Information Science and Technology, Osaka University, Japan
Makoto Ichii , Graduate School of Information Science and Technology, Osaka University, Japan
Makoto Matsushita , Graduate School of Information Science and Technology, Osaka University, Japan
Katsuro Inoue , Graduate School of Information Science and Technology, Osaka University, Japan
pp. 439-440

An experimental platform to characterize software comprehension activities supported by visualization (PDF)

Glauco de F. Carneiro , Federal University of Bahia (UFBA), Brazil
Manoel Mendonca , Federal University of Bahia (UFBA), Brazil
Rodrigo Magnavita , Salvador University (UNIFACS), Brazil
pp. 441-442
92 ms
(Ver 3.3 (11022016))