"Puzzle-based automatic testing: bringing humans into the loop by solving ..."

Ning Chen, Sunghun Kim (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics