Integrating Behavior Driven Development and Programming by Contract. - Larry Schoeneman; Jiang B. Liu (ICCSA (5), 2013)