40 search results - page 4 / 8 » Changing Programs Correctly: Refactoring with Specifications |
170
Voted
ICSE
2010
IEEE-ACM
15 years 11 months ago
2010
IEEE-ACM
The efficacy of mutation analysis depends heavily on its capability to mutate programs in such a way that they remain executable and exhibit deviating behaviour. Whereas the forme...
180
Voted
ICSE
2005
IEEE-ACM
16 years 6 months ago
2005
IEEE-ACM
Existing spreadsheet systems allow users to change cells arbitrarily, which is a major source of spreadsheet errors. We propose a system that prevents errors in spreadsheets by re...
185
click to vote
TIT
2010
15 years 1 months ago
2010
We investigate error-correcting codes for a the rank-modulation scheme with an application to flash memory devices. In this scheme, a set of n cells stores information in the permu...
162
Voted
ICSM
1996
IEEE
15 years 10 months ago
1996
IEEE
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
170
Voted
SIGPLAN
2002
15 years 6 months ago
2002
We describe the design of a rule-based language for expressing changes to Haskell programs in a systematic and reliable way. The update language essentially offers update commands...