Errata for ISoLA 2016 Article "Symbolic Execution with CEGAR"
- page 202: equation after first paragraph of Section 3:
Replace "v(x) = s(v(x)) = c(x)}"
by "s(v(x)) = c(x)}"
- page 202: paragraph "1. For an assignment operation":
Replace the last sentence starting with: "If exp_/v contains a symbolic value of S ..."
by "Otherwise, if exp_/v contains a symbolic value of S,
then the expression exp_/v is not evaluated and is added as a new symbolic value to S."