Linsey Kitt

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 1

Top Topics

Delay Insensitive

Execution Traces

Computer Programs

Top Venues

Publications

Linsey Kitt, Myra B. Cohen
Partial Specifications for Program Repair. GI@ICSE (2021)