Karl R. P. H. Leung Using Hypergraph as Modeling Language for Generating Test Cases On Demand. 519-526 2004 conf/apsec/2004 APSEC http://doi.ieeecomputersociety.org/10.1109/APSEC.2004.107 db/conf/apsec/apsec2004.html#Leung04