Trustworthy, dependable software is synonymous to testing nowadays, yet it is far from being the ideal approach. A lot of hot research work promises to improve the quality of software, but many of these techniques are not as well known as they should be. Part of the reason is unawareness, and another part are practical limitations.

The purpose of this blog is to disseminate the knowledge about what’s hot in software security and dependability, as well as shedding light on the challenges lying ahead. This blog is aimed at both industry practitioners and fellow researchers.

Topics will include, but not be limited to:

• Summarizing research results (in particular, research conducted in our lab) to a broader audience, as well as discussing interesting technical details pertaining to those techniques.
• Introducing hot concepts and techniques on testing, security, and dependability in general.
• Giving a candid picture of the strengths and limitations of the latest program analysis techniques, such as symbolic execution.