Improving Coverage of Test Cases Generated by Symbolic PathFinder for Programs with Loops - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Rody Kersten, Suzette Person, Neha Rungta, Oksana Tkachuk. Improving Coverage of Test Cases Generated by Symbolic PathFinder for Programs with Loops. ACM SIGSOFT Software Engineering Notes, 40(1):1-5, 2015. [doi]

This author has not been identified. Look up 'Rody Kersten' in GoogleThis author has not been identified. Look up 'Suzette Person' in GoogleThis author has not been identified. Look up 'Neha Rungta' in GoogleThis author has not been identified. Look up 'Oksana Tkachuk' in Google

runs on WebDSL