Corina S. Păsăreanu

• Symbolic Execution and Quantitative Reasoning