The JBSE manual

• About this book
  • What is JBSE?
  • Who is the author of this book?
  • Where do I find this book?
• Introduction
  • Software analysis
  • What is symbolic execution?
  • Symbolic execution with objects as inputs
• Getting started with JBSE
  • Obtaining and installing JBSE
  • A basic example
  • Assertions and assumptions
• Using JBSE
  • The symbolic execution classes
  • Creating a symbolic executor
  • Using the symbolic executor
• LICS rules and triggers
  • An illustrative example
  • LICS rules
  • More on the LICS language
  • Triggers