Deriving Low Power Test Sequences Detecting Robust Testable PDFs. - Anjela Yu. Matrosova; Valentina Andreeva; V. Tychinskiy (EWDTS, 2019)

SAT Solvers Application of Deriving All Test Pairs Detecting Robust Testable PDFs. - Anjela Yu. Matrosova; Valentina Andreeva; V. Tychinskiy (EWDTS, 2021)