Paper Info
Title
Program verification and testing technologies
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).
Year
DOI
Venue
2014
10.1007/s10009-014-0327-0
International Journal on Software Tools for Technology Transfer (STTT)
Keywords
DocType
Volume
formal methods,software engineering,system specification,verification and validation
Journal
16
Issue
ISSN
Citations 
4
1433-2787
0
PageRank 
References 
Authors
0.34
17
3
Name
Order
Citations
PageRank
Margaria, T.1301.62
Zongyan Qiu243641.04
Hongli Yang319114.80