| 2009 |
|---|
| 4 | EE | Dirk Beyer,
M. Erkan Keremoglu:
CPAchecker: A Tool for Configurable Software Verification
CoRR abs/0902.0019: (2009) |
| 3 | EE | Dirk Beyer,
Alessandro Cimatti,
Alberto Griggio,
M. Erkan Keremoglu,
Roberto Sebastiani:
Software Model Checking via Large-Block Encoding
CoRR abs/0904.4709: (2009) |
| 2006 |
|---|
| 2 | EE | M. Erkan Keremoglu,
Serdar Tasiran,
Tayfun Elmas:
A classification of concurrency bugs in java benchmarks by developer intent.
PADTAD 2006: 23-26 |
| 2005 |
|---|
| 1 | EE | Serdar Tasiran,
Tayfun Elmas,
Guven Bolukbasi,
M. Erkan Keremoglu:
A Novel Test Coverage Metric for Concurrently-Accessed Software Components.
FATES 2005: 62-71 |
