E-LIB Suche - Ergebnisse für: Zheng, Guolong

1

The Application of Residual Connection-Based State Normaliz..:

Ge, Yanning ; Huang, Tao ; Wang, Xiaoding..
Mathematics. 12 (2024) 2 - p. 214 , 2024

Link: https://doi.org/10.3390/..

2

Data-driven solution for supersonic aerodynamics analysis o..:

Huang, QinBao ; Zheng, Guolong ; Abbas, Mohamed
Mechanics of Advanced Materials and Structures. , 2023

Link: https://doi.org/10.1080/..

3

Mineralization Regularities of the Bainiuchang Ag Polymetal..:

Jia, Fuju ; Yang, Ceting ; Zheng, Guolong...
Minerals. 13 (2023) 3 - p. 418 , 2023

Link: https://doi.org/10.3390/..

4

Automatic Evaluation of Functional Movement Screening Based..:

Lin, Xiuchun ; Huang, Tao ; Ruan, Zhiqiang...
Mathematics. 11 (2023) 24 - p. 4936 , 2023

Link: https://doi.org/10.3390/..

5

ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifica..:

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

Gutiérrez Brida, Simón ; Regis, Germán ; Zheng, Guolong... - p. 1-13 , 2022

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

6

Capture and Prediction of Rainfall-Induced Landslide Warnin..:

Zhang, Di ; Wei, Kai ; Yao, Yi...
Sensors. 22 (2022) 16 - p. 6240 , 2022

Link: https://doi.org/10.3390/..

7

ATR: template-based repair for Alloy specifications:

, In: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis,

Zheng, Guolong ; Nguyen, ThanhVu ; Brida, Simón Gutiérrez... - p. 666-677 , 2022

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

8

flack : Counterexample-Guided Fault Localization for All..:

, In: Proceedings of the 43rd International Conference on Software Engineering,

Zheng, Guolong ; Nguyen, ThanhVu ; Brida, Simón Gutiérrez... - p. 637-648 , 2021

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

9

Artifact of bounded exhaustive search of alloy specificatio..:

, In: Proceedings of the 43rd International Conference on Software Engineering: Companion Proceedings,

Brida, Simón Gutiérrez ; Regis, Germán ; Zheng, Guolong... - p. 209-210 , 2021

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

10

FLACK : localizing faults in alloy models:

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

Zheng, Guolong ; Nguyen, ThanhVu ; Brida, Simón Gutiérrez... - p. 1218-1222 , 2021

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

11

BeAFix : an automated repair tool for faulty alloy model:

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

Brida, Simon Gutierrez ; Regis, German ; Zheng, Guolong... - p. 1213-1217 , 2021

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

12

Bounded Exhaustive Search of Alloy Specification Repairs:

, In: Proceedings of the 43rd International Conference on Software Engineering,

Brida, Simón Gutiérrez ; Regis, Germán ; Zheng, Guolong... - p. 1135-1147 , 2021

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

13

Artifact of 'FLACK: counterexample-guided fault localizatio..:

, In: Proceedings of the 43rd International Conference on Software Engineering: Companion Proceedings,

Zheng, Guolong ; Nguyen, ThanhVu ; Brida, Simón Gutiérrez... - p. 179-180 , 2021

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

14

Sensitivity Analysis of NVH Structure of Car Body Based on ..:

, In: 3D Imaging Technologies—Multidimensional Signal Processing and Deep Learning; Smart Innovation, Systems and Technologies,

Liu, Yongqiang ; Liu, Xin ; Dou, Lin... - p. 85-90 , 2021

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

15

Platinum: Reusing Constraint Solutions in Bounded Analysis ..:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,

Zheng, Guolong ; Bagheri, Hamid ; Rothermel, Gregg. - p. 29-52 , 2020

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