Follow
Shiyi Wei
Shiyi Wei
Associate Professor of Computer Science, University of Texas at Dallas
Verified email at utdallas.edu - Homepage
Title
Cited by
Cited by
Year
Evaluating fuzz testing
G Klees, A Ruef, B Cooper, S Wei, M Hicks
Proceedings of the 2018 ACM SIGSAC conference on computer and communications …, 2018
6282018
Practical blended taint analysis for JavaScript
S Wei, BG Ryder
Proceedings of the 2013 International Symposium on Software Testing and …, 2013
1152013
Decomposition instead of self-composition for proving the absence of timing channels
T Antonopoulos, P Gazzillo, M Hicks, E Koskinen, T Terauchi, S Wei
ACM SIGPLAN Notices 52 (6), 362-375, 2017
1052017
Adaptive context-sensitive analysis for JavaScript
S Wei, BG Ryder
29th European Conference on Object-Oriented Programming (ECOOP 2015), 2015
432015
An empirical assessment of machine learning approaches for triaging reports of a java static analysis tool
U Koc, S Wei, JS Foster, M Carpuat, AA Porter
2019 12th ieee conference on software testing, validation and verification …, 2019
342019
State-sensitive points-to analysis for the dynamic behavior of JavaScript objects
S Wei, BG Ryder
ECOOP 2014–Object-Oriented Programming: 28th European Conference, Uppsala …, 2014
342014
Evaluating design tradeoffs in numeric static analysis for java
S Wei, P Mardziel, A Ruef, JS Foster, M Hicks
Programming Languages and Systems: 27th European Symposium on Programming …, 2018
232018
Revamping JavaScript static analysis via localization and remediation of root causes of imprecision
S Wei, O Tripp, BG Ryder, J Dolby
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
212016
An empirical study of real-world variability bugs detected by variability-oblivious tools
A Mordahl, J Oh, U Koc, S Wei, P Gazzillo
Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019
192019
Empirical study of the dynamic behavior of JavaScript objects
S Wei, F Xhakaj, BG Ryder
Software: Practice and Experience 46 (7), 867-889, 2016
192016
{FIXREVERTER}: A Realistic Bug Injection Methodology for Benchmarking Fuzz Testing
Z Zhang, Z Patterson, M Hicks, S Wei
31st USENIX Security Symposium (USENIX Security 22), 3699-3715, 2022
182022
Localizing configurations in highly-configurable systems
P Gazzillo, U Koc, TV Nguyen, S Wei
Proceedings of the 22nd International Systems and Software Product Line …, 2018
122018
A practical blended analysis for dynamic features in javascript
S Wei, BG Ryder
Computer Science Technical Reports, 2012
122012
The impact of tool configuration spaces on the evaluation of configurable taint analysis for android
A Mordahl, S Wei
Proceedings of the 30th ACM SIGSOFT International Symposium on Software …, 2021
112021
Static data-flow analysis for software product lines in C: Revoking the preprocessor’s special role
PD Schubert, P Gazzillo, Z Patterson, J Braha, F Schiebel, B Hermann, ...
Automated Software Engineering 29 (1), 35, 2022
102022
Decomposition instead of self-composition for k-safety
T Antopoulos, P Gazzillo, M Hicks, E Koskinen, T Terauchi, S Wei
102017
An empirical study of data constraint implementations in java
JM Florez, L Moreno, Z Zhang, S Wei, A Marcus
Empirical Software Engineering 27 (5), 119, 2022
92022
Fuzzing configurations of program options
Z Zhang, G Klees, E Wang, M Hicks, S Wei
ACM Transactions on Software Engineering and Methodology 32 (2), 1-21, 2023
72023
SATune: a study-driven auto-tuning approach for configurable software verification tools
U Koc, A Mordahl, S Wei, JS Foster, AA Porter
2021 36th IEEE/ACM International Conference on Automated Software …, 2021
72021
An empirical assessment of machine learning approaches for triaging reports of static analysis tools
S Yerramreddy, A Mordahl, U Koc, S Wei, JS Foster, M Carpuat, AA Porter
Empirical Software Engineering 28 (2), 28, 2023
52023
The system can't perform the operation now. Try again later.
Articles 1–20