Efficient Incrementalized Runtime Checking of Linear Measures on Lists
| Title | Efficient Incrementalized Runtime Checking of Linear Measures on Lists |
| Publication Type | Conference Paper |
| Year of Publication | 2017 |
| Authors | Alex Gyori, Pranav Garg, Edgar Pek, P. Madhusudan |
| Conference Name | IEEE International Conference on Software Testing, Verification and Validation (ICST) |
| Conference Location | Tokyo, Japan |
| Keywords | 1646392 |
| Citation Key | GyoriETAL17IncrementalizedRuntimeChecking |