11 search results - page 3 / 3 » Mixing type checking and symbolic execution |
USS
2010
13 years 2 months ago
2010
Web applications are the most common way to make services and data available on the Internet. Unfortunately, with the increase in the number and complexity of these applications, ...