61 search results - page 13 / 13 » Semantic Categories Underlying the Meaning of 'Place' |
ISSTA
2012
ACM
11 years 7 months ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...