3889 search results - page 560 / 778 » The Use of Program Dependence Graphs in Software Engineering |
211
click to vote
CCS
2010
ACM
15 years 6 months ago
2010
ACM
Models based on system calls are a popular and common approach to characterize the run-time behavior of programs. For example, system calls are used by intrusion detection systems...
141
click to vote
FOSSACS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Logics that can reason about sets and their cardinality bounds are useful in program analysis, program verification, databases, and knowledge bases. This paper presents ...
154
click to vote
MSR
2006
ACM
16 years 14 days ago
2006
ACM
Revision history provides a rich source of information to improve the understanding of changes made to programs, but it yields only limited insight into how these changes occurred...
162
click to vote
OOPSLA
2005
Springer
16 years 7 hour ago
2005
Springer
We describe CodeQuest, a system for querying source code. It combines two previous proposals, namely the use of logic programming and database system. Experiments (on projects ran...
158
click to vote
ITICSE
2004
ACM
15 years 12 months ago
2004
ACM
In this paper, we present an assignment for a course on Design patterns at the masters level, where students have to adapt an existing program to meet additional requirements. We ...