Author(s):	Vijay Ganesh
Location	Terrace
Date	aug Sun 11	Days Raw Files
Start	12:39	First Raw Start	error-in-template
Duration	00:06:00	Offset	None
End	12:45	Last Raw End
Chapters
Total cuts_time	None min.

https://2013.pycon.ca/en/schedule/presentation/108/
raw-playlist raw-mp4-playlist encoded-files-playlist public mp4 svg png

assets release.pdf Introduction_to_Security_Testing_with_SAT_Solvers.json
logs
Admin: episode episode list cut list raw files day marks day marks day image_files

State:	--------- borked edit encode push to queue post richard review 1 email review 2 make public tweet to-miror conf done
Locked:	clear this to unlock
Locked by:	user/process that locked.
Start:	initially scheduled time from master, adjusted to match reality
Duration:	length in hh:mm:ss
Name:	Video Title (shows in video search results)
Emails:	email(s) of the presenter(s)
Released:	Unknown Yes No has someone authorised pubication
Normalise:
Channelcopy:	m=mono, 01=copy left to right, 10=right to left, 00=ignore.
Thumbnail:	filename.png
Description:	Automatic security testing remains a key challenge for the software industry. In the last few years, there has been a wealth of techniques developed in academia from diverse variety of fuzzing to Boolean SAT solver-based symbolic testing. I will briefly talk about the opportunities and challenges of test automation with a special focus on SAT solvers. markdown
Comment:	production notes