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.

Applying GA with Tabu list for Automatically Generating Test Cases Based on Formal Specification

Yuqin Zhou, Taku Sugihara, Yuji Sato. Applying GA with Tabu list for Automatically Generating Test Cases Based on Formal Specification. In Shaoying Liu, Zhenhua Duan, editors, Structured Object-Oriented Formal Language and Method - 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers. Volume 8979 of Lecture Notes in Computer Science, pages 17-31, Springer, 2014. [doi]

Authors

Yuqin Zhou

This author has not been identified. Look up 'Yuqin Zhou' in Google

Taku Sugihara

This author has not been identified. Look up 'Taku Sugihara' in Google

Yuji Sato

This author has not been identified. Look up 'Yuji Sato' in Google
runs on