Wei Le
Wei Le
Assistant Professor of Computer Science, Iowa State University
Verified email at iastate.edu - Homepage
Title
Cited by
Cited by
Year
Marple, A Demand-Driven Path-Sensitive Buffer Overflow Detector
W Le, ML Soffa
16th International Symposium on the Foundation of Softwa re Engineering, 272-282, 2008
742008
Software assurance by bounded exhaustive testing
D Coppit, J Yang, S Khurshid, W Le, K Sullivan
IEEE Transactions on Software Engineering 31 (4), 328-339, 2005
552005
Software Assurance by Bounded Exhaustive Testing
D Coppit, J Yang, S Khurshid, W Le, Kevin Sullivan
IEEE Transactions on So ftware Engineering 31 (4), 328-339, 2005
552005
Path-based fault correlations
W Le, ML Soffa
18th International Symposium on the Foundation of Software Engineering, 307-316, 2010
502010
Generating Performance Distributions via Probabilistic Symbolic Execution
WL Bihuan Chen, Yang Liu
ICSE '16 Proceedings of the 38th International Conference on Software …, 2016
35*2016
A Comparison of Energy Bugs for Smartphone Platforms
J Zhang, A Musa, W Le
1st International Workshop on the Engineering of Mobile-Enabled Systems, 25-30, 2013
332013
Proteus: Computing Disjunctive Loop Summary via Path Dependency Analysis
X Xie, B Chen, Y Liu, W Le, X Li
FSE, 2016
322016
S-looper: automatic summarization for multipath string loops
X Xie, Y Liu, W Le, X Li, H Chen
Proceedings of the 2015 International Symposium on Software Testing and …, 2015
312015
Patch Verification via Multiversion Interprocedural Control Flow Graphs
W Le, SD Pattison
36th International Conference on Software Engineering, 1047-1058, 2014
302014
Generating Analyses for Detecting Faults in Path Segments
W Le, ML Soffa
International Symposium on Software Testing and Ana lysis, 320-330, 2011
242011
A Code Clone Oracle
DE Krutz, W Le
11th Working Conference on Mining Software Repositories, 388-391, 2014
212014
Refining Buffer Overflow Detection via Demand-driven Path-sensitive Analysis
W Le, ML Soffa
7th Workshop on Program Analysis for Software Tools and Engineering, 63-68, 2007
202007
Segmented Symbolic Analysis
W Le
35th International Conference on Software Engineering, 212-221, 2013
182013
Comparing Privacy Control Methods for Smartphone Platforms
M Alhamed, K Amir, M Omari, W Le
1st International Workshop on the Engineering of Mobile-Enabled Systems, 36-41, 2013
122013
Automatic Loop Summarization via Path Dependency Analysis
X Xie, B Chen, L Zou, Y Liu, W Le, X Li
IEEE Transactions on Software Engineering, 2017
112017
Generating predicate callback summaries for the Android framework
DD Perez, W Le
Proceedings of the 4th International Conference on Mobile Software …, 2017
72017
Marple: Detecting Faults in Path Segments Using Automatically Generated Analyses
W Le, ML Soffa
Transactions of S oftware Engineering and Methodology 22 (3), 2013
72013
Specifying Callback Control Flow of Mobile Apps Using Finite Automata
WL Danilo Dominguez Perez
IEEE Transactions on Software Engineering, 2019
42019
MAGIC: Path-guided concolic testing
Z Cui, W Le, ML Soffa, L Wang, X Li
review, 2011
32011
Lazy Preemption to Enable Path-Based Analysis of Interrupt-Driven Code
W Le, J Yang, ML Soffa, K Whitehouse
2nd International Workshop on Software Engineering for Sensor Network …, 2011
32011
The system can't perform the operation now. Try again later.
Articles 1–20