Hiroki Takamatsu, Haruhiko Sato, Satoshi Oyama, Masahito Kurihara. Method sequence generation for multiple object states using dynamic symbolic execution. In 2014 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2014, San Diego, CA, USA, October 5-8, 2014. pages 3632-3636, IEEE, 2014. [doi]
Abstract is missing.