Sriram Sankaranarayanan, Richard M. Chang, Guofei Jiang, Franjo Ivancic. State space exploration using feedback constraint generation and Monte-Carlo sampling. In Ivica Crnkovic, Antonia Bertolino, editors, Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007. pages 321-330, ACM, 2007. [doi]
Abstract is missing.