Better Software @RIT

  

Team    Projects    Publications    Software/Data   

  
  

Research Agenda

    

Program analysis and testing for reliable, secure and fast software systems.

Team

     Prof Wei Le
     Ph.D. students: Danilo Dominguz Perez
     Master students: Bhargav Solanki, Ashita Khetan
     Undergraduate students: Nate Levesque
    

Research Projects

      Hydrogen: Analyzing and Understanding Software Changes
      [ICSE'14]

      Helium: Segmented Program Analysis
      [ICSE'13]

      Lithum: Analyzing and Testing Mobile Phone Applications
      [MOBS'13-1][MOBS'13-2]

      Beryllium: Exploring Tradeoffs Between Accuracy and Performance

      Boron: Value-based Software Testing

  Past:

       Marple: path-based static analysis
       [Dissertation][TOSEM13] [ISSTA11] [SESENA11] [FSE10][FSE08][PASTE07]

       Galileo: bounded-exhaustive testing
       [TSE05]

    

Publications

   

2014:

   

[MSR14-Data] Daniel E. Krutz and Wei Le, A Code Clone Oracle, 11th Working Conference on Mining Software Repositories, Data Showcase, 2014. [pdf]

   

[ICSE14] Wei Le and Shannon D. Pattison, Patch Verification via Multiversion Interprocedural Control Flow Graphs, 36th International Conference On Software Engineering, 2014. [pdf]

   

2013:

   

[MOBS13] Jack Zhang, Ayemi Musa and Wei Le, A Comparison of Energy Bugs for Smartphone Platforms, 1st International Workshop on the Engineering of Mobile-Enabled Systems, 2013. [pdf]

   

[MOBS13] Mohammed Alhamed, Khalid Amir, Mansoor Omari and Wei Le, Comparing Privacy Control Methods for Smartphone Platforms, 1st International Workshop on the Engineering of Mobile-Enabled Systems, 2013. [pdf]

   

[ICSE13] Wei Le, Segmented Symbolic Analysis, 35th International Conference On Software Engineering, 2013. [pdf][ppt]

   

[TOSEM13] Wei Le and Mary Lou Soffa, Marple: Detecting Faults in Path Segments Using Automatically Generated Analyses, Transactions of Software Engineering and Methodology, 2013. To Appear. [pdf]

   

2005 - 2012:

   

[TechnicalReport12] Wei Le and Daniel Krutz, How to Group Crashes Effectively: Comparing Manually and Automatically Grouped Crash Dumps Rochester Institute of Technology, Technical Report, 2012. [pdf]

   

[Dissertation] Wei Le, Toward a Practical, Path-Based Framework for Detecting and Diagnosing Software Faults, Ph.D. Dissertation, the University of Virginia, School of Engineering and Applied Science, Department of Computer Science, 2010. [pdf]

   

[TechnicalReport11] Zhanqi Cui, Wei Le and Mary Lou Soffa, MAGIC, Path-Guided Concolic TestingUniversity of Virginia, Computer Scienece, Technical Report, CS-2011-10 [pdf]

   

[ISSTA11] Wei Le and Mary Lou Soffa, Generating Analyses for Detecting Faults in Path Segments, International Symposium on Software Testing and Analysis, 2011. [pdf] [ppt]

   

[SESENA11] Wei Le, Jing Yang, Mary Lou Soffa and Kamin Whitehouse, Lazy Preemption to Enable Path-Based Analysis of Interrupt-Driven Code, 2nd International Workshop on Software Engineering for Sensor Network Applications, 2011. [pdf] [ppt]

   

[FSE10] Wei Le and Mary Lou Soffa, Path-Based Fault Correlation,18th ACM SIGSOFT International Symposium on the Foundation of Software Engineering, 2010, Page(s): 307-316. [pdf] [ppt]

   

[FSE08] Wei Le and Mary Lou Soffa, Marple, A Demand-Driven Path-Sensitive Buffer Overflow Detector,16th ACM SIGSOFT International Symposium on the Foundation of Software Engineering, 2008, Page(s): 272-282. [pdf] [ppt]

   

[PASTE07] Wei Le and Mary Lou Soffa, Refining Buffer Overflow Detection via Demand-Driven Path-Sensitive Analysis, 7th Workshop on Program Analysis for Software Tools and Engineering, 2007, Page(s): 63-68. [pdf] [ppt]

   

[TSE05] David Coppit, Jinlin Yang, Sarfraz Khurshid, Wei Le and Kevin Sullivan, Software Assurance by Bounded Exhaustive Testing, IEEE Transactions on Software Engineering, Volume 31, Issue 4, April 2005, Page(s):328-339. [pdf]

    

Software/Data

    We share software and data for other researchers to reuse and for students to learn how to write some of the tools.
    
     Code Clone Oracle: 66 pairs of Type 2, 3, 4 code clones from Apache, Python and PostgreSQL
    

Acknowledgment

     We thank NSF, Google, RIT for generously funding our research, and we also thank Gramma Tech, ABB for support and industrial advice.