# of records = 8
homepages/33/6671 conf/sigsoft/HannaBR09 conf/icse/HannaR09 conf/wisec/HannaRZ08 conf/sigsoft/Hanna07 conf/sigsoft/Hanna07a journals/sigsoft/HannaR06 conf/icws/BebawySEHY05
XML
