Using binary decision diagrams for combinatorial test designItai SegallRachel Tzoref-Brillet al.2011ISSTA 2011
Path- and index-sensitive string analysis based on monadic second-order logicTakaaki TateishiMarco Pistoiaet al.2011ISSTA 2011
Saving the world wide web from vulnerable JavaScriptSalvatore GuarnieriMarco Pistoiaet al.2011ISSTA 2011