University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 211–240 of 3,247 items
Thumbnail for Bita: Coverage-guided, Automatic Testing of Actor Programs
Bita: Coverage-guided, Automatic Testing of Actor Programs
Tasharofi, Samira; Pradel, Michael; Lin, Yu; Johnson, Ralph E.

Thumbnail for Introduction
Introduction
Ruan, Lian; Du, Xingye