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 | 693 | 2018 |
Practical blended taint analysis for JavaScript S Wei, BG Ryder Proceedings of the 2013 International Symposium on Software Testing and …, 2013 | 118 | 2013 |
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 | 112 | 2017 |
Adaptive context-sensitive analysis for JavaScript S Wei, BG Ryder 29th European Conference on Object-Oriented Programming (ECOOP 2015), 2015 | 46 | 2015 |
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 | 36 | 2014 |
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 | 35 | 2019 |
{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 | 25 | 2022 |
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 | 25 | 2019 |
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 | 22 | 2018 |
Empirical study of the dynamic behavior of JavaScript objects S Wei, F Xhakaj, BG Ryder Software: Practice and Experience 46 (7), 867-889, 2016 | 22 | 2016 |
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 | 20 | 2016 |
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 | 16 | 2022 |
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 | 13 | 2021 |
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 | 12 | 2022 |
A practical blended analysis for dynamic features in javascript S Wei, BG Ryder | 12 | 2012 |
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 | 11 | 2018 |
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 | 10 | 2023 |
Decomposition instead of self-composition for k-safety T Antopoulos, P Gazzillo, M Hicks, E Koskinen, T Terauchi, S Wei | 10 | 2017 |
SugarC: scalable desugaring of real-world preprocessor usage into pure C Z Patterson, Z Zhang, B Pappas, S Wei, P Gazzillo Proceedings of the 44th International Conference on Software Engineering …, 2022 | 7 | 2022 |
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 | 7 | 2021 |