Yuting Chen
Yuting Chen
Associate Professor, Shanghai Jiao Tong University
Verified email at cs.sjtu.edu.cn
TitleCited byYear
Guided, stochastic model-based gui testing of android apps
T Su, G Meng, Y Chen, K Wu, W Yang, Y Yao, G Pu, Y Liu, Z Su
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
722017
Compressed C4. 5 models for software defect prediction
J Wang, B Shen, Y Chen
Quality Software (QSIC), 2012 12th International Conference on, 13-16, 2012
422012
Coverage-directed differential testing of JVM implementations
Y Chen, T Su, C Sun, Z Su, J Zhao
ACM SIGPLAN Notices 51 (6), 85-99, 2016
402016
A survey on data-flow testing
T Su, K Wu, W Miao, G Pu, J He, Y Chen, Z Su
ACM Computing Surveys (CSUR) 50 (1), 5, 2017
362017
Formal specification-based inspection for verification of programs
S Liu, Y Chen, F Nagoya, JA McDermid
IEEE Transactions on software engineering 38 (5), 1100-1122, 2012
362012
Guided differential testing of certificate validation in SSL/TLS implementations
Y Chen, Z Su
Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015
352015
A relation-based method combining functional and structural testing for test case generation
S Liu, Y Chen
Journal of Systems and Software 81 (2), 234-248, 2008
352008
An automated approach to specification-based program inspection
S Liu, F Nagoya, Y Chen, M Goya, JA McDermid
International Conference on Formal Engineering Methods, 421-434, 2005
222005
A rigorous method for inspection of model-based formal specifications
S Liu, JA McDermid, Y Chen
IEEE Transactions on Reliability 59 (4), 667-684, 2010
212010
BPGen: an automated breakpoint generator for debugging
C Zhang, D Yan, J Zhao, Y Chen, S Yang
Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010
172010
Probabilistic points-to analysis for java
Q Sun, J Zhao, Y Chen
International Conference on Compiler Construction, 62-81, 2011
132011
Greta: Graph-based tag assignment for github repositories
X Cai, J Zhu, B Shen, Y Chen
Computer Software and Applications Conference (COMPSAC), 2016 IEEE 40th …, 2016
122016
An approach to integration testing based on data flow specifications
Y Chen, S Liu, F Nagoya
International Colloquium on Theoretical Aspects of Computing, 235-249, 2004
122004
Automated Breakpoint Generation for Debugging.
C Zhang, J Yang, D Yan, S Yang, Y Chen
JSW 8 (3), 603-616, 2013
112013
Rule-directed code clone synchronization
X Cheng, H Zhong, Y Chen, Z Hu, J Zhao
Program Comprehension (ICPC), 2016 IEEE 24th International Conference on, 1-10, 2016
92016
Extracting URLs from JavaScript via program analysis
Q Wang, J Zhou, Y Chen, Y Zhang, J Zhao
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
92013
Towards Effective Developer Recommendation in Software Crowdsourcing.
S Zhao, B Shen, Y Chen, H Zhong
SEKE, 326-329, 2015
72015
Frequency estimation of virtual call targets for object-oriented programs
C Zhang, H Xu, S Zhang, J Zhao, Y Chen
European Conference on Object-Oriented Programming, 510-532, 2011
62011
A tool and case study for specification-based program review
F Nagoya, S Liu, Y Chen
Computer Software and Applications Conference, 2005. COMPSAC 2005. 29th …, 2005
62005
Software Defect Prediction Using Semi-Supervised Learning with Change Burst Information
Q He, B Shen, Y Chen
Computer Software and Applications Conference (COMPSAC), 2016 IEEE 40th …, 2016
52016
The system can't perform the operation now. Try again later.
Articles 1–20