Follow
Saikat Dutta
Title
Cited by
Cited by
Year
Testing probabilistic programming systems
S Dutta, O Legunsen, Z Huang, S Misailovic
Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018
462018
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
352020
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
232017
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
222019
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
102021
Aqua: Automated quantized inference for probabilistic programs
Z Huang, S Dutta, S Misailovic
International Symposium on Automated Technology for Verification and …, 2021
72021
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
52021
Enhancing branch prediction using software evolution
S Dutta, M Das, A Banerjee
2015 IEEE International Conference on Networking, Architecture and Storage …, 2015
22015
Using Daikon to Prioritize and Group Unit Bugs
N Jain, S Dutta, A Banerjee, AK Ghosh, L Xu, H Zhu
International Workshop on Formal Aspects of Component Software, 215-233, 2013
22013
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
12022
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
12022
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
2022
Automated quantized inference for probabilistic programs with AQUA
Z Huang, S Dutta, S Misailovic
Innovations in Systems and Software Engineering, 1-16, 2022
2022
A framework for fast service verification and query execution for Boolean service rules
S Chattopadhyay, S Dutta, A Banerjee
Asia-Pacific Services Computing Conference, 17-32, 2015
2015
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
2022 IEEE Conference on Software Testing, Verification and Validation (ICST)| 978-1-6654-6679-0/22/$31.00© 2022 IEEE| DOI: 10.1109/ICST53961. 2022.00064
A Abu Nassar, AS Alotaibi, I Althomali, P Arcaini, A Arcuri, I Ariq, ...
The system can't perform the operation now. Try again later.
Articles 1–16