Method sequence generation for multiple object states using dynamic symbolic execution. - Hiroki Takamatsu; Haruhiko Sato; Satoshi Oyama; Masahito Kurihara (SMC, 2014)