Seguir
Shiyi Wei
Shiyi Wei
Associate Professor of Computer Science, University of Texas at Dallas
Dirección de correo verificada de utdallas.edu - Página principal
Título
Citado por
Citado por
Año
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
6722018
Practical blended taint analysis for JavaScript
S Wei, BG Ryder
Proceedings of the 2013 International Symposium on Software Testing and …, 2013
1172013
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
1102017
Adaptive context-sensitive analysis for JavaScript
S Wei, BG Ryder
29th European Conference on Object-Oriented Programming (ECOOP 2015), 2015
462015
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
362014
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
352019
{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
242022
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
222018
Empirical study of the dynamic behavior of JavaScript objects
S Wei, F Xhakaj, BG Ryder
Software: Practice and Experience 46 (7), 867-889, 2016
222016
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
202019
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
202016
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
152022
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
122022
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
122021
A practical blended analysis for dynamic features in javascript
S Wei, BG Ryder
122012
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
112018
Decomposition instead of self-composition for k-safety
T Antopoulos, P Gazzillo, M Hicks, E Koskinen, T Terauchi, S Wei
102017
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
92023
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
62023
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20