Input-Output Conformance Testing Based on Featured Transition ...
Reference
Harsh Beohar and Mohammad Mousavi. Input-output conformance testing based on featured transition systems. In Proceedings of the 29th ACM Symposium of Applied Computing: Software Verification and Testing Track. ACM, 2014.
Suggested BibTeX entry:
@inproceedings{acmsac:2014,
author = {Harsh Beohar and Mohammad Mousavi},
booktitle = {Proceedings of the 29th ACM Symposium of Applied Computing: Software Verification and Testing Track},
publisher = {ACM},
title = {Input-Output Conformance Testing Based on Featured Transition Systems},
year = {2014}
}