Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix.

Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue

Browse the full ICLP paper archive.