Testing and Validating End User Programmed Calculated Fields

VÍCTOR BRABERMAN; SEBASTIÁN UCHITEL; SANTIAGO PEREZ; GARBERVETSKY, DIEGO; GUIDO DE CASO; JAVIER GODOY; IGNACIO PEREZ

Orlando

Congreso; 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE); 2018

ACM/ESEC

This paper reports on an approach for systematically generating test data from production databases for end user calculated field program via a novel combination of symbolic execution and database queries. We also discuss the opportunities and challenges that this specific domain poses for symbolic execution and shows how database queries can help complement some of symbolic execution?s weaknesses, namely in the treatment of loops and also of path conditions that exceed SMT solver capabilities.