Browsing by Author Zhou, Z

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 131 to 150 of 164 < previous   next >
TitleAuthor(s)Issue DateViews
 
2016
62
 
2022
 
2016
62
 
2017
43
 
2014
62
Semi-proving: An integrated method based on global symbolic evaluation and metamorphic testing
Proceeding/Conference:Proceedings of the ACM SIGSOFT 2002 International Symposium on Software Testing and Analysis
2002
84
 
2008
75
 
2017
57
 
2021
2
2015
52
 
Sluggish volumetric deformation of live cells induced by pressure-activated cross-membrane ion transport
Proceeding/Conference:Asian Biophysics Association Symposium, ABA 2015
2015
48
 
2017
5
 
2019
3
 
2016
52
 
2019
35
 
2004
162
 
Testing of large number multiplication functions in cryptographic systems
Proceeding/Conference:Asia-Pacific Conference on Quality Software Proceedings
2000
92
 
2021
 
2018
49
 
2022
8