22. ISSRE 2011: Hiroshima, Japan

Software Security

• João Antunes, Nuno Fuentecilla Neves:
  Using Behavioral Profiles to Detect Software Flaws in Network Servers. 1-10
  
• Peter Bishop, Robin E. Bloomfield, Ilir Gashi, Vladimir Stankovic:
  Diversity for Security: A Study with Off-the-Shelf AntiVirus Engines. 11-19
  
• Anton Barua, Hossain Shahriar, Mohammad Zulkernine:
  Server Side Detection of Content Sniffing Attacks. 20-29
  

Software Safety

• Rajwinder Kaur Panesar-Walawege, Mehrdad Sabetzadeh, Lionel C. Briand:
  A Model-Driven Engineering Approach to Support the Verification of Compliance to Safety Standards. 30-39
  
• Arshad Jhumka, Matthew Leeke:
  The Early Identification of Detector Locations in Dependable Software. 40-49
  
• Elisabeth A. Nguyen, Alex G. Ellis:
  Experiences with Assurance Cases for Spacecraft Safing. 50-59
  

Data Driven Software Reliability Studies

• Kim Herzig, Andreas Zeller:
  Mining Cause-Effect-Chains from Version Histories. 60-69
  
• Gang Shu, Zhuofu Bai, Andy Podgurski:
  Statistical Evaluation of Complex Input-Output Transformations. 70-79
  
• Kesari Mishra, Kishor S. Trivedi:
  Uncertainty Propagation through Software Dependability Models. 80-89
  
• Brady J. Garvin, Myra B. Cohen:
  Feature Interaction Faults Revisited: An Exploratory Study. 90-99
  

Unit Testing

• Frolin S. Ocariza Jr., Karthik Pattabiraman, Benjamin G. Zorn:
  JavaScript Errors in the Wild: An Empirical Study. 100-109
  
• Shadi Abdul Khalek, Sarfraz Khurshid:
  Efficiently Running Test Suites Using Abstract Undo Operations. 110-119
  
• Aymeric Hervieu, Benoit Baudry, Arnaud Gotlieb:
  PACOGEN: Automatic Generation of Pairwise Test Configurations from Feature Models. 120-129
  
• Md. Junaid Arafeen, Hyunsook Do:
  Adaptive Regression Testing Strategy: An Empirical Study. 130-139
  

System Testing

• Xiao Qu, Mithun Acharya, Brian Robinson:
  Impact Analysis of Configuration Changes for Test Case Selection. 140-149
  
• Zhihong Xu, Yunho Kim, Moonzoo Kim, Gregg Rothermel:
  A Hybrid Directed Test Suite Augmentation Technique. 150-159
  
• Yan Cai, W. K. Chan:
  LOFT: Redundant Synchronization Event Removal for Data Race Detection. 160-169
  
• Lingming Zhang, Darko Marinov, Lu Zhang, Sarfraz Khurshid:
  An Empirical Study of JUnit Test-Suite Reduction. 170-179
  

Formal Development and Analysis

• Ilya Lopatkin, Alexei Iliasov, Alexander Romanovsky:
  Rigorous Development of Dependable Systems Using Fault Tolerance Views. 180-189
  
• Yang Liu, Jun Sun, Jin Song Dong:
  PAT 3: An Extensible Architecture for Building Multi-domain Model Checkers. 190-199
  
• Yunja Choi:
  Safety Analysis of Trampoline OS Using Model Checking: An Experience Report. 200-209
  

Software and System Reliability

• Yilei Zhang, Zibin Zheng, Michael R. Lyu:
  WSPred: A Time-Aware Personalized QoS Prediction Framework for Web Services. 210-219
  
• L. Sandamali Dharmasena, Panlop Zeephongsekul, Chathuri L. Jayasinghe:
  Software Reliability Growth Models Based on Local Polynomial Modeling with Kernel Smoothing. 220-229
  
• Jianwen Xiang, Kazuo Yanoo, Yoshiharu Maeno, Kumiko Tadano, Fumio Machida, Atsushi Kobayashi, Takao Osaki:
  Efficient Analysis of Fault Trees with Voting Gates. 230-239
  

Software Aging and Rejuvenation

• Antonio Bovenzi, Domenico Cotroneo, Roberto Pietrantuono, Stefano Russo:
  Workload Characterization for Software Aging Analysis. 240-249
  
• Javier Alonso, Iñigo Goiri, Jordi Guitart, Ricard Gavaldà, Jordi Torres:
  Optimal Resource Allocation in a Virtualized Software Aging Platform with Software Rejuvenation. 250-259
  
• Jing Zhao, Yuliang Jin, Kishor S. Trivedi, Rivalino Matias:
  Injecting Memory Leaks to Accelerate Software Failures. 260-269
  

Last update Fri May 25 08:24:24 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page