432 search results - page 60 / 87 » Automated testing of refactoring engines |
111
click to vote
ASE
2005
14 years 11 months ago
2005
Deductive program synthesis systems based on automated theorem proving offer the promise of software that is correct by construction. However, the difficulty encountered in constru...
EUROSYS
2008
ACM
15 years 8 months ago
2008
ACM
The internal libraries of Linux are evolving rapidly, to address new requirements and improve performance. These evolutions, however, entail a massive problem of collateral evolut...
ACSAC
2001
IEEE
15 years 2 months ago
2001
IEEE
Vulnerabilities in distributed applications are being uncovered and exploited faster than software engineers can patch the security holes. All too often these weaknesses result fr...
101
click to vote
ICSE
2008
IEEE-ACM
15 years 11 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 ...
ICDM
2009
IEEE
15 years 5 months ago
2009
IEEE
—Identifying modules, or natural communities, in large complex networks is fundamental in many fields, including social sciences, biological sciences and engineering. Recently s...