University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–30 of 42 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 Computational Mathematics Abstracts / CAC No. 90
Computational Mathematics Abstracts / CAC No. 90
Belford, Geneva G.; Lermit, Jonathan; Purdy, George; Sameh, Ahmed