Partial order reduction for scalable testing of systemC TLM designs

Sudipta Kundu, Malay K. Ganai, Rajesh Gupta. Partial order reduction for scalable testing of systemC TLM designs. In Limor Fix, editor, Proceedings of the 45th Design Automation Conference, DAC 2008, Anaheim, CA, USA, June 8-13, 2008. pages 936-941, ACM, 2008. [doi]

@inproceedings{KunduGG08,
  title = {Partial order reduction for scalable testing of systemC TLM designs},
  author = {Sudipta Kundu and Malay K. Ganai and Rajesh Gupta},
  year = {2008},
  doi = {10.1145/1391469.1391706},
  url = {http://doi.acm.org/10.1145/1391469.1391706},
  tags = {testing},
  researchr = {https://researchr.org/publication/KunduGG08},
  cites = {0},
  citedby = {0},
  pages = {936-941},
  booktitle = {Proceedings of the 45th Design Automation Conference, DAC 2008, Anaheim, CA, USA, June 8-13, 2008},
  editor = {Limor Fix},
  publisher = {ACM},
  isbn = {978-1-60558-115-6},
}