Program Analysis Laboratory


      Publications    Software and Data      

         Prof Wei Le
     Graduate students: Danilo Dominguz Perez, Hebi Li, Ashwin Joshy, Xiaofei Xie
     Collaborators: Liu Yang


  
  

Publications

   

2015:

   

[ISSTA15] Xiaofei Xie, Yang Liu, Wei Le, Xiaohong Li and Hongxu Chen, S-Looper: Automatic Summarization for Multipath String Loops, International Symposium on Software Testing and Analysis, 2015.

   

2014:

   

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

   

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

   

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.

   

[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.

   

[ICSE13] Wei Le, Segmented Symbolic Analysis, 35th International Conference On Software Engineering, 2013.[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.

   

2005 - 2012:

   

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

   

[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.

   

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

   

[ISSTA11] Wei Le and Mary Lou Soffa, Generating Analyses for Detecting Faults in Path Segments, International Symposium on Software Testing and Analysis, 2011. [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. [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. [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. [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. [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.

    

Software and Data

    
     2014, Code Clone Oracle: 66 pairs of Type 2, 3, 4 code clones from Apache, Python and PostgreSQL
    

Acknowledgment

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