161 search results - page 2 / 33 » Automated atomicity-violation fixing |
CSL
2008
Springer
15 years 1 months ago
2008
Springer
LICS
2003
IEEE
15 years 4 months ago
2003
IEEE
ICSE
2008
IEEE-ACM
15 years 11 months ago
2008
IEEE-ACM
Software Testing can take up to half of the resources of the development of new software. Although there has been a lot of work on automating the testing phase, fixing a bug after...
103
Voted
ISSTA
2010
ACM
15 years 3 months ago
2010
ACM
In program debugging, finding a failing run is only the first step; what about correcting the fault? Can we automate the second task as well as the first? The AutoFix-E tool au...
ICCAD
2000
IEEE
15 years 4 months ago
2000
IEEE
For data dominated applications, the system level design trajectory should first focus on finding a good data transfer and storage solution. Since no realization details are avail...