Dutta, Saikat, Zhang, Wenxian, Huang, Zixin, and Misailovic, Sasa. Storm: program reduction for testing and debugging probabilistic programming systems. Retrieved from https://par.nsf.gov/biblio/10140041. 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering . Web. doi:10.1145/3338906.3338972.

Dutta, Saikat, Zhang, Wenxian, Huang, Zixin, & Misailovic, Sasa. Storm: program reduction for testing and debugging probabilistic programming systems. 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, (). Retrieved from https://par.nsf.gov/biblio/10140041. https://doi.org/10.1145/3338906.3338972

Dutta, Saikat, Zhang, Wenxian, Huang, Zixin, and Misailovic, Sasa. "Storm: program reduction for testing and debugging probabilistic programming systems". 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (). Country unknown/Code not available. https://doi.org/10.1145/3338906.3338972. https://par.nsf.gov/biblio/10140041.

@article{osti_10140041,
place = {Country unknown/Code not available}, title = {Storm: program reduction for testing and debugging probabilistic programming systems}, url = {https://par.nsf.gov/biblio/10140041}, DOI = {10.1145/3338906.3338972}, abstractNote = {}, journal = {27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering}, author = {Dutta, Saikat and Zhang, Wenxian and Huang, Zixin and Misailovic, Sasa}, }