M. Erkan Keremoglu

According to our database, M. Erkan Keremoglu authored at least 8 papers between 2005 and 2012.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2012

Location pairs: a test coverage metric for shared-memory concurrent programs.

Serdar Tasiran, M. Erkan Keremoglu, Kivanç Muslu

Empir. Softw. Eng., 2012

Conditional model checking: a technique to pass information between verifiers.

Dirk Beyer, Thomas A. Henzinger, M. Erkan Keremoglu, Philipp Wendler

Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

2011

Conditional Model Checking

Dirk Beyer, Thomas A. Henzinger, M. Erkan Keremoglu, Philipp Wendler

CoRR, 2011

CPAchecker: A Tool for Configurable Software Verification.

Dirk Beyer, M. Erkan Keremoglu

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

Predicate abstraction with adjustable-block encoding.

Dirk Beyer, M. Erkan Keremoglu, Philipp Wendler

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

2009

Software model checking via large-block encoding.

Dirk Beyer, Alessandro Cimatti, Alberto Griggio, M. Erkan Keremoglu, Roberto Sebastiani

Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

2006

A classification of concurrency bugs in java benchmarks by developer intent.

M. Erkan Keremoglu, Serdar Tasiran, Tayfun Elmas

Proceedings of the 4th Workshop on Parallel and Distributed Systems: Testing, 2006

2005

A Novel Test Coverage Metric for Concurrently-Accessed Software Components.

Serdar Tasiran, Tayfun Elmas, Guven Bolukbasi, M. Erkan Keremoglu

Proceedings of the Formal Approaches to Software Testing, 5th International Workshop, 2005