Guiding simulation with increasingly refined abstract traces. - Kuntal Nanshi; Fabio Somenzi (DAC, 2006)

Improved Visibility in One-to-Many Trace Concretization. - Kuntal Nanshi; Fabio Somenzi (DATE, 2008)

Constraints in one-to-many concretization for abstraction refinement. - Kuntal Nanshi; Fabio Somenzi (DAC, 2009)

Using Abstraction to Guide the Search for Long Error Traces. - Kuntal Nanshi; Fabio Somenzi (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013)