[{"text":"\n\n\nMaximiliano Cristia , Diego Hollmann , Pablo Albertengo , Claudia Frydman , Pablo Rodriguez Monetti, A language for test case refinement in the test template framework, Proceedings of the 13th international conference on Formal methods and software engineering, October 26-28, 2011, Durham, UK\n\n\n","citation":"2075139"}]