( en | de | ru )

 

Disambiguierung von "Pan, Minxue"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An MDE-based approach to the verification of SysML state machine diagram.

, , , , und . Internetware, Seite 9:1-9:7. ACM, (2012)

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.

Petra Pan

Xiaoqing Pan

Weiqing Pan

Yaling Pan

Pan Li

 

Weitere Publikationen von Autoren mit dem selben Namen

Execution Enhanced Static Detection of Android Privacy Leakage Hidden by Dynamic Class Loading., , , , und . COMPSAC (1), Seite 149-158. IEEE, (2019)Vision-Based Widget Mapping for Test Migration Across Mobile Platforms: Are We There Yet?, , , , , und . ASE, Seite 1416-1428. IEEE, (2023)An MDE-based approach to the verification of SysML state machine diagram., , , , und . Internetware, Seite 9:1-9:7. ACM, (2012)Beyond Code Generation: Assessing Code LLM Maturity with Postconditions., , und . CoRR, (2024)Repairing Obsolete GUI Test Scripts for Android Applications with Exploration and Backtracking., , , , , , und . Internetware, ACM, (2024)TASS: Timing Analyzer of Scenario-Based Specifications., , und . CAV, Volume 5643 von Lecture Notes in Computer Science, Seite 689-695. Springer, (2009)Improving timing analysis effectiveness for scenario-based specifications by combining SAT and LP techniques., , , und . Softw. Syst. Model., 21 (4): 1321-1338 (2022)NEGAR: Network Embedding Guided Architecture Recovery for Software Systems., , , , , , und . APSEC, Seite 367-376. IEEE, (2022)Mobile Test Script Generation from Natural Language Descriptions., , , , und . QRS, Seite 348-359. IEEE, (2023)Git Merge Conflict Resolution Leveraging Strategy Classification and LLM., , , und . QRS, Seite 228-239. IEEE, (2023)