"Testing and validating end user programmed calculated fields" (2018) Braberman, V.;Garbervetsky, D.;Godoy, J. (...)Leavens G.T. 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2018:827-832