Verification through the principle of least astonishment. - Beth Isaksen; Valeria Bertacco (ICCAD, 2006)

Inferno: Streamlining Verification With Inferred Semantics. - Andrew DeOrio; Adam Bauserman; Valeria Bertacco; Beth Isaksen (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2009)