I presented a testing (specifically, symbolic execution) approach for special language. I have a problem in evaluating my approach. I am going to evaluate correctness and usefulness of the approach. My own perception is compu…