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.

Automated Test Case Generation from OTS/CafeOBJ Specifications by Specification Translation

Ryusei Mori, Masaki Nakamura. Automated Test Case Generation from OTS/CafeOBJ Specifications by Specification Translation. In 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2017, Tokyo, Japan, March 13-17, 2017. pages 403-404, IEEE Computer Society, 2017. [doi]

Authors

Ryusei Mori

This author has not been identified. Look up 'Ryusei Mori' in Google

Masaki Nakamura

This author has not been identified. Look up 'Masaki Nakamura' in Google
runs on