E-LIB Suche - Ergebnisse für: Su, Zhendong

1

UBFuzz: Finding Bugs in Sanitizer Implementations:

, In: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1,

Li, Shaohua ; Su, Zhendong - p. 435-449 , 2024

Link: https://dl.acm.org/doi/1..

2

Practical Non-Intrusive GUI Exploration Testing with Visual..:

, In: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering,

Yu, Shengcheng ; Fang, Chunrong ; Du, Mingzhe... - p. 1-13 , 2024

Link: https://dl.acm.org/doi/1..

3

Refined Input, Degraded Output: The Counterintuitive World ..:

Theodoridis, Theodoros ; Su, Zhendong
Proceedings of the ACM on Programming Languages. 8 (2024) PLDI - p. 671-691 , 2024

Link: https://doi.org/10.1145/..

4

API-Driven Program Synthesis for Testing Static Typing Impl..:

Sotiropoulos, Thodoris ; Chaliasos, Stefanos ; Su, Zhendong
Proceedings of the ACM on Programming Languages. 8 (2024) POPL - p. 1850-1881 , 2024

Link: https://doi.org/10.1145/..

5

Boosting Compiler Testing by Injecting Real-World Code:

Li, Shaohua ; Theodoridis, Theodoros ; Su, Zhendong
Proceedings of the ACM on Programming Languages. 8 (2024) PLDI - p. 223-245 , 2024

Link: https://doi.org/10.1145/..

6

Practical Non-Intrusive GUI Exploration Testing with Visual..:

, In: 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE),

Yu, Shengcheng ; Fang, Chunrong ; Du, Mingzhe... - p. 1597-1609 , 2024

Link: https://doi.org/10.1145/..

7

Understanding and Finding Java Decompiler Bugs:

Lu, Yifei ; Hou, Weidong ; Pan, Minxue..
Proceedings of the ACM on Programming Languages. 8 (2024) OOPSLA1 - p. 1380-1406 , 2024

Link: https://doi.org/10.1145/..

8

Comparing Cognitive Load Among Undergraduate Students Progr..:

, In: Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 1,

Thorgeirsson, Sverrir ; Weidmann, Theo B. ; Weidmann, Karl-Heinz. - p. 1328-1334 , 2024

Link: https://dl.acm.org/doi/1..

9

Practical, Automated Scenario-based Mobile App Testing:

Yu, Shengcheng ; Fang, Chunrong ; Du, Mingzhe...
IEEE Transactions on Software Engineering. , 2024

Link: https://doi.org/10.1109/..

10

Recursion in Secondary Computer Science Education: A Compar..:

, In: Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 1,

Thorgeirsson, Sverrir ; Lais, Lennart C. ; Weidmann, Theo B.. - p. 1321-1327 , 2024

Link: https://dl.acm.org/doi/1..

11

Effective, Platform-Independent GUI Testing via Image Embed..:

Yu, Shengcheng ; Fang, Chunrong ; Li, Xin...
ACM Transactions on Software Engineering and Methodology. , 2024

Link: https://doi.org/10.1145/..

12

Towards Efficient Data-Flow Test Data Generation:

, In: Theories of Programming and Formal Methods; Lecture Notes in Computer Science,

Su, Ting ; Zhang, Chengyu ; Yan, Yichen... - p. 257-293 , 2023

Link: https://doi.org/10.1007/..

13

An Empirical Study of Functional Bugs in Android Apps:

, In: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis,

Xiong, Yiheng ; Xu, Mengqian ; Su, Ting... - p. 1319-1331 , 2023

Link: https://dl.acm.org/doi/1..

14

Validating JIT Compilers via Compilation Space Exploration:

, In: Proceedings of the 29th Symposium on Operating Systems Principles,

Li, Cong ; Jiang, Yanyan ; Xu, Chang. - p. 66-79 , 2023

Link: https://dl.acm.org/doi/1..

15

Automata-Based Trace Analysis for Aiding Diagnosing GUI Tes..:

, In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering,

Ma, Enze ; Huang, Shan ; He, Weigang... - p. 592-604 , 2023

Link: https://dl.acm.org/doi/1..