612 search results - page 19 / 123 » Using Static Analysis to Improve Automatic Test Generation |
TOG
2008
13 years 8 months ago
2008
Tourist maps are essential resources for visitors to an unfamiliar city because they visually highlight landmarks and other points of interest. Yet, hand-designed maps are static ...
INFOCOM
2003
IEEE
14 years 1 months ago
2003
IEEE
— We analyze the susceptibility of the Internet to random faults, malicious attacks, and mixtures of faults and attacks. We analyze actual Internet data, as well as simulated dat...
ACL
2010
13 years 6 months ago
2010
We present a method for automatically generating focused and accurate topicspecific subjectivity lexicons from a general purpose polarity lexicon that allow users to pin-point sub...
ICSE
2010
IEEE-ACM
14 years 13 days ago
2010
IEEE-ACM
Concurrency is inherent in today’s software. Unexpected interactions between concurrently executing threads often cause subtle bugs in concurrent programs. Such bugs are hard to...
DATE
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper presents a built-in self-test (BiST) scheme for analog to digital converters (ADC) based on a linear ramp generator and efficient output analysis. The proposed analysi...