%0 Conference Paper %1 conf/indiaSE/ChakrabartiR16 %A Chakrabarti, Sujit Kumar %A Ramesh, S. %B ISEC %D 2016 %E Sarkar, Santonu %E Sureka, Ashish %E Cotroneo, Domenico %E Sinha, Nishant %E Sinha, Vibha Singhal %E Venkatasubramanyam, Radhika %E Joshi, Padmaja %E Naik, R. D. %E Singh, Pushpendra %E Lalchandani, JayPrakash %I ACM %K dblp %P 48-58 %T SymTest: A Framework for Symbolic Testing of Embedded Software. %U http://dblp.uni-trier.de/db/conf/indiaSE/isec2016.html#ChakrabartiR16 %@ 978-1-4503-4018-2

@inproceedings{conf/indiaSE/ChakrabartiR16, added-at = {2023-03-14T00:00:00.000+0100}, author = {Chakrabarti, Sujit Kumar and Ramesh, S.}, biburl = {https://www.bibsonomy.org/bibtex/254a3270a86fb1a0a3517a753ef8e61a0/dblp}, booktitle = {ISEC}, crossref = {conf/indiaSE/2016}, editor = {Sarkar, Santonu and Sureka, Ashish and Cotroneo, Domenico and Sinha, Nishant and Sinha, Vibha Singhal and Venkatasubramanyam, Radhika and Joshi, Padmaja and Naik, R. D. and Singh, Pushpendra and Lalchandani, JayPrakash}, ee = {https://doi.org/10.1145/2856636.2856642}, interhash = {78134b7cf273625f320ba5db17106f0d}, intrahash = {54a3270a86fb1a0a3517a753ef8e61a0}, isbn = {978-1-4503-4018-2}, keywords = {dblp}, pages = {48-58}, publisher = {ACM}, timestamp = {2024-04-10T05:51:33.000+0200}, title = {SymTest: A Framework for Symbolic Testing of Embedded Software.}, url = {http://dblp.uni-trier.de/db/conf/indiaSE/isec2016.html#ChakrabartiR16}, year = 2016 }