Stem bogor$ (all stems)

4 papers:

ASE-2006-DengLR #bound #execution #named #symbolic computation

Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems (XD, JL, R), pp. 157–166.

ASE-2006-RobbyDH #framework #model checking #using

Domain-specific Model Checking Using The Bogor Framework (R, MBD, JH), pp. 369–370.

CAV-2005-DwyerHHR #framework #model checking #using

Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework (MBD, JH, MH, R), pp. 148–152.

ESEC-FSE-2003-RobbyDH #framework #model checking #named

Bogor: an extensible and highly-modular software model checking framework (R, MBD, JH), pp. 267–276.