69 search results - page 1 / 14 » Automated fixing of programs with contracts |
ISSTA
2010
ACM
13 years 8 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...
FLOPS
2006
Springer
13 years 8 months ago
2006
Springer
ICCS
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Complex tensor contraction expressions arise in accurate electronic structure models in quantum chemistry, such as the Coupled Cluster method. Transformations using algeb...
FLOPS
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. Assertion-based contracts provide a powerful mechanism for stating invariants at module boundaries and for enforcing them uniformly. In 2002, Findler and Felleisen showed...
ICSE
2012
IEEE-ACM
11 years 7 months ago
2012
IEEE-ACM
Abstract—Atomicity, a general correctness criterion in concurrency programs, is often violated in real-world applications. The violations are difficult for developers to fix, m...