Welcome to the 23rd IEEE International Symposium on Software Reliability Engineering 27-30, November, 2012, Dallas, Texas, USA



Click on the image to see a larger picture.


ISSRE 2012 Opening Ceremony


Date and Time:
November 28, 9:00am - 9:30am

Speaker:
W. Eric Wong, University of Texas at Dallas, USA (General Chair)
Gopal Gupta, University of Texas at Dallas, USA (Special Guest)
Ram Chillarege, Chillarege Inc., USA (Steering Committee Chair)
Nachi Nagappan, Microsoft Research, USA (program co-Chair)
Helene Waeselynck, LAAS-CNRS, France (Program co-Chair)

 

[Slides1] [Slides2]
[Video]
[Download Video]

 


 

ISSRE 2012 Keynotes

Development of High-Quality Secure Service-based Software Systems


Date and Time:
November 28, 9:30am - 10:30am

Speaker:
Stephen S. Yau, Arizona State University, USA

 

[Slides]
[Video]
[Download Video]

 


Extreme Cloud


Date and Time:
November 29, 9:30am - 10:30am

Speaker:
Rick Schlichting, AT&T Labs - Research, USA

 

[Slides]
[Video]
[Download Video]

 



 

ISSRE 2012 Panel

What you Always Wanted to Know About Software Reliability But Were Afraid to Ask


Date and Time:
November 30, 9:30am - 10:30am

Moderator:
Allen Nikora, NASA JPL, USA

Panelists:
Kishor Trivedi, Duke University, USA
Pete Rotella, Cisco Systems, USA
Katerina Goseva-Popstojanova, West Virginia University, USA
Nachi Nagappan, Microsoft, USA
Karama Kanoun, LAAS-CNRS, France
Swapna Gokhale, University of Connecticut, USA
Lucas Layman, University of Maryland, USA

 

[Video]
[Download Video]

 

Wednesday, November 28


Session I: Reliability I
Session Chair: Mike Siok

Time: 11:00am - 12:30pm


This section was not recorded.
Return to the ISSRE 2012 home page.


Session II: Quality I
Session Chair: Mohammad Zulkernine

Time: 14:00pm - 15:30pm


This section was not recorded.
Return to the ISSRE 2012 home page.


Session III: Metrics
Session Chair: Tom Hill

Time: 16:00pm - 17:30pm


This section was not recorded.
Return to the ISSRE 2012 home page.




Thursday, November 29


Session IV: Testing I
Session Chair: Raul Santelices

Time: 11:00am - 12:30pm


  1. Smart Framework for Unit Testing [Abstract] [Video] [Download Video]
    Lakshmankumar Mukkavilli
  2.  

  3. Customer Scenario Focused End-to-End Testing [Abstract] [Video] [Download Video]
    Aniket Malatpure, Chen Liang, Marcelo Vago, Mohammad Shafiei and Tsan Zheng
  4.  

  5. Applying Test Data Generation using SMT Solver to COBOL [Abstract] [Video] [Download Video]
    Yusuke Sasaki, Yoshiharu Maeda, Kenichi Kobayashi and Akihiko Matsuo
  6.  

Session V: SC Systems
Session Chair: Satya Pradhan

Time: 14:00pm - 15:30pm


This section was not recorded.
Return to the ISSRE 2012 home page.


Session VI: Quality II
Session Chair: Pete Rotella

Time: 16:00pm - 17:30pm


  1. Assessing the performance of Networked Computer Based Systems [Abstract]
    Shelly Agarwal
  2.  

  3. Measurements-based Analysis of Workload-error Relationship in a Production SaaS Cloud [Abstract] [Video] [Download Video]
    Rajeshwari Ganesan, Santonu Sarkar and Catello Di Martino
  4.  

  5. Assessing Product Quality through PMR Analysis: A Perspective [Abstract] [Video] [Downlaod Video]
    Rajarshi Das
  6.  



Friday, November 30


Session VII: Reliability II
Session Chair:Munir Palla

Time: 11:00am - 12:30pm


This section was not recorded.
Return to the ISSRE 2012 home page.

 

Session VIII: Testing II
Session Chair:Farokh Bastani

Time: 14:00pm - 15:30pm


This section was not recorded.
Return to the ISSRE 2012 home page.

 

Back to Top




Wednesday, November 28, 2012

 

Session I: Testing I
(Session Chair: Yvan Labiche)


This section was not recorded.
Return to the ISSRE 2012 home page.


Session II: Reliability and Availability I
(Session Chair: Tadashi Dohi )


This section was not recorded.
Return to the ISSRE 2012 home page.


Session III: Security
(Session Chair: Nuno Neves )


This section was not recorded.
Return to the ISSRE 2012 home page.


Session IV: Static and Dynamic Analysis
(Session Chair: Brian Robinson )


This section was not recorded.
Return to the ISSRE 2012 home page.


Session V: Reliability and Availability II
(Session Chair: Katerina Goseva )


This section was not recorded.
Return to the ISSRE 2012 home page.




Thursday, November 29, 2012

 

Session VI: Testing II
(Session Chair: Sudipto Ghosh )


  1. LIGHTWEIGHT AUTOMATED TESTING WITH ADAPTATION-BASED PROGRAMMING [Abstract] [Video] [Download Video]
    Alex Groce, Alan Fern, Jervis Pinto, Tim Bauer, Mohammad Amin Alipour, Martin Erwig and Camden Lopez
  2.  

  3. OVERLAP AND SYNERGY IN TESTING SOFTWARE COMPONENTS ACROSS LOOSELY-COUPLED COMMUNITIES [Abstract] [Video] [Download Video]
    Teng Long, Ilchul Yoon, Adam Porter, Alan Sussman and Atif Memon
  4.  

  5. ON THE RELATIVE STRENGTHS OF MODEL-BASED AND DYNAMIC EVENT EXTRACTION-BASED GUI TESTING TECHNIQUES: AN EMPIRICAL STUDY [Abstract] [Video] [Download Video]
    Gigon Bae, Gregg Rothermel and Doo-Hwan Bae
  6.  


Session VII: Practical Experience Reports I
(Session Chair: Michael Lyu )


  1. ARE COMPUTER FOCUSED CRIMES IMPACTED BY SYSTEM CONFIGURATIONS?: AN EMPIRICAL STUDY [Abstract]
    Bertrand Sobesto, Michel Cukier and David Maimon
  2.  

  3. EVALUATING AND IMPROVING PENETRATION TESTING IN WEB SERVICES [Abstract] [Video] [Download Video]
    Nuno Antunes and Marco Vieira
  4.  

  5. ON THE AGING EFFECTS DUE TO CONCURRENCY BUGS: A CASE STUDY ON MYSQL [Abstract] [Video] [Download Video]
    Antonio Bovenzi, Domenico Cotroneo, Roberto Pietrantuono and Stefano Russo
  6.  


Session VIII: Validation
(Session Chair: Marco Vieira )


  1. SHARED EXECUTION FOR EFFICIENTLY TESTING PRODUCT LINES [Abstract] [Video] [Download Video]
    Chang Hwan Peter Kim, Sarfraz Khurshid and Don Batory
  2.  

  3. RECYCLING TEST CASES TO DETECT SECURITY VULNERABILITIES [Abstract] [Video] [Download Video]
    João Antunes and Nuno Neves
  4.  

  5. REVOLUTION: AUTOMATIC EVOLUTION OF MINED SPECIFICATIONS [Abstract] [Video] [Download Video]
    Leonardo Mariani, Alessandro Marchetto, Cu Duy Nguyen, Paolo Tonella and Arthur Baars
  6.  

  7. AUTOINSPEC: USING MISSING TEST COVERAGE TO IMPROVE SPECIFICATIONS IN GUIS [Abstract] [Video] [Download Video]
    Myra Cohen, Si Huang and Atif Memon
  8.  



Friday, November 30, 2012

 

Session IX: Defect Analysis and Metrics
(Session Chair: Karama Kanoun )


  1. A LIGHT-WEIGHT DEFECT CLASSIFICATION SCHEME FOR EMBEDDED AUTOMOTIVE SOFTWARE AND ITS INITIAL EVALUATION [Abstract] [Video] [Download Video]
    Niklas Mellegård, Miroslaw Staron and Fredrik Törner
  2.  

  3. AN EMPIRICAL STUDY OF BUGS IN MACHINE LEARNING SYSTEMS [Abstract] [Video] [Download Video]
    Ferdian Thung, Shaowei Wang, David Lo and Lingxiao Jiang
  4.  

  5. DEVELOPMENT AND VALIDATION OF A COMPREHENSIVE CODE-BASED QUALITY MODEL FOR EMBEDDED SYSTEMS [Abstract] [Video] [Download Video]
    Alois Mayr, Reinhold Ploesch, Michael Klaes, Constanza Lampasona and Matthias Saft
  6.  


Session X: Testing III
(Session Chair: Myra Cohen )


  1. STATIC ANALYSIS OF MODEL TRANSFORMATIONS FOR EFFECTIVE TEST GENERATION [Abstract] [Video] [Download Video]
    Jean-Marie Mottu, Sagar Sen, Massimo Tisi and Jordi Cabot
  2.  

  3. LIGHTWEIGHT STATIC ANALYSIS FOR GUI TESTING [Abstract] [Video] [Download Video]
    Stephan Arlt, Andreas Podelski, Cristiano Bertolini, Martin Schäf, Ishan Banerjee and Atif Memon
  4.  

  5. ORACLE-CENTRIC TEST CASE PRIORITIZATION [Abstract] [Video] [Download Video]
    Matt Staats, Pablo Loyola and Gregg Rothermel
  6.  


Session XI: Practical Experience Reports II
(Session Chair: Nachi Nagappan )


  1. STATE-BASED TESTING: INDUSTRIAL EVALUATION OF THE COST-EFFECTIVENESS OF ROUND-TRIP PATH AND SNEAK-PATH STRATEGIES [Abstract] [Video] [Download Video]
    Nina Elisabeth Holt, Richard Torkar, Lionel C. Briand and Kai Hansen
  2.  

  3. THE NATURE OF THE TIMES TO FLIGHT SOFTWARE FAILURE DURING SPACE MISSIONS [Abstract] [Video] [Download Video]
    Javier Alonso, Michael Grottke, Allen P. Nikora and Kishor S. Trivedi
  4.  

  5. ON THE USE OF BOUNDARY SCAN FOR CODE COVERAGE OF CRITICAL EMBEDDED SOFTWARE [Abstract] [Video] [Download Video]
    Joao Carlos Cunha, Ricardo Barbosa and Gilberto Rodrigues
  6.  


Session XII: Formal Models
(Session Chair: Helene Waeselynck )


  1. COMPOSITIONAL VERIFICATION OF SENSOR SOFTWARE USING UPPAAL [Abstract] [Video] [Download Video]
    Mustafa Hammad and Jonathan Cook
  2.  

  3. VERIFYING THE ABSENCE PROPERTY PATTERN [Abstract] [Video] [Download Video]
    Marc Frappier and Amel Mammar
  4.  

  5. A MARTE EXTENSION FOR GLOBAL SCHEDULING ANALYSIS OF MULTIPROCESSOR SYSTEMS [Abstract] [Video] [Download Video]
    Amina Magdich, Yessine Hadj Kacem and Adel Mahfoudhi
  6.  


Student Papers
(Session Chair: Allen P. Nikora)


  1. COMPARISON OF STATIC ANALYSIS TOOLS FOR FINDING CONCURRENCY BUGS [Abstract]
    Numan Manzoor
  2.  

  3. DETECTING VULNERABILITIES IN SERVICE ORIENTED ARCHITECTURES [Abstract] [Video] [Download Video]
    Nuno Antunes and Marco Vieira
  4.  

  5. ACCELERATE THE SOFTWARE RELIABILITY TESTING EXECUTION PROCESS WITH FUZZY DISCRIMINATION [Abstract]
    Feng Zheng, Jun Ai, Jingwei Shang and Jinhui Wang
  6.  

  7. USING PROFILING METRICS TO CATEGORISE PEER REVIEW TYPES IN THE ANDROID PROJECT[Abstract] [Video] [Download Video]
    Raula Gaikovina Kula, Ana Erika Camargo Cruz, Norihiro Yoshida, Kazuki Hamasaki, Kenji Fujiwara, Xin Yang and Hajimu Iida
  8.  


Panel on What you Always Wanted to Know About Software Reliability But Were Afraid to Ask


Date and Time:

November 30, 9:30am - 10:30am

Moderator:

Allen Nikora, NASA JPL, USA

Panelists:

Kishor Trivedi, Duke University, USA
Pete Rotella, Cisco Systems, USA
Katerina Goseva-Popstojanova, West Virginia University, USA
Nachi Nagappan, Microsoft, USA
Karama Kanoun, LAAS-CNRS, France
Swapna Gokhale, University of Connecticut, USA
Lucas Layman, University of Maryland, USA

[Video] [Download Video]