Concept: Web Application Security Vulnerabilities
Cerebra: Aligning Implicit Knowledge in Interactive SQL Authoring
Interactive tool aligns user expectations with AI-generated SQL queries
I Can SE Clearly Now: Investigating the Effectiveness of GUI-based Symbolic Execution for Software Vulnerability Discovery
How interface design affects expert vulnerability discovery using symbolic execution tools
AI tools are changing how web developers work
How developers are using AI tools to build websites faster
FLAT uses formal languages to type strings
Using formal languages as type constraints to prevent string-based security vulnerabilities
