homepages/20/3440 conf/ecmdafa/SelimWCD12 conf/icst/AmraniLSCDVTC12 conf/icst/RaposD12 conf/nfm/ZurowskaD12 conf/sac/ZurowskaD12 journals/eceasst/ChausseXDR11 conf/icst/SaifanDBP11 conf/kbse/ZurowskaD11 conf/models/MoffettBD11 conf/forte/2011 conf/models/2010w conf/dsrt/PosseD10 conf/forte/PosseD10 conf/c3s2e/DingelRD09 conf/issta/SaifanPD09 conf/models/Dingel09 journals/sosym/DingelDZ08 conf/cascon/CraneD08 conf/cisse/SaifanD08 conf/icse/LongDG08 conf/models/LiangDDP08 conf/models/CraneD08 conf/sigsoft/DragertDR08 conf/sle/LiangD08 conf/tools/DiskinED08 journals/entcs/McGeachieD07 journals/sosym/CraneD07 conf/fmoods/CaiBD07 journals/acta/Dingel06 journals/scp/ZhangBCD06 conf/models/ZitoDD06 conf/models/DiskinD06 conf/models/BroyCDHRS06 conf/scesm/LiangDD06 journals/entcs/CassidyCDD05 conf/paste/BradburyCD05 conf/scam/ZhangBCD05 conf/uml/CraneD05 conf/sigsoft/DingelL04 conf/woss/BradburyCDW04 journals/entcs/CraneD03 conf/icse/Dingel03 conf/sigsoft/BradburyD03 journals/fac/Dingel02 conf/dsrt/DingelGD02 conf/cascon/LiscanoDPQ01 conf/ifm/Dingel00 journals/fac/DingelGJN98 conf/amast/Dingel98 conf/coordination/Dingel97 conf/tapsoft/BaldamusD97 conf/concur/Dingel96 conf/cav/DingelF95