University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 421–450 of 1,557 items
Thumbnail for Cascade: A universal programmer-assisted type qualifier inference tool
Cascade: A universal programmer-assisted type qualifier inference tool
Vakilian, Mohsen; Phaosawasdi, Amarin; Ernst, Michael D.; Johnson, Ralph E.

Thumbnail for Towards Coverage Closure: Using GoldMine Assertions for Generating Design Validation Stimulus
Towards Coverage Closure: Using GoldMine Assertions for Generating Design Validation Stimulus
Liu, Lingyi; Sheridan, David; Tuohy, William; Vasudevan, Shobha