Travelled to:
1 × Italy
Collaborated with:
Y.Wei Y.Pei C.A.Furia L.S.Silva B.Meyer A.Zeller
Talks about:
contract (1) program (1) autom (1) fix (1)
Person: Stefan Buchholz
DBLP: Buchholz:Stefan
Contributed to:
Wrote 1 papers:
- ISSTA-2010-WeiPFSBMZ #automation #contract #source code
- Automated fixing of programs with contracts (YW, YP, CAF, LSS, SB, BM, AZ), pp. 61–72.