State space exploration using feedback constraint generation and Monte-Carlo sampling

Sriram Sankaranarayanan
Richard M. Chang
Guofei Jiang
ESEC/SIGSOFT FSE(2007), pp. 321-330

Abstract

Research Areas