A System to Generate Test Data and Symbolically Execute Programs
1 Test generation for ANSI Fortran. Performs symbolic execution. Uses artificial constraints (that simulate error conditions). It also generates human readable symbolic representation of output data.
Sergey Vartanov, 2007–2020