4716 search results - page 821 / 944 » Iterative-free program analysis |
120
click to vote
C3S2E
2008
ACM
15 years 6 months ago
2008
ACM
Creating and editing source code are tedious and error-prone processes. One important source of errors in editing programs is the failure to correctly adapt a block of copied code...
157
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
The specifications of an application's security configuration are crucial for understanding its security policies, which can be very helpful in security-related contexts such...
159
click to vote
ISSTA
2010
ACM
15 years 6 months ago
2010
ACM
This paper investigates the application of causal inference methodology for observational studies to software fault localization based on test outcomes and profiles. This methodo...
154
click to vote
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
A constrained agent is limited in the actions that it can take at any given time, and a challenging problem is to design policies for such agents to do the best they can despite t...
131
Voted
CMSB
2008
Springer
15 years 6 months ago
2008
Springer
We present a discrete formal model of the central pattern generator (CPG) located in the buccal ganglia of Aplysia that is responsible for mediating the rhythmic movements of its f...