FrAma-c Conconlic Testing