Papers [Paper] WASC: Static Analysis Technologies Evaluation Criteria v1.0 (SATEC) MaxiSoler May 12, 2013