A Novel Test Coverage Metric for Concurrently-Accessed Software Components. - Serdar Tasiran; Tayfun Elmas; Guven Bolukbasi; M. Erkan Keremoglu (FATES, 2005)

A classification of concurrency bugs in java benchmarks by developer intent. - M. Erkan Keremoglu; Serdar Tasiran; Tayfun Elmas (PADTAD, 2006)

Software model checking via large-block encoding. - Dirk Beyer 001; Alessandro Cimatti; Alberto Griggio; M. Erkan Keremoglu; Roberto Sebastiani (FMCAD, 2009)

Predicate abstraction with adjustable-block encoding. - Dirk Beyer 001; M. Erkan Keremoglu; Philipp Wendler (FMCAD, 2010)

CPAchecker: A Tool for Configurable Software Verification. - Dirk Beyer 001; M. Erkan Keremoglu (CAV, 2011)

Conditional Model Checking - Dirk Beyer 001; Thomas A. Henzinger; M. Erkan Keremoglu; Philipp Wendler (CoRR, 2011)

Conditional model checking: a technique to pass information between verifiers. - Dirk Beyer 001; Thomas A. Henzinger; M. Erkan Keremoglu; Philipp Wendler (SIGSOFT FSE, 2012)

Location pairs: a test coverage metric for shared-memory concurrent programs. - Serdar Tasiran; M. Erkan Keremoglu; Kivanç Muslu (Empir. Softw. Eng., 2012)