161 search results - page 2 / 33 » Automated atomicity-violation fixing |
CSL
2008
Springer
13 years 9 months ago
2008
Springer
LICS
2003
IEEE
14 years 22 days ago
2003
IEEE
ICSE
2008
IEEE-ACM
14 years 7 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...
ISSTA
2010
ACM
13 years 11 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
13 years 12 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...