Efficient Bounded Exhaustive Input Generation from Program APIs | Publicación