386 search results - page 35 / 78 » Debugging Logic Programs Using Specifications |
ISSTA
2012
ACM
12 years 9 days 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...
KBSE
2007
IEEE
14 years 4 months ago
2007
IEEE
Achieving high structural coverage such as branch coverage in objectoriented programs is an important and yet challenging goal due to two main challenges. First, some branches inv...
PERCOM
2009
ACM
14 years 10 months ago
2009
ACM
Abstract--Pervasive computing applications involve both software concerns, like any software system, and integration concerns, for the constituent networked devices of the pervasiv...
AOSD
2010
ACM
14 years 4 months ago
2010
ACM
Many software security policies can be encoded as aspects that identify and guard security-relevant program operations. Bugs in these aspectually-implemented security policies oft...
SIGSOFT
2008
ACM
14 years 10 months ago
2008
ACM
Many testing and analysis techniques have been developed for inhouse use. Although they are effective at discovering defects before a program is deployed, these techniques are oft...