7167 search results - page 388 / 1434 » Answer Set Programming |
125
click to vote
ICSE
2009
IEEE-ACM
16 years 4 months ago
2009
IEEE-ACM
Automatic repair of programs has been a longstanding goal in software engineering, yet debugging remains a largely manual process. We introduce a fully automated method for locati...
218
Voted
ECOOP
2009
Springer
16 years 4 months ago
2009
Springer
Contemporary refactoring tools for JAVA aiding in the restructuring of programs have problems with respecting access modifiers such as public and private: while some tools provide ...
136
Voted
ICSE
2008
IEEE-ACM
16 years 3 months ago
2008
IEEE-ACM
To reduce the manual effort of assessing potential affected program parts during software evolution, we develop a tool, called Celadon, which automates the change impact analysis ...
132
Voted
VMCAI
2009
Springer
15 years 10 months ago
2009
Springer
Abstract There is an intimate link between program structure and behaviour. Exploiting this link to phrase program correctness problems in terms of the structural properties of a p...
142
Voted
SEFM
2009
IEEE
15 years 10 months ago
2009
IEEE
—In this paper we present ¼heckmate, a generic static analyzer of Java multithreaded programs based on the interpretation theory. It supports all the most relevant features of J...