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.

A Divide & Conquer Approach to Testing Concurrent Java Programs with JPF and Maude

Canh Minh Do, Kazuhiro Ogata 0001. A Divide & Conquer Approach to Testing Concurrent Java Programs with JPF and Maude. In Huaikou Miao, Cong Tian, Shaoying Liu, Zhenhua Duan, editors, Structured Object-Oriented Formal Language and Method - 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers. Volume 12028 of Lecture Notes in Computer Science, pages 42-58, Springer, 2019. [doi]

Authors

Canh Minh Do

This author has not been identified. Look up 'Canh Minh Do' in Google

Kazuhiro Ogata 0001

This author has not been identified. Look up 'Kazuhiro Ogata 0001' in Google
runs on