Autor der Publikation

Why My App Crashes? Understanding and Benchmarking Framework-Specific Exceptions of Android Apps.

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

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Formal modelling of list based dynamic memory allocators., , , , , , und . Sci. China Inf. Sci., 61 (12): 122103:1-122103:16 (2018)Feedback-Guided Circuit Structure Mutation for Testing Hardware Model Checkers., , , , und . ICCAD, Seite 1-9. IEEE, (2021)Combining BMC and Complementary Approximate Reachability to Accelerate Bug-Finding., , , , und . ICCAD, Seite 126:1-126:9. ACM, (2022)MemLock: memory usage guided fuzzing., , , , , , , , , und . ICSE, Seite 765-777. ACM, (2020)Masked Faces with Faced Masks., , , , , und . ECCV Workshops (1), Volume 13801 von Lecture Notes in Computer Science, Seite 360-377. Springer, (2022)SPARDL: A Requirement Modeling Language for Periodic Control System., , , , , , und . ISoLA (1), Volume 6415 von Lecture Notes in Computer Science, Seite 594-608. Springer, (2010)Integrating Timed Automata into Tabu Algorithm for HW-SW Partitioning., , , , und . ICECCS, Seite 131-138. IEEE Computer Society, (2006)The Verification of rCOS Using Spin., , , , und . TTSS, Volume 207 von Electronic Notes in Theoretical Computer Science, Seite 49-67. Elsevier, (2007)Searching for i-Good Lemmas to Accelerate Safety Model Checking., , , , , und . CAV (2), Volume 13965 von Lecture Notes in Computer Science, Seite 288-308. Springer, (2023)Towards Better Fairness-Utility Trade-off: A Comprehensive Measurement-Based Reinforcement Learning Framework., , , , , , und . CoRR, (2023)