External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Using a Guided Fuzzer and Preconditions to Achieve Branch Coverage with Valid Inputs

Amirfarhad Nilizadeh, Gary T. Leavens, Corina S. Pasareanu. Using a Guided Fuzzer and Preconditions to Achieve Branch Coverage with Valid Inputs. In Frédéric Loulergue, Franz Wotawa, editors, Tests and Proofs - 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21-22, 2021, Proceedings. Volume 12740 of Lecture Notes in Computer Science, pages 72-84, Springer, 2021. [doi]

Authors

Amirfarhad Nilizadeh

This author has not been identified. Look up 'Amirfarhad Nilizadeh' in Google

Gary T. Leavens

This author has not been identified. It may be one of the following persons: Look up 'Gary T. Leavens' in Google

Corina S. Pasareanu

This author has not been identified. Look up 'Corina S. Pasareanu' in Google
runs on