Partner, Microsoft Reliability
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-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-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
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
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
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
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
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
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
Title: Software Reliability - 40 years of avoiding the question Technical Fellow, Boeing
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-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-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
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
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-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
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-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-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
Title: Using Measures and Risk Indicators for Early Insight Into Software Product Characteristics such as Software Safety
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-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-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
