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]
@inproceedings{ChakrabartiR16,
title = {SymTest: A Framework for Symbolic Testing of Embedded Software},
author = {Sujit Chakrabarti and S. Ramesh},
year = {2016},
doi = {10.1145/2856636.2856642},
url = {http://doi.acm.org/10.1145/2856636.2856642},
researchr = {https://researchr.org/publication/ChakrabartiR16},
cites = {0},
citedby = {0},
pages = {48-58},
booktitle = {Proceedings of the 9th India Software Engineering Conference, Goa, India, February 18-20, 2016},
editor = {Santonu Sarkar and Ashish Sureka and Domenico Cotroneo and Nishant Sinha and Vibha Singhal Sinha and Radhika Venkatasubramanyam and Padmaja Joshi and R. D. Naik and Pushpendra Singh and JayPrakash Lalchandani},
publisher = {ACM},
isbn = {978-1-4503-4018-2},
}