2
Publications
41
Citations
2
H-Index
2019
Active since
Affiliations
Saikat Dutta is an author at University of Illinois Urbana-Champaign specializing in formal methods, computer engineering, and system software.
Top concepts
EngineeringVerificationFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingModel UncertaintySoftware AnalysisAutomated Reasoning
Publications per year
2019–2024
2
2
Storm: program reduction for testing and debugging probabilistic programming systems
Saikat Dutta, Wenxian Zhang, Zixin Huang et al. · 2019 · 27 citations · Full text
Rows per page
1–2 of 2