@TECHREPORT{Perez:CSAIL13b,
   AUTHOR = {A. Perez},
   TITLE = {On Randomized Path Coverage of Configuration Spaces},
   NUMBER = {MIT-CSAIL-TR-2013-027},
   INSTITUTION = {Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology},
   ADDRESS = {Cambridge, MA},
   MONTH = {November},
   YEAR = {2013},
   PAGES = {13},
   URL = {http://dspace.mit.edu/bitstream/handle/1721.1/82462/MIT-CSAIL-TR-2013-027.pdf}}