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.

SymTest: A Framework for Symbolic Testing of Embedded Software

Sujit Chakrabarti, S. Ramesh. SymTest: A Framework for Symbolic Testing of Embedded Software. In Santonu Sarkar, Ashish Sureka, Domenico Cotroneo, Nishant Sinha, Vibha Singhal Sinha, Radhika Venkatasubramanyam, Padmaja Joshi, R. D. Naik, Pushpendra Singh, JayPrakash Lalchandani, editors, Proceedings of the 9th India Software Engineering Conference, Goa, India, February 18-20, 2016. pages 48-58, ACM, 2016. [doi]

Authors

Sujit Chakrabarti

This author has not been identified. Look up 'Sujit Chakrabarti' 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