Suivre
Saikat Dutta
Titre
Citée par
Citée par
Année
Testing probabilistic programming systems
S Dutta, O Legunsen, Z Huang, S Misailovic
Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018
592018
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
582020
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
292019
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
262021
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
252017
Aqua: Automated quantized inference for probabilistic programs
Z Huang, S Dutta, S Misailovic
Automated Technology for Verification and Analysis: 19th International …, 2021
202021
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
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
42023
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
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
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
12023
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
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20