Jump to Content

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