| LLM-Assisted Static Analysis for Detecting Security Vulnerabilities Z Li, S Dutta, M Naik arXiv preprint arXiv:2405.17238, 2024 | 1 | 2024 |
| Debugging convergence problems in probabilistic programs via program representation learning with SixthSense Z Huang, S Dutta, S Misailovic International Journal on Software Tools for Technology Transfer, 1-20, 2024 | 1 | 2024 |
| Understanding the effectiveness of large language models in detecting security vulnerabilities A Khare, S Dutta, Z Li, A Solko-Breslin, R Alur, M Naik arXiv preprint arXiv:2311.16169, 2023 | 21 | 2023 |
| Randomness-aware testing of machine learning-based systems S Dutta University of Illinois at Urbana-Champaign, 2023 | | 2023 |
| Astra: understanding the practical impact of robustness for probabilistic programs Z Huang, S Dutta, S Misailovic Uncertainty in Artificial Intelligence, 900-910, 2023 | 5 | 2023 |
| Balancing effectiveness and flakiness of non-deterministic machine learning tests CS Xia, S Dutta, S Misailovic, D Marinov, L Zhang 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023 | 3 | 2023 |
| Automated quantized inference for probabilistic programs with AQUA Z Huang, S Dutta, S Misailovic Innovations in Systems and Software Engineering 18 (3), 369-384, 2022 | 3 | 2022 |
| InspectJS: leveraging code similarity and user-feedback for effective taint specification inference for JavaScript S Dutta, D Garbervetsky, SK Lahiri, M Schäfer Proceedings of the 44th International Conference on Software Engineering …, 2022 | 5 | 2022 |
| To seed or not to seed? an empirical analysis of usage of seeds for testing in machine learning projects S Dutta, A Arunachalam, S Misailovic 2022 IEEE Conference on Software Testing, Verification and Validation (ICST …, 2022 | 12 | 2022 |
| Sixthsense: Debugging convergence problems in probabilistic programs via program representation learning S Dutta, Z Huang, S Misailovic International Conference on Fundamental Approaches to Software Engineering …, 2022 | 6 | 2022 |
| Flex: fixing flaky tests in machine learning projects by updating assertion bounds S Dutta, A Shi, S Misailovic Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021 | 32 | 2021 |
| Tera: Optimizing stochastic regression tests in machine learning projects S Dutta, J Selvam, A Jain, S Misailovic Proceedings of the 30th ACM SIGSOFT International Symposium on Software …, 2021 | 12 | 2021 |
| Aqua: Automated quantized inference for probabilistic programs Z Huang, S Dutta, S Misailovic Automated Technology for Verification and Analysis: 19th International …, 2021 | 24 | 2021 |
| Detecting flaky tests in probabilistic and machine learning applications S Dutta, A Shi, R Choudhary, Z Zhang, A Jain, S Misailovic Proceedings of the 29th ACM SIGSOFT international symposium on software …, 2020 | 69 | 2020 |
| Storm: program reduction for testing and debugging probabilistic programming systems S Dutta, W Zhang, Z Huang, S Misailovic Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019 | 31 | 2019 |
| Testing probabilistic programming systems S Dutta, O Legunsen, Z Huang, S Misailovic Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018 | 65 | 2018 |
| AutoSense: A framework for automated sensitivity analysis of program data B Nongpoh, R Ray, S Dutta, A Banerjee IEEE Transactions on Software Engineering 43 (12), 1110-1124, 2017 | 26 | 2017 |
| A new approach for minimal environment construction for modular property verification S Dutta, S Chattopadhyay, A Banerjee, P Dasgupta 2015 IEEE 24th Asian Test Symposium (ATS), 205-210, 2015 | | 2015 |
| Enhancing branch prediction using software evolution S Dutta, M Das, A Banerjee 2015 IEEE International Conference on Networking, Architecture and Storage …, 2015 | 2 | 2015 |
| A framework for fast service verification and query execution for Boolean service rules S Chattopadhyay, S Dutta, A Banerjee Advances in Services Computing: 9th Asia-Pacific Services Computing …, 2015 | | 2015 |
Sasa MisailovicUniversity of Illinois at Urbana–Champaign在 illinois.edu 的电子邮件经过验证
