Expressing and checking intended changes via software change contracts - Yi, J. (2014)
10.1145/2483760.2483772