Preliminary Program

ISSRE 2008: Program

11/12/2008


8:00 - 9:00  Breakfast and Registration
Room Name: McKinley



9:00 - 10:30  Keynote - Solom Heddaya
Room Name: Hood




Partner, Microsoft Reliability


10:30 - 11:00  Break
Room Name: McKinley



11:00 - 12:30  Research Track - Models 1
Chair: Steve Kan
Hall Name: Hood


11:00-11:30AM

A Model-Driven Approach to Assuring Process Reliability
Ibrahim Habli and Tim Kelly
University of York

11:30-12:00AM

Predicting Defect Content and Quality Assurance Effectiveness by Combining Expert Judgment and Defect Data - A Case Study
Michael Kläs1,  Haruka Nakao2,  Frank Elberzhager1,  Jürgen Münch1
1Fraunhofer Institute for Experimental Software Engineering, 2Safety & Product Assurance Dep.

12:00-12:30PM

Using an RBF Neural Network to Locate Program Bugs
Eric Wong,  Yan Shi,  Yu Qi,  Richard Golden
UT-Dallas


11:00-12:30  Ind Track - Testing 1
Chair: Nachiappan Nagappan
Hall Name: Lassen


11:00-11:30AM

Implement an Efficient Performance Testing Process
Emily Ren
Boeing

11:30-12:00AM

Test Logging
Geoff Staneff and Daniel Travison
Microsoft

12:00-12:30PM

Automated Failure Analysis
Daniel Travison and Geoff Staneff
Microsoft


11:00 - 12:30  Fast Abstract - Reliability
Chair: Yashwant Malaiya
Room Name: Sonora


11:00-11:12AM

E-RACE, A Hardware-Assisted Approach to Lockset-based Data Race Detection on Embedded Products
Lily Huang1,  Michael Smith1,  Albert Tran1,  James Miller2
1University of Calgary, Canada, 2University of Alberta, Canada

11:13-11:24AM

An Effective Software Reliability Analysis Framework for Weapon System Developments in Defense Domain
Dalju Lee1,  Jongmoon Baik1,  Hoyeon Ryu1,  Ju-Hwan Shin2
1Information and Communications University, 2Agency for Defense Development

11:25-11:36AM

A Modified Genetic Algorithm for Parameter Estimation of Software Reliability Growth Models
Chao-Jung Hsu,  Chin-Yu Huang,  Tsan-Yuan Chen
National Tsing Hua University

11:37-11:48AM

Reliability Assessment of Translated VMF/Link-16 Messages
Jingyu Kim1,  Sungwon Kang1,  Nohbok Lee2
1information and Communications University, 2Agency for Defense Development

11:49-12:00AM

An Algebra-Based Reliability Prediction Approach for Composite Web Services
Ning Huang1,  Dong Wang2,  Xiaoguang Jia2
1Dept. of Reliability Engineering, Beihang University, 2Dept. of Computer Science, Beihang University

12:01-12:12PM

Architecting for Reliability – Recovery Mechanisms
Robert Hanmer and Veena Mendiratta
Alcatel-Lucent

12:13-12:24PM

Replication vs. Failure Prevention: How to Boost Service Availability?
Felix Salfner1 and Katinka Wolter2
1International Computer Science Institute, Berkeley, 2Humboldt-Universität zu Berlin


12:30 - 14:00  Lunch
Room Name: McKinley



02:00 - 03:30  Research Track - Java 1
Chair: Robyn Lutz
Room Name: Sonora


02:00-02:30PM

Concurrent Contracts for Java in JML
Wladimir Araujo1,  Lionel Briand2,  Yvan Labiche3
1Juniper Networks, 2Simula Research Laboratory and University of Oslo, 3Software Quality Engineering Laboratory, Carleton University

02:30-03:00PM

Changing Java's Semantics for Handling Null Pointer Exceptions
Kinga Dobolyi and Westley Weimer
University of Virginia

03:00-03:30PM

Resolving JavaScript Vulnerabilities in Browser Runtime
Ejike Ofuonye and James Miller
University of Alberta


14:00 - 15:30  Research Track - Models 2
Chair: Karama Kanoun
Room Name: Hood


02:00-02:30PM

Trace Normalization
Madeline Diep,  Sebastian Elbaum,  Matthew Dwyer
University of Nebraska - Lincoln

02:30-03:00PM

Analysis of Computer Security Incident Data Using Time Series Models
Edward Condon1,  Angela He2,  Michel Cukier1
1Center for Risk and Reliability, Dept. of Mechanical Engineering, 2Dept. of Mathematics

03:00-03:30PM

Detection and Prediction of Resource Exhaustion Vulnerabilities
João Antunes,  Nuno Neves,  Paulo Veríssimo
Universidade de Lisboa


14:00 - 15:30  Ind Track - Empirical 1
Chair: Lynn Weber
Room Name: Lassen


02:00-02:30PM

Why does my Perfectly good application Crash and Burn in Production?
Kramer Matt
Boeing

02:30-03:00PM

To enhance the reliability of a new developed component consists of hundreds of Lines of codes by performing Software Reliability Engineering Activities Integrated in IPD Process
Liang Cheng
Huawei Technologies Co. Ltd.

03:00-03:30PM

Direct and Indirect Effects of Software Defect Predictors on Development Lifecycle: An Industrial Case Study
Ayse Tosun,  Burak Turhan,  Ayse Bener
Bogazici University


03:30 - 04:00  Break
Room Name: McKinley



04:00 - 05:30  Ind Track - Testing 2
Chair: Jim Lambert
Room Name: Sonora


04:00-04:30PM

Declarative UI Testing @ Microsoft
Ed Triou,  Zafar Abbas,  Sravani Kothapalle
Microsoft

04:30-05:00PM

A Multipurpose Software Test Platform Architecture for Reliability Testing of Mechatronic Systems
Steve Masticola
Siemens Corporate Research

05:00-05:30PM

Using the Planning Game for Test Case Prioritization
Sapna Ponaraseri1,  Angelo Susi2,  Paolo Tonella2
1University of Hyderabad, India, 2Fondazione Bruno Kessler-IRST, Trento, Italy


16:00 - 18:00  Industry Track - Security
Chair: Mod Marathe
Room Name: Lassen


04:00-04:30PM

Measuring the Attack Surfaces of SAP Software Systems
Pratyusa K. Manadhata1,  Yuecel Karabulut2,  Jeannette M. Wing1
1Carnegie Mellon University, 2SAP Research, Palo Alto, CA

04:30-05:00PM

Means-Ends and Whole-Part Traceability of Safety Requirements
Jang-Soo Lee1,  Christian Raspotnig2,  Vikash Katta2
1Korea Atomic Energy Research Institute, 2

05:00-05:30PM

Checking Framework Constraints using Static Analysis
Francois Bronsard
Siemens

05:30-06:00PM

Integrated Hardware/Software Reliability and Availability Modeling of a Space Vehicle Using Software Discrepancy Data from the Late Testing Phase
Myron Hecht1,  Alexander Lam1,  Aleka McAdams2
1The Aerospace Corporation, 2UCLA Department of Mathematics


16:00 - 18:00  Research Track - Network & OS
Chair: Stefan Christiernin
Room Name: Hood


04:00-04:30PM

A QoS-Aware Middleware for Fault Tolerant Web Services
Zibin Zheng and Michael R. Lyu
The Chinese University of Hong Kong

04:30-05:00PM

Operating System Robustness Forecast and Selection
Xiaoen Ju1 and Hengming Zou2
1School of Software, Shanghai Jiao Tong University, 2School of Software and Department of Computer Science, Shanghai Jiao Tong University

05:00-05:30PM

Automated Identification of Failure Causes in System Logs
Leonardo Mariani and Fabrizio Pastore
University of Milano Bicocca

05:30-06:00PM

Profiling the Operational Behavior of OS Device Drivers
Constantin Sarbu1,  Andreas Johansson2,  Neeraj Suri1,  Nachiappan Nagappan3
1TU Darmstadt, 2Volvo Technology Corporation, 3Microsoft Research


06:00 - 07:30  Windows Crash Collection Process (Drinks and Snacks)
Room Name: McKinley


11/13/2008


8:00 - 9:00  Breakfast and Registration
Room Name: McKinley



9:00 - 10:30  Keynote - Russell Morris
Room Name: Hood


Title: Software Reliability - 40 years of avoiding the question
Technical Fellow, Boeing


10:30 - 11:00  Break
Room Name: McKinley



11:00 - 12:30  Research Track - Testing 1
Chair: Andy Podgurski
Room Name: Hood


11:00-11:30AM

RUGRAT: Runtime Test Case Generation using Dynamic Compilers
Ben Breech,  Lori Pollock,  John Cavazos
University of Delaware

11:30-12:00AM

All-Paths Test Generation for Programs with Internal Aliases
Nikolai Kosmatov
CEA LIST

12:00-12:30PM

Finding Faults: Manual Testing vs. Random Testing+ vs. User Reports
Ilinca Ciupa,  Bertrand Meyer,  Manuel Oriol,  Alexander Pretschner
ETH Zurich


11:00 - 12:30  Fast Abstract - Security & Safety
Chair: Sudipto Ghosh
Room Name: Sonora


11:00-11:12AM

Assessing the Effect of Software Failures on Trust Assumptions
Qian Feng1 and Robyn Lutz2
1ABC Virtual, Inc., 2Iowa State University and Jet Propulsion Lab

11:13-11:24AM

GB Coverage Criteria: The Measurement for Testing a "Go Back" Function Based on a Pushdown Automaton
Tomohiko Takagi and Zengo Furukawa
Kagawa University

11:25-11:36AM

Discovering Fault Origin from Field Traces
Syed Shariyar Murtaza1,  Mchelle Gittens2,  Nazim Madhavji1
1UWO, 2IBM

11:37-11:48AM

Seasonality in Vulnerability Discovery in Major Software Systems
HyunChul Joh and Yashwant Malaiya
Colorado State University

11:49-12:00AM

Vulnerability Discovery Modeling using Weibull Distribution
HyunChul Joh,  Jinyoo Kim,  Yashwant Malaiya
Colorado State University

12:01-12:12PM

An Analysis Framework for Inter-System Interaction Behavior
Christopher Ackermann1,  Deane Sibol2,  William Stratton2,  Mikael Lindvall1,  Sally Godfrey3
1Fraunhofer Center for Experimental Software Engineering Maryland (FC-MD), 2Johns Hopkins University Applied Physics Laboratory Space Department Ground Applications Group (APL), 3Goddard Space Flight Center (GSFC)

12:13-12:24PM

Static Detection of Redundant Test Cases: An Initial Study
Nuo Li1,  Patrick Francis2,  Brian Robinson2
1North Carolina State University, 2ABB Corporate Research


11:00 - 12:30  Ind Track - Empirical 2
Chair: Bob Mullen
Room Name: Lassen


11:00-11:30AM

Reliability and Quality of Software Engineering in Manufacturing Industry – A case study
Linn Gustavsson Christiernin1,  Anders Nilsson2,  Eric Brandt3,  Niklas Asp1,  Stefan Mankefors-Christiernin1
1University West, 2EDS, 3University West/Chalmers Technical University

11:30-12:00AM

Predicting Fault Inflow in Highly Iterative Software Development Processes: An Industrial Evaluation
Martin Bäumer1,  Patrick Seidler1,  Richard Torkar1,  Piotr Tomaszewski2,  Lars-Ola Damm2,  Robert Feldt1
1Blekinge Institute of Technology, 2Ericsson AB

12:00-12:30PM

Pre-Release Change Analysis: A Study of Faults in Enterprise Resource Planning Software
Arbi Ghazarian
University of Toronto


12:30 - 02:00  Lunch
Room Name: McKinley



02:00 - 03:30  Ind Track - Metrics 1
Chair: Steve Masticola
Room Name: Hood


02:00-02:30PM

Development Defect Density – A Software Process Effectiveness Metric
Pete Rotella and John Intintolo
Cisco Systems, Inc.

02:30-03:00PM

Measuring Server Software Reliability with Focused Iterative Testing
Pramod Gupta and David Godwin
IBM


02:00 - 03:30  Student Program
Chair: Carol Smidts
Room Name: Sonora



The Effect of the Number of Defects on Estimates Produced by Capture-Recapture Models
Gursimran Singh Walia and Jeffrey C. Carver
Mississippi State University


Modeling the Software Failure Correlations When Test Automation Is Adopted during the Software Development
Chu-Ti Lin and Chin-Yu Huang
National Tsing Hua University


Using UML Sequence Diagrams and State Machines for Test Input Generation
Aritra Bandyopadhyay1 and Sudipto Ghosh2
1Student, Colorado State University, 2Associate Professor, Colorado State University


Automated Fix Generator for SQL Injection Attacks
Fred Dysart and Mark Sherriff
University of Virginia


Efficient Operational Profiling of Systems using Suffix Arrays on Execution Logs
Meiyappan Nagappan1,  Mladen Vouk1,  Kesheng Wu2,  Alex Sim2,  Arie Shoshani2
1North Carolina State University, 2Lawrence Berkeley National Laboratory


Ranking Attack-prone Components with a Predictive Model
Michael Gegick and Laurie Williams
North Carolina State University


Comparative Study of Fault-Proneness Filtering with PMD
Hideaki Hata,  Osamu Mizuno,  Tohru Kikuno
Osaka University


Software Reliability Modeling with Logistic Test Coverage Function
Haifeng Li,  Qiuying Li,  Minyan Lu
BeiHang University


A Hardware-Assisted Tool for Fast, Full Code Coverage Analysis
Albert Tran1,  Michael Smith1,  James Miller2
1University of Calgary, Canada, 2University of Alberta, Canada


RETAST submission
Dazhi Zhang,  Wenhua Wang,  Donggang Liu,  Yu Lei,  David Kung
University of Texas at Arlington


On Reliability Analysis of Open Source Software - FEDORA
Prasanth Anbalagan and Mladen Vouk
North Carolina State University


02:00 -03:30  Ind Track - Reliability
Chair: Alberto Avritzer
Room Name: Lassen


02:00-02:30PM

Availability in the Software as a Service Industry(SaaS)
Velchamy Sankarlingam,  Eric Yuan,  Raj Meka,  Chris Will,  Jian Lin,  Steve Chen
Cisco Systems

02:30-03:00PM

Measuring the Field Reliability of Software Versions
Robert Mullen
Cisco

03:00-03:30PM

Improve Software System Reliability using SFIT
Hua Chen1,  Yifu Luo2,  Sean Gong2
1HUAWEI Technologies, 2


03:30 - 04:00  Break
Room Name: McKinley



04:00 - 06:00  Research Track - Test 2
Chair: Will Snipes
Room Name: Hood


04:00-04:30PM

A Framework for Testing Peer-to-Peer Systems
Eduardo Cunha de Almeida1,  Gerson Sunyé1,  Yves Le Traon2,  Patrick Valduriez3
1University of Nantes, 2IT-TELECOM Bretagne, 3University of Nantes, INRIA

04:30-05:00PM

Testing of User-Configurable Software Systems Using Firewalls
Brian Robinson1 and Lee White2
1ABB Corporate Research, 2Case Western Reserve University

05:00-05:30PM

Automated Support for Propagating Bug Fixes
Boya Sun,  Ray-Yaung Chang,  Xianghao Chen,  Andy Podgurski
Case Western Reserve University

05:30-06:00PM

Cost Curve Evaluation of Fault Prediction Models
Yue Jiang,  Bojan Cukic,  Tim Menzies
West Virginia University


04:00 - 06:00  Research Track - Empirical 1
Chair: Michael Lyu
Room Name: Sonora


04:00-04:30PM

A Joinpoint Coverage Measurement Tool for Evaluating the Effectiveness of Test Inputs for AspectJ Programs
Fadi Wedyan and Sudipto Ghosh
Colorado State University

04:30-05:00PM

Exploring Quality Metrics to Support Defect Management Process in Multi Site Organization – a Case Study
Kirsi Korhonen1 and Outi Salo2
1Nokia Siemens Networks, 2VTT Technical Research Centre of Finland

05:00-05:30PM

Comparison of Empirical Data from Two Honeynets and a Distributed Honeypot Network
Robin Bloomfield,  Ilir Gashi,  Andrey Povyakalo,  Vladimir Stankovic
CSR, City University


04:00 -06:00  Ind Track - Metrics 2
Chair: Pete Rotella
Room Name: Lassen


04:00-04:30PM

Performance Measures: A Canary in the System Stability Coal Mine?
Andre Bondi
Siemens Corporate Research, Inc.

04:30-05:00PM

The Use of Formal Methods in Model Driven Requirements Engineering
Brian Berenbach
Siemens Corporate Research

05:00-05:30PM

Applying Markovian Models to the Reliability Estimation of Large Distributed Software Systems
Alberto Avritzer
Siemens Corporate Research


06:00 - 10:00  ISSRE EVENT: Space Needle


11/14/2008


08:00-09:00  Breakfast
Room Name: McKinley



09:00-10:30  Keynote - Vic Basili
Room Name: Hood


Title: Using Measures and Risk Indicators for Early Insight Into Software Product Characteristics such as Software Safety


10:30-11:00  Break
Room Name: McKinley



11:00-12:30  Panel - Anything You Want to Ask About Software Reliability Engineering
Room Name: Hood


Prof. Mike Hinchey, Lero-the Irish Software Engineering Research Centre, Ireland (Chair)
Karama Kanoun, CNRS, France
Dr. Mikael Lindvall, Fraunhofer Center, MD, USA
Dr. Michael R. Lyu, Chinese University of Hong Kong, Hong Kong
Prof. Tiziana Margaria, University of Potsdam, Germany
Dr. Veena B. Mendiratta, Alcatel-Lucent, USA
Prof. Paul Pettersson, Mälardalen University, Sweden
Prof. Norm Schneidewind, Naval Postgraduate School, USA
Prof. Eric Wong, University of Texas at Dallas, USA


11:00-12:30  Research Track - Testing 3
Chair: Bojan Cukic
Room Name: Sonora


11:00-11:30AM

The Feasibility of Automated Feedback-Directed Test Generation: A Case Study of a High-Assurance Operating System
Sam Weber,  Suzanne K. McIntosh,  Amitkurmar Paradkar,  David C. Toll,  Paul A. Karger,  Matthew Kaplan,  Elaine R. Palmer
IBM T. J. Watson Reserarch Cente

11:30-12:00AM

Automated Generation of Pointcut Mutants for Testing Pointcuts in AspectJ Programs
Prasanth Anbalagan and Tao Xie
North Carolina State University

12:00-12:30PM

Testing Software Product Lines Using Incremental Test Generation
Engin Uzuncaova,  Daniel Garcia,  Sarfraz Khurshid,  Don Batory
The University of Texas at Austin


11:00-12:30  Research Track - Empirical 2
Chair: Allen Nikora
Room Name: Lassen


11:00-11:30AM

Using Statistical Models to Predict Software Regressions
Alexander Tarvo
Software Engineer, Microsoft corp.

11:30-12:00AM

Reliability Assessment of Mass-Market Software: Insights from Windows Vista
Paul Luo Li,  Mingtian NI,  Song Xue,  Joe Mullally,  Mario Garzia,  Mujtaba Khambatti
Microsoft Windows Reliability Team

12:00-12:30PM

Using Fault Modeling in Safety Cases
Robyn Lutz1 and Ann Patterson-Hine2
1Jet Propulsion Laboratory/Caltech and Iowa State University, 2NASA Ames Research Center


12:30-14:00  Lunch
Room Name: McKinley



14:00-15:00  Feedback session
Room Name: Hood