Keynotes

• 
  Solom Heddaya: How Economics Shape Reliability: Lessons and Opportunities from Windows Development. 1
• 
  Russell Morris: Software Reliability - 40 Years of Avoiding the Question. 2-3
• 
  Victor R. Basili: Using Measures and Risk Indicators for Early Insight into Software Product Characteristics such as Software Safety. 4-5

Panel

• 
  Michael G. Hinchey, Karama Kanoun, Mikael Lindvall, Michael R. Lyu, Tiziana Margaria, Veena B. Mendiratta, Paul Pettersson, Norman F. Schneidewind, W. Eric Wong: Anything You Want to Ask about Software Reliability Engineering. 6

Models 1

• 
  Ibrahim Habli, Tim Kelly: A Model-Driven Approach to Assuring Process Reliability. 7-16
• 
  Michael Kläs, Haruka Nakao, Frank Elberzhager, Jürgen Münch: Predicting Defect Content and Quality Assurance Effectiveness by Combining Expert Judgment and Defect Data - A Case Study. 17-26
• 
  W. Eric Wong, Yan Shi, Yu Qi, Richard Golden: Using an RBF Neural Network to Locate Program Bugs. 27-36

Java 1

• 
  Wladimir Araujo, Lionel C. Briand, Yvan Labiche: Concurrent Contracts for Java in JML. 37-46
• 
  Kinga Dobolyi, Westley Weimer: Changing Java's Semantics for Handling Null Pointer Exceptions. 47-56
• 
  Ejike Ofuonye, James Miller: Resolving JavaScript Vulnerabilities in the Browser Runtime. 57-66

Models 2

• 
  Madeline Diep, Sebastian G. Elbaum, Matthew B. Dwyer: Trace Normalization. 67-76
• 
  Edward Condon, Angela He, Michel Cukier: Analysis of Computer Security Incident Data Using Time Series Models. 77-86
• 
  João Antunes, Nuno Ferreira Neves, Paulo Veríssimo: Detection and Prediction of Resource-Exhaustion Vulnerabilities. 87-96

Network & OS

• 
  Zibin Zheng, Michael R. Lyu: A QoS-Aware Middleware for Fault Tolerant Web Services. 97-106
• 
  Xiaoen Ju, Hengming Zou: Operating System Robustness Forecast and Selection. 107-116
• 
  Leonardo Mariani, Fabrizio Pastore: Automated Identification of Failure Causes in System Logs. 117-126
• 
  Constantin Sârbu, Andréas Johansson, Neeraj Suri, Nachiappan Nagappan: Profiling the Operational Behavior of OS Device Drivers. 127-136

Testing 1

• 
  Ben Breech, Lori L. Pollock, John Cavazos: RUGRAT: Runtime Test Case Generation Using Dynamic Compilers. 137-146
• 
  Nikolai Kosmatov: All-Paths TestGenerationfor Programs with Internal Aliases. 147-156
• 
  Ilinca Ciupa, Bertrand Meyer, Manuel Oriol, Alexander Pretschner: Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports. 157-166

Test 2

• 
  Eduardo Cunha de Almeida, Gerson Sunyé, Yves Le Traon, Patrick Valduriez: A Framework for Testing Peer-to-Peer Systems. 167-176
• 
  Brian Robinson, Lee J. White: Testing of User-Configurable Software Systems Using Firewalls. 177-186
• 
  Boya Sun, Ray-Yaung Chang, Xianghao Chen, Andy Podgurski: Automated Support for Propagating Bug Fixes. 187-196
• 
  Yue Jiang, Bojan Cukic, Tim Menzies: Cost Curve Evaluation of Fault Prediction Models. 197-206

Empirical 1

• 
  Fadi Wedyan, Sudipto Ghosh: A Joinpoint Coverage Measurement Tool for Evaluating the Effectiveness of Test Inputs for AspectJ Programs. 207-212
• 
  Kirsi Korhonen, Outi Salo: Exploring Quality Metrics to Support Defect Management Process in a Multi-site Organization - A Case Study. 213-218
• 
  Robin E. Bloomfield, Ilir Gashi, Andrey Povyakalo, Vladimir Stankovic: Comparison of Empirical Data from Two Honeynets and a Distributed Honeypot Network. 219-228

Testing 3

• 
  Sam Weber, Amitkumar Paradkar, Suzanne McIntosh, David C. Toll, Paul A. Karger, Matthew Kaplan, Elaine R. Palmer: The Feasibility of Automated Feedback-Directed Specification-Based Test Generation: A Case Study of a High-Assurance Operating System. 229-238
• 
  Prasanth Anbalagan, Tao Xie: Automated Generation of Pointcut Mutants for Testing Pointcuts in AspectJ Programs. 239-248
• 
  Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory: Testing Software Product Lines Using Incremental Test Generation. 249-258

Empirical 2

• 
  Alexander Tarvo: Using Statistical Models to Predict Software Regressions. 259-264
• 
  Paul Luo Li, Mingtian Ni, Song Xue, Joseph P. Mullally, Mario Garzia, Mujtaba Khambatti: Reliability Assessment of Mass-Market Software: Insights from Windows Vista®. 265-270
• 
  Robyn R. Lutz, Ann Patterson-Hine: Using Fault Modeling in Safety Cases. 271-276

Fast Abstract - Reliability

• 
  Lily Huang, Michael R. Smith, Albert Tran, James Miller: E-RACE, A Hardware-Assisted Approach to Lockset-Based Data Race Detection for Embedded Products. 277-278
• 
  Dalju Lee, Jongmoon Baik, Hoyeon Ryu, Ju-Hwan Shin: An Effective Software Reliability Analysis Framework for Weapon System Development in Defense Domain. 279-280
• 
  Chao-Jung Hsu, Chin-Yu Huang, Tsan-Yuan Chen: A Modified Genetic Algorithm for Parameter Estimation of Software Reliability Growth Models. 281-282
• 
  Jingyu Kim, Sungwon Kang, Nohbok Lee: Reliability Assessment of Translated VMF/Link-16 Messages. 283-284
• 
  Ning Huang, Dong Wang, Xiaoguang Jia: An Algebra-Based Reliability Prediction Approach for Composite Web Services. 285-286
• 
  Robert S. Hanmer, Veena B. Mendiratta: Architecting for Reliability - Recovery Mechanisms. 287-288
• 
  Felix Salfner, Katinka Wolter: Replication vs. Failure Prevention - How to Boost Service Availability? 289-290

Fast Abstract - Security & Safety

• 
  Qian Feng, Robyn R. Lutz: Assessing the Effect of Software Failures on Trust Assumptions. 291-292
• 
  Tomohiko Takagi, Zengo Furukawa: GB Coverage Criteria: The Measurement for Testing a "Go Back" Function Based on a Pushdown Automaton. 293-294
• 
  Syed Shariyar Murtaza, Mechelle Gittens, Nazim H. Madhavji: Discovering the Fault Origin from Field Traces. 295-296
• 
  HyunChul Joh, Yashwant K. Malaiya: Seasonality in Vulnerability Discovery in Major Software Systems. 297-298
• 
  HyunChul Joh, Jinyoo Kim, Yashwant K. Malaiya: Vulnerability Discovery Modeling Using Weibull Distribution. 299-300
• 
  Christopher Ackermann, Deane E. Sibol, William C. Stratton, Mikael Lindvall, Sally Godfrey: An Analysis Framework for Inter-system Interaction Behavior. 301-302
• 
  Nuo Li, Patrick Francis, Brian Robinson: Static Detection of Redundant Test Cases: An Initial Study. 303-304

Student Program

• 
  Gursimran Singh Walia, Jeffrey C. Carver: The Effect of the Number of Defects on Estimates Produced by Capture-Recapture Models. 305-306
• 
  Chu-Ti Lin, Chin-Yu Huang: Modeling the Software Failure Correlations When Test Automation Is Adopted during the Software Development. 307-308
• 
  Aritra Bandyopadhyay, Sudipto Ghosh: Using UML Sequence Diagrams and State Machines for Test Input Generation. 309-310
• 
  Fred Dysart, Mark Sherriff: Automated Fix Generator for SQL Injection Attacks. 311-312
• 
  Meiyappan Nagappan, Mladen A. Vouk, Kesheng Wu, Alex Sim, Arie Shoshani: Efficient Operational Profiling of Systems Using Suffix Arrays on Execution Logs. 313-314
• 
  Michael Gegick, Laurie Williams: Ranking Attack-Prone Components with a Predictive Model. 315-316
• 
  Hideaki Hata, Osamu Mizuno, Tohru Kikuno: Comparative Study of Fault-Proneness Filtering with PMD. 317-318
• 
  Haifeng Li, Qiuying Li, Minyan Lu: Software Reliability Modeling with Logistic Test Coverage Function. 319-320
• 
  Albert Tran, Michael R. Smith, James Miller: A Hardware-Assisted Tool for Fast, Full Code Coverage Analysis. 321-322
• 
  Dazhi Zhang, Wenhua Wang, Donggang Liu, Yu Lei, David Chenho Kung: Reusing Existing Test Cases for Security Testing. 323-324
• 
  Prasanth Anbalagan, Mladen A. Vouk: On Reliability Analysis of Open Source Software - FEDORA. 325-326

last updated on Sat May 18 05:18:30 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page