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.

Testing Static Analyzers with Randomly Generated Programs

Pascal Cuoq, Benjamin Monate, Anne Pacalet, Virgile Prevosto, John Regehr, Boris Yakobowski, Xuejun Yang. Testing Static Analyzers with Randomly Generated Programs. In Alwyn Goodloe, Suzette Person, editors, NASA Formal Methods - 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings. Volume 7226 of Lecture Notes in Computer Science, pages 120-125, Springer, 2012. [doi]

Authors

Pascal Cuoq

This author has not been identified. Look up 'Pascal Cuoq' in Google

Benjamin Monate

This author has not been identified. Look up 'Benjamin Monate' in Google

Anne Pacalet

This author has not been identified. Look up 'Anne Pacalet' in Google

Virgile Prevosto

This author has not been identified. Look up 'Virgile Prevosto' in Google

John Regehr

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

Boris Yakobowski

This author has not been identified. Look up 'Boris Yakobowski' in Google

Xuejun Yang

This author has not been identified. Look up 'Xuejun Yang' in Google
runs on