Abstractions from tests. - Mayur Naik; Hongseok Yang; Ghila Castelnuovo; Mooly Sagiv (POPL, 2012)

Modularity in Lattices: A Case Study on the Correspondence Between Top-Down and Bottom-Up Analysis. - Ghila Castelnuovo; Mayur Naik; Noam Rinetzky; Mooly Sagiv; Hongseok Yang (SAS, 2015)