Indexed by：
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).
Keyword：
Reprint Author's Address：
Email：
Source ：
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
ISSN： 1433-2779
Year： 2014
Issue： 4
Volume： 16
Page： 335-337
1 . 5 0 0
JCR@2022
ESI Discipline： COMPUTER SCIENCE;
ESI HC Threshold：188
Cited Count：
WoS CC Cited Count： 0
SCOPUS Cited Count：
ESI Highly Cited Papers on the List： 0 Unfold All
WanFang Cited Count：
Chinese Cited Count：
30 Days PV： 0
Affiliated Colleges：
