Folgen
Saikat Dutta
Titel
Zitiert von
Zitiert von
Jahr
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
612020
Testing probabilistic programming systems
S Dutta, O Legunsen, Z Huang, S Misailovic
Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018
612018
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
302019
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
272021
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
262017
Aqua: Automated quantized inference for probabilistic programs
Z Huang, S Dutta, S Misailovic
Automated Technology for Verification and Analysis: 19th International …, 2021
222021
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
132023
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
112021
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
92022
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
52022
Astra: understanding the practical impact of robustness for probabilistic programs
Z Huang, S Dutta, S Misailovic
Uncertainty in Artificial Intelligence, 900-910, 2023
42023
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
42022
Using Daikon to Prioritize and Group Unit Bugs
N Jain, S Dutta, A Banerjee, AK Ghosh, L Xu, H Zhu
Formal Aspects of Component Software: 10th International Symposium, FACS …, 2014
32014
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
22023
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
22022
Enhancing branch prediction using software evolution
S Dutta, M Das, A Banerjee
2015 IEEE International Conference on Networking, Architecture and Storage …, 2015
22015
LLM-Assisted Static Analysis for Detecting Security Vulnerabilities
Z Li, S Dutta, M Naik
arXiv preprint arXiv:2405.17238, 2024
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
2024
Randomness-aware testing of machine learning-based systems
S Dutta
University of Illinois at Urbana-Champaign, 2023
2023
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20