External Links

Cite Key

Statistics

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

PDF

Tags

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.

Efficient Boundary Values Generation in General Metric Spaces for Software Component Testing

Alfredo Ferro, Rosalba Giugno, Alfredo Pulvirenti. Efficient Boundary Values Generation in General Metric Spaces for Software Component Testing. In Nachum Dershowitz, editor, Verification: Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday. Volume 2772 of Lecture Notes in Computer Science, pages 318-331, Springer, 2003. [doi]

Authors

Alfredo Ferro

This author has not been identified. Look up 'Alfredo Ferro' in Google

Rosalba Giugno

This author has not been identified. Look up 'Rosalba Giugno' in Google

Alfredo Pulvirenti

This author has not been identified. It may be one of the following persons: Look up 'Alfredo Pulvirenti' in Google
runs on