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.

Concurrent Test Generation Using Concolic Multi-trace Analysis

Niloofar Razavi, Franjo Ivancic, Vineet Kahlon, Aarti Gupta. Concurrent Test Generation Using Concolic Multi-trace Analysis. In Ranjit Jhala, Atsushi Igarashi, editors, Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings. Volume 7705 of Lecture Notes in Computer Science, pages 239-255, Springer, 2012. [doi]

Authors

Niloofar Razavi

This author has not been identified. Look up 'Niloofar Razavi' in Google

Franjo Ivancic

This author has not been identified. It may be one of the following persons: Look up 'Franjo Ivancic' in Google

Vineet Kahlon

This author has not been identified. Look up 'Vineet Kahlon' in Google

Aarti Gupta

This author has not been identified. Look up 'Aarti Gupta' in Google
runs on