smid: A Black-Box Program Driver. - Kareem Khazem; Michael Tautschnig (SPIN, 2016)

Making data-driven porting decisions with Tuscan. - Kareem Khazem; Earl T. Barr; Petr Hosek 001 (ISSTA, 2018)

CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker - (Competition Contribution). - Kareem Khazem; Michael Tautschnig (TACAS (3), 2019)

Code-level model checking in the software development workflow. - Nathan Chong; Byron Cook; Konstantinos Kallas; Kareem Khazem; Felipe R. Monteiro; Daniel Schwartz-Narbonne; Serdar Tasiran; Michael Tautschnig; Mark R. Tuttle (ICSE (SEIP), 2020)

Model checking boot code from AWS data centers. - Byron Cook; Kareem Khazem; Daniel Kroening; Serdar Tasiran; Michael Tautschnig; Mark R. Tuttle (Formal Methods Syst. Des., 2021)

Code-level model checking in the software development workflow at Amazon Web Services. - Nathan Chong; Byron Cook; Jonathan Eidelman; Konstantinos Kallas; Kareem Khazem; Felipe R. Monteiro; Daniel Schwartz-Narbonne; Serdar Tasiran; Michael Tautschnig; Mark R. Tuttle (Softw. Pract. Exp., 2021)