Program verification and testing technologies

Tiziana Margaria, Zongyan Qiu, Hongli Yang

Research output: Contribution to journalArticlepeer-review

Abstract

Program verification and testing techniques are crucial in fruitfully analyzing and validating complex software systems. This is an active research area and has produced various promising techniques in the last decade. However, many challenges lie ahead. We review the research area and summarize six papers selected from the Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE 2012).

Original languageEnglish
Pages (from-to)335-337
Number of pages3
JournalInternational Journal on Software Tools for Technology Transfer
Volume16
Issue number4
DOIs
Publication statusPublished - Aug 2014
Externally publishedYes

Keywords

  • Formal methods
  • Software engineering
  • System specification
  • Verification and validation

Fingerprint

Dive into the research topics of 'Program verification and testing technologies'. Together they form a unique fingerprint.

Cite this