Method sequence generation for multiple object states using dynamic symbolic execution.

Hiroki Takamatsu, Haruhiko Sato, Satoshi Oyama, Masahito Kurihara

Browse the full SMC paper archive.