Applying Test Data Generation Using SMT Solver to COBOL.

Yusuke Sasaki, Yoshiharu Maeda, Kenichi Kobayashi, Akihiko Matsuo

Browse the full ISSRE paper archive.