CTGEN - a Unit Test Generator for C - Tatiana Mangels; Jan Peleska 001 (SSV, 2012)

Integrated module testing and module verification. - Tatiana Mangels (2013)

Efficient Analysis at Edge. - Tatiana Mangels; Alin Murarasu; Forest Oden; Alexey Fishkin; Daniel Becker 001 (ICPE Companion, 2017)