Symbolic Quantitative Analysis For Software Testing And Security