Avocado: Open-Source Flexible Constrained Interaction Testing for Practical Application | IEEE Conference Publication | IEEE Xplore