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.

Test case generation from formal models through abstraction refinement and model checking

Manoranjan Satpathy, S. Ramesh. Test case generation from formal models through abstraction refinement and model checking. In Proceedings of the 3rd Workshop on Advances in Model Based Testing, A-MOST 2007, co-located with the ISSTA 2007 International Symposium on Software Testing and Analysis, London, United Kingdom, July 9-12. pages 85-94, ACM, 2007. [doi]

Authors

Manoranjan Satpathy

This author has not been identified. Look up 'Manoranjan Satpathy' in Google

S. Ramesh

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