University of Buenos Aires yields to the consortium the strong expertise of the software engineering group, which spans from model-based techniques for reasoning about system requirements and design, to scenario-based
Organisations require that their business processes reflect their evolving practices by maintaining compliance with their policies, strategies and regulations. Designing workflows which satisfy these requirements is complex and error prone.
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.