Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Miao, Geguang
19  Ergebnisse:
Personensuche X
?
1

Prime Factorization Based on Multiple Quantum Annealings on..:

, In: 2023 IEEE 36th International System-on-Chip Conference (SOCC),
Guo, Xinyi ; Miao, Geguang ; Nishizawa, Shinichi. - p. 1-6 , 2023
Link: https://doi.org/10.1109/..
 
?
2

LightF3: A Lightweight Fully-Process Formal Framework for A..:

, In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering,
Dong, Yibo ; Zhang, Xiaoyu ; Xu, Yicong... - p. 1914-1925 , 2023
Link: https://dl.acm.org/doi/1..
 
?
3

AdvFilter: Predictive Perturbation-aware Filtering against ..:

, In: Proceedings of the 29th ACM International Conference on Multimedia,
Huang, Yihao ; Guo, Qing ; Juefei-Xu, Felix... - p. 395-403 , 2021
Link: https://dl.acm.org/doi/1..
 
?
4

FakePolisher: Making DeepFakes More Detection-Evasive by Sh..:

, In: Proceedings of the 28th ACM International Conference on Multimedia,
Huang, Yihao ; Juefei-Xu, Felix ; Wang, Run... - p. 1217-1226 , 2020
Link: https://dl.acm.org/doi/1..
 
?
5

FREPA: an automated and formal approach to requirement mode..:

, In: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering,
Feng, Jincao ; Miao, Weikai ; Zheng, Hanyue... - p. 1376-1386 , 2020
Link: https://dl.acm.org/doi/1..
 
?
6

Prema : a tool for precise requirements editing, modelin..:

, In: Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering,
Huang, Yihao ; Feng, Jincao ; Zheng, Hanyue... - p. 1166-1169 , 2019
Link: https://dl.acm.org/doi/1..
 
?
7

Prema: A Tool for Precise Requirements Editing, Modeling an..:

, In: 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE),
Huang, Yihao ; Feng, Jincao ; Zheng, Hanyue... - p. 1166-1169 , 2019
Link: https://doi.org/10.1109/..
 
?
8

Smartunit : empirical evaluations for automated unit tes..:

, In: Proceedings of the 40th International Conference on Software Engineering: Software Engineering in Practice,
Zhang, Chengyu ; Yan, Yichen ; Zhou, Hanru... - p. 296-305 , 2018
Link: https://dl.acm.org/doi/1..
 
?
9

A Survey on Data-Flow Testing:

Su, Ting ; Wu, Ke ; Miao, Weikai...
ACM Computing Surveys (CSUR).  50 (2017)  1 - p. 1-35 , 2017
Link: https://dl.acm.org/doi/1..
 
?
10

A Survey on Data-Flow Testing:

Su, Ting ; Wu, Ke ; Miao, Weikai...
ACM Computing Surveys.  50 (2017)  1 - p. 1-35 , 2017
Link: https://doi.org/10.1145/..
 
?
11

Automated coverage-driven testing: combining symbolic execu..:

Su, Ting ; Pu, Geguang ; Miao, Weikai..
Science China Information Sciences.  59 (2016)  9 - p. , 2016
Link: https://doi.org/10.1007/..
 
?
12

FREPA: An Automated and Formal Approach to Requirement Mode..:

Feng, Jincao ; Miao, Weikai ; Zheng, Hanyue...
http://arxiv.org/abs/2306.01260.  , 2023
Link: http://arxiv.org/abs/230..
 
?
13

Identifying Boundary Conditions with the Syntax and Semanti..:

Xia, Yechuan ; Li, Jianwen ; Xiao, Shengping..
http://arxiv.org/abs/2203.12903.  , 2022
Link: http://arxiv.org/abs/220..
 
?
14

AdvFilter: Predictive Perturbation-aware Filtering against ..:

Huang, Yihao ; Guo, Qing ; Juefei-Xu, Felix...
http://arxiv.org/abs/2107.06501.  , 2021
Link: http://arxiv.org/abs/210..
 
?
15

FakePolisher: Making DeepFakes More Detection-Evasive by Sh..:

Huang, Yihao ; Juefei-Xu, Felix ; Wang, Run...
http://arxiv.org/abs/2006.07533.  , 2020
Link: http://arxiv.org/abs/200..
 
1-15