Fast, Automatic, and Nearly Complete Structural Unit-Test Generation Combining Genetic Algorithms and Formal Methods - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Eric Lavillonnière, David Mentré, Denis Cousineau. Fast, Automatic, and Nearly Complete Structural Unit-Test Generation Combining Genetic Algorithms and Formal Methods. In Dirk Beyer 0001, Chantal Keller, editors, Tests and Proofs - 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings. Volume 11823 of Lecture Notes in Computer Science, pages 55-63, Springer, 2019. [doi]

This author has not been identified. Look up 'Eric Lavillonnière' in GoogleThis author has not been identified. Look up 'David Mentré' in GoogleThis author has not been identified. Look up 'Denis Cousineau' in Google

runs on WebDSL