88 citations · 340 across the 23 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2016
Requirements Evolution and Evolution Requirements with Constrained Goal Models
Chi Mai Nguyen, Roberto Sebastiani, Paolo Giorgini +1
We are interested in supporting software evolution caused by changing requirements and/or environmental settings. For example, users of a system may require new functionality (chan…
cs.SE2009★ 88 cited
Software Model Checking via Large-Block Encoding
Dirk Beyer, Alessandro Cimatti, Alberto Griggio +2
The construction and analysis of an abstract reachability tree (ART) are the basis for a successful method for software verification. The ART represents unwindings of the control-f…