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 language | English |
---|---|
Pages (from-to) | 335-337 |
Number of pages | 3 |
Journal | International Journal on Software Tools for Technology Transfer |
Volume | 16 |
Issue number | 4 |
DOIs | |
Publication status | Published - Aug 2014 |
Externally published | Yes |
Keywords
- Formal methods
- Software engineering
- System specification
- Verification and validation