test case generation symbolic execution end user programs quantitative memory analysis resource consumption
See more