Caruca: Effective and Efficient Specification Mining for Opaque Software Components

Evangelos Lamprou, Seong-Heon Jung, Mayank Keoliya +4

A wealth of state-of-the-art systems demonstrate impressive improvements in performance, security, and reliability on programs composed of opaque components, such as Unix shell com…