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.

How verified (or tested) is my code? Falsification-driven verification and testing

Alex Groce, Iftekhar Ahmed 0001, Carlos Jensen, Paul E. McKenney, Josie Holmes. How verified (or tested) is my code? Falsification-driven verification and testing. Automated Software Engineering, 25(4):917-960, 2018. [doi]

Authors

Alex Groce

This author has not been identified. Look up 'Alex Groce' in Google

Iftekhar Ahmed 0001

This author has not been identified. Look up 'Iftekhar Ahmed 0001' in Google

Carlos Jensen

This author has not been identified. Look up 'Carlos Jensen' in Google

Paul E. McKenney

This author has not been identified. Look up 'Paul E. McKenney' in Google

Josie Holmes

This author has not been identified. Look up 'Josie Holmes' in Google
runs on