SyRust: automatic testing of Rust libraries with semantic-aware program synthesis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yoshiki Takashima, Ruben Martins, Limin Jia 0001, Corina S. Pasareanu. SyRust: automatic testing of Rust libraries with semantic-aware program synthesis. In Stephen N. Freund, Eran Yahav, editors, PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20-25, 20211. pages 899-913, ACM, 2021. [doi]

This author has not been identified. Look up 'Yoshiki Takashima' in GoogleThis author has not been identified. Look up 'Ruben Martins' in GoogleThis author has not been identified. Look up 'Limin Jia 0001' in GoogleThis author has not been identified. Look up 'Corina S. Pasareanu' in Google

runs on WebDSL