Sciweavers

CACM
2010
113views more  CACM 2010»
13 years 11 months ago
Reasoning about the unknown in static analysis
Static program analysis techniques cannot know certain values, such as the value of user input or network state, at analysis time. While such unknown values need to be treated as ...
Isil Dillig, Thomas Dillig, Alex Aiken
ICCD
2005
IEEE
102views Hardware» more  ICCD 2005»
14 years 8 months ago
ChiYun Compact: A Novel Test Compaction Technique for Responses with Unknown Values
This paper proposes a response compactor, named ChiYun compactor, to compact scan-out responses in the presence of unknown values. By adding storage elements into an Xor network, ...
Mango Chia-Tso Chao, Seongmoon Wang, Srimat T. Cha...