Automatic generation of built-in contract test drivers

Everton L. G. Alves, PatrĂ­cia D. L. Machado, Franklin Ramalho. Automatic generation of built-in contract test drivers. Software and Systems Modeling, 13(3):1141-1165, 2014. [doi]

Abstract

Abstract is missing.