Æȷοì
Saikat Dutta
Á¦¸ñ
Àοë
Àοë
¿¬µµ
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
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–20