Applying Test Data Generation Using SMT Solver to COBOL

Author(s):  
Yusuke Sasaki ◽  
Yoshiharu Maeda ◽  
Kenichi Kobayashi ◽  
Akihiko Matsuo
2009 ◽  
Vol 29 (6) ◽  
pp. 1722-1724
Author(s):  
Xiao-cheng HUANG ◽  
Xi-wu WANG ◽  
Dong-sheng CHANG ◽  
Gang HE

Sign in / Sign up

Export Citation Format

Share Document