Sensitive state-space exploration. - Thao Dang 001; Alexandre Donzé; Oded Maler; Noa Shalev (CDC, 2008)

State Estimation and Property-Guided Exploration for Hybrid Systems Testing. - Thao Dang 001; Noa Shalev (ICTSS, 2012)

Test Coverage Estimation Using Threshold Accepting. - Thao Dang 001; Noa Shalev (ATVA, 2014)