69 citations · 132 across the 8 of their papers we have counts for
1 paper · 1 filter
Roberto Baldoni, Emilio Coppa, Daniele Cono D'Elia +2
Many security and software testing applications require checking whether certain properties of a program hold for any possible usage scenario. For instance, a tool for identifying…