Almaawi, Alyas, Dini, Nima, Yelen, Cagdas, Gligoric, Milos, Misailovic, Sasa, and Khurshid, Sarfraz. Predictive constraint solving and analysis. Retrieved from https://par.nsf.gov/biblio/10206308. Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: New Ideas and Emerging Results . Web. doi:10.1145/3377816.3381740.

Almaawi, Alyas, Dini, Nima, Yelen, Cagdas, Gligoric, Milos, Misailovic, Sasa, & Khurshid, Sarfraz. Predictive constraint solving and analysis. Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: New Ideas and Emerging Results, (). Retrieved from https://par.nsf.gov/biblio/10206308. https://doi.org/10.1145/3377816.3381740

Almaawi, Alyas, Dini, Nima, Yelen, Cagdas, Gligoric, Milos, Misailovic, Sasa, and Khurshid, Sarfraz. "Predictive constraint solving and analysis". Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: New Ideas and Emerging Results (). Country unknown/Code not available. https://doi.org/10.1145/3377816.3381740. https://par.nsf.gov/biblio/10206308.

@article{osti_10206308,
place = {Country unknown/Code not available}, title = {Predictive constraint solving and analysis}, url = {https://par.nsf.gov/biblio/10206308}, DOI = {10.1145/3377816.3381740}, abstractNote = {}, journal = {Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: New Ideas and Emerging Results}, author = {Almaawi, Alyas and Dini, Nima and Yelen, Cagdas and Gligoric, Milos and Misailovic, Sasa and Khurshid, Sarfraz}, editor = {null} }