El testing funcional basado en especificaciones es el proceso de testear en forma estructurada y ordenada un software a partir de su especificación. Este proceso se divide en varias fases, las cuales pueden ser automatizadas casi en su totalidad. Una fase crítica, es la de ejecutar los casos de prueba abstractos generados en las fases anteriores. Para ello, una de las técnicas utilizadas es la de concretización, que busca refinar los casos de prueba abstractos, traduciéndolos desde el lenguaje utilizado para la especificación del sistema al lenguaje en el que éste fue implementado. En este trabajo se introduce TCRL, un lenguaje que permite traducir casos de prueba abstractos escritos en el lenguaje de especificación Z a casos de prueba concretos escritos en el lenguaje de programación C. Se presenta además, un parser y un intérprete para el mismo y se lo integra con Fastest, un primer prototipo de una herramienta que automatiza el proceso de testing antes mencionado