Pradeep Kumar Nalla, Jörg Behrend, Prakash Mohan Peranandam, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel. Grid Based Fast Falsification For Bounded Property Checking. In Forum on specification and Design Languages, FDL 2007, September 18-20, 2007, Barcelona, Spain, Proceedings. pages 299-304, ECSI, 2007. [doi]
Abstract is missing.