Introduction to Drupal 7 - Blocks management and contexts
CarFast: Achieving Higher Statement Coverage Faster
Dealing with complex constraints in symbolic execution
Technology of Test Case Generation Levi Lúcio University of Geneva Marko Samer Vienna University of Technology.
White Box Testing and Symbolic Execution Written by Michael Beder.
Visions of Verification