%0 Conference Paper %1 conf/kbse/UsmanWK20 %A Usman, Muhammad %A Wang, Wenxi %A Khurshid, Sarfraz %B ASE %D 2020 %I IEEE %K dblp %P 709-721 %T TestMC: Testing Model Counters using Differential and Metamorphic Testing. %U http://dblp.uni-trier.de/db/conf/kbse/ase2020.html#UsmanWK20 %@ 978-1-4503-6768-4

@inproceedings{conf/kbse/UsmanWK20, added-at = {2021-02-12T00:00:00.000+0100}, author = {Usman, Muhammad and Wang, Wenxi and Khurshid, Sarfraz}, biburl = {https://www.bibsonomy.org/bibtex/2a9e9bfbbde1d61018f880673590f53d6/dblp}, booktitle = {ASE}, crossref = {conf/kbse/2020}, ee = {https://ieeexplore.ieee.org/document/9286130}, interhash = {a7ffa846dbdd5f7f49e8c6bac10812ff}, intrahash = {a9e9bfbbde1d61018f880673590f53d6}, isbn = {978-1-4503-6768-4}, keywords = {dblp}, pages = {709-721}, publisher = {IEEE}, timestamp = {2024-04-09T23:51:58.000+0200}, title = {TestMC: Testing Model Counters using Differential and Metamorphic Testing.}, url = {http://dblp.uni-trier.de/db/conf/kbse/ase2020.html#UsmanWK20}, year = 2020 }