Sagar S. Sabade, D. M. H. Walker. I::DDX::-based test methods: A survey. ACM Trans. Design Autom. Electr. Syst., 9(2):159-198, 2004. [doi]
@article{SabadeW04:1, title = {I::DDX::-based test methods: A survey}, author = {Sagar S. Sabade and D. M. H. Walker}, year = {2004}, doi = {10.1145/989995.989997}, url = {http://doi.acm.org/10.1145/989995.989997}, tags = {rule-based, testing, survey}, researchr = {https://researchr.org/publication/SabadeW04%3A1}, cites = {0}, citedby = {0}, journal = {ACM Trans. Design Autom. Electr. Syst.}, volume = {9}, number = {2}, pages = {159-198}, }