Quantitative Analysis of Exploration Schedules for Symbolic Execution

Due to complexity in software, manual testing is not enough to cover all relevant behaviours of it. A different approach to this problem is Symbolic Execution.Symbolic Execution is a software testi ...