( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Why My App Crashes? Understanding and Benchmarking Framework-Specific Exceptions of Android Apps.

, , , , , , и . IEEE Trans. Software Eng., 48 (4): 1115-1137 (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Pu Chen

Jianfeng Pu

Jielin Pu

Jianjun Pu

Lingling Pu

 

Другие публикации лиц с тем же именем

MDM: A Mode Diagram Modeling Framework for Periodic Control Systems, , , , , , , и . CoRR, (2012)FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain., , , , , , , , , и 1 other автор(ы). CoRR, (2023)Towards Better Fairness-Utility Trade-off: A Comprehensive Measurement-Based Reinforcement Learning Framework., , , , , , и . CoRR, (2023)Searching for i-Good Lemmas to Accelerate Safety Model Checking., , , , , и . CAV (2), том 13965 из Lecture Notes in Computer Science, стр. 288-308. Springer, (2023)Formal modelling of list based dynamic memory allocators., , , , , , и . Sci. China Inf. Sci., 61 (12): 122103:1-122103:16 (2018)The stochastic semantics and verification for periodic control systems., , , , , и . Sci. China Inf. Sci., 55 (12): 2675-2693 (2012)Experimenting a New Programming Practice with LLMs., , , , , и . CoRR, (2024)Combining BMC and Complementary Approximate Reachability to Accelerate Bug-Finding., , , , и . ICCAD, стр. 126:1-126:9. ACM, (2022)Feedback-Guided Circuit Structure Mutation for Testing Hardware Model Checkers., , , , и . ICCAD, стр. 1-9. IEEE, (2021)SPARDL: A Requirement Modeling Language for Periodic Control System., , , , , , и . ISoLA (1), том 6415 из Lecture Notes in Computer Science, стр. 594-608. Springer, (2010)