@inproceedings{CC-2019-LiC0,
	author        = "Hongbo Li and Zizhong Chen and Rajiv Gupta 0001",
	booktitle     = "{Proceedings of the 28th International Conference on Compiler Construction}",
	doi           = "10.1145/3302516.3307353",
	isbn          = "978-1-4503-6277-1",
	pages         = "193--204",
	publisher     = "{ACM}",
	title         = "{Efficient concolic testing of MPI applications}",
	year          = 2019,
}