IEEE transactions on software engineering by IEEE Computer Society

Get full text

IEEE transactions on software engineering [mikrofilem]

Verifying linearizability via optimized refinement checking by Dong, Jin Song, Liu, Yanhong A., Zhang, Shao Jie, Sun, Jun, Liu, Yang, Chen, Wei

Get full text
Get full text

Automatic loop summarization via path dependency analysis by Xie, Xiaofei, Chen, Bihuan, Zou, Liang, Liu, Yang, Le, Wei, Li, Xiaohong

Get full text

A formal specification and verification framework for timed security protocols by Li, Li, Sun, Jun, Liu, Yang, Sun, Meng, Dong, Jin-Song

Get full text

Accurate and scalable cross-architecture cross-OS binary code search with emulation by Xue, Yinxing, Xu, Zhengzi, Chandramohan, Mahinthan, Liu, Yang

Get full text

Towards model checking android applications by Bai, Guangdong, Ye, Quanqi, Wu, Yongzheng, Botha, Heila, Sun, Jun, Liu, Yang, Dong, Jin Song, Visser, Willem

Get full text

Mining likely analogical APIs across third-party libraries via large-scale unsupervised API semantics embedding by Chen, Chunyang, Xing, Zhenchang, Liu, Yang, Xiong, Kent Long Xiong

Get full text

An integrated approach for effective injection vulnerability analysis of web applications through security slicing and hybrid constraint solving by Thome, Julian, Shar, Lwin Khin, Bianculli, Domenico, Briand, Lionel

Get full text

Automatically distilling storyboard with rich features for Android apps by Chen, Sen, Fan, Lingling, Chen, Chunyang, Liu, Yang

Get full text

Why my app crashes? Understanding and benchmarking framework-specific exceptions of android apps by Su, Ting, Fan, Lingling, Chen, Sen, Liu, Yang, Xu, Lihua, Pu, Geguang, Su, Zhendong

Get full text

Test report generation for Android app testing via heterogeneous data analysis by Fang, Chunrong, Yu, Shengcheng, Su, Ting, Zhang, Jing, Tian, Yuanhan, Liu, Yang

Get full text

Esale: enhancing code-summary alignment learning for source code summarization by Fang, Chunrong, Sun, Weisong, Chen, Xiao, Chen X., Wei, Zhao, Zhang, Quanjun, You, Yudu, Luo, Bin, Liu, Yang, Chen, Zhenyu

Get full text

A taxonomy and mapping of computer-based critiquing tools. by Mohd.Ali, Norhayati, Hosking, John, Grundy, John

Get full text

GraphSearchNet: enhancing GNNs via capturing global dependencies for semantic code search by Liu, Shangqing, Xie, Xiaofei, Siow, Jingkai, Ma, Lei, Meng, Guozhu, Liu, Yang

Get full text

Generating domain-specific visual language tools from abstract visual specification. by Grundy, John C., Hosking, John, Li, Karen Na, Mohd Ali, Norhayati, Huh, Jun, Li, Richard Lei

Get full text

Software module clustering: An in-depth literature analysis by Qusay I., Sarhan, Ahmed, Bestoun S., Bures, Miroslav, Kamal Z., Zamli

Get full text

Empirical studies of pair programming for CS/SE teaching in higher education: a systematic literature review by Salleh, Norsaremah, Mendes, Emilia, Grundy, John C.

Get full text

Automatic extraction of heap reference properties in object-oriented programs by Demsky, Brian, Rinard, Martin C.

Get full text
Get full text

Systematic Literature Review: 5 Years Trend in the Field of Software Engineering by Muhamad Idaham, Umar Ong, M. A., Ameedeen, Zafril Rizal, M Azmi, Imran Edzereiq, Kamarudin

“…A methodology that involve comparison and analysis of systematical assigned keyword of papers that was published in related Q1 journals is being used to identify the current trend in the field of software engineering .Based on the result of the analysis of the IEEE Transaction in Software Engineering journal with its three systematic keyword system used, it is shown that the area of Testing (Testing and Program verification) is steadily increasing and being the preferred area of research for authors during 2012 to 2016. …”
Get full text
Get full text