[{"id": 2594, "state": 1, "location": "Terrace", "location_slug": "Terrace", "sequence": 16, "name": "Introduction to Security Testing with SAT Solvers", "slug": "Introduction_to_Security_Testing_with_SAT_Solvers", "authors": "Vijay Ganesh", "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.\r\n", "start": "2013-08-11T17:39:00Z", "duration": "00:06:00", "released": true, "license": "CC BY-SA 2.5 CA", "tags": "Lightning talk", "conf_key": "108", "conf_url": "https://2013.pycon.ca/en/schedule/presentation/108/", "host_url": null, "public_url": "http://pyvideo.org/video/2309/introduction-to-security-testing-with-sat-solvers", "rax_mp4_url": null, "archive_url": null, "archive_mp4_url": "", "twitter_url": null, "comment": "", "start_at": "17:34 11.08.2013"}]