Liangyu Chen

According to our database, Liangyu Chen authored at least 33 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

TapChecker: A Lightweight SMT-Based Conflict Analysis for Trigger-Action Programming.

Liangyu Chen, Chen Wang, Cheng Chen, Caidie Huang, Xiaohong Chen, Min Zhang

IEEE Internet Things J., June, 2024

LLM4Fin: Fully Automating LLM-Powered Test Case Generation for FinTech Software Acceptance Testing.

Zhiyi Xue, Liangguo Li, Senyue Tian, Xiaohong Chen, Pingping Li, Liangyu Chen, Tingting Jiang, Min Zhang

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

Domain Knowledge is All You Need: A Field Deployment of LLM-Powered Test Case Generation in FinTech Domain.

Zhiyi Xue, Liangguo Li, Senyue Tian, Xiaohong Chen, Pingping Li, Liangyu Chen, Tingting Jiang, Min Zhang

Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024

2023

Local critical analysis of inequalities related to the sum of distances between n points on the unit hemisphere for n=4,5.

Yaochen Xu, Zhenbing Zeng, Jian Lu, Yuzheng Wang, Liangyu Chen

Ann. Math. Artif. Intell., December, 2023

Deep Attentive Model for Knowledge Tracing.

Xinping Wang, Liangyu Chen, Min Zhang

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Using Multi-feature Embedding towards Accurate Knowledge Tracing.

Yang Yu, Caidie Huang, Liangyu Chen, Mingsong Chen

Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

Refactoring of Object-oriented Package Structure Based on Complex Network.

Youfei Huang, Yuhang Chen, Zhengting Tang, Liangyu Chen, Ningkang Jiang

Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

Optimized Computation for Determinant of Multivariate Polynomial Matrices on GPGPU.

Liangyu Chen, Jianjun Wei, Zhenbing Zeng, Min Zhang

Proceedings of the 24th IEEE Int Conf on High Performance Computing & Communications; 8th Int Conf on Data Science & Systems; 20th Int Conf on Smart City; 8th Int Conf on Dependability in Sensor, 2022

2021

A Hybrid Model Combining Formulae with Keywords for Mathematical Information Retrieval.

Yuqi Shen, Cheng Chen, Yifan Dai, Jinfang Cai, Liangyu Chen

Int. J. Softw. Eng. Knowl. Eng., 2021

A New Model of Software Network for Object-Oriented Software System.

Yan Zhu, Youfei Huang, Ningkang Jiang, Liangyu Chen

Proceedings of the 2021 IEEE International Conference on Systems, Man, and Cybernetics, 2021

Using Surrounding Text of Formula towards More Accurate Mathematical Information Retrieval.

Cheng Chen, Yifan Dai, Yuqi Shen, Jinfang Cai, Liangyu Chen

Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

An Efficient Method to Measure Robustness of ReLU-Based Classifiers via Search Space Pruning.

Xinping Wang, Liangyu Chen, Tong Wang, Mingang Chen, Min Zhang

Proceedings of the International Joint Conference on Neural Networks, 2021

A Branch-and-Bound Algorithm for Computing the Reliable Isolated Zeros of Multivariate Polynomial Functions Systems.

Cheng Chen, Liangyu Chen, Zhenbing Zeng, Dang Lin

Proceedings of the 2021 IEEE 23rd Int Conf on High Performance Computing & Communications; 7th Int Conf on Data Science & Systems; 19th Int Conf on Smart City; 7th Int Conf on Dependability in Sensor, 2021

Using Knowledge Concept Aggregation towards Accurate Cognitive Diagnosis.

Xinping Wang, Caidie Huang, Jinfang Cai, Liangyu Chen

Proceedings of the CIKM '21: The 30th ACM International Conference on Information and Knowledge Management, Virtual Event, Queensland, Australia, November 1, 2021

2020

Measurement and refactoring for package structure based on complex network.

Yangxi Zhou, Yanran Mi, Yan Zhu, Liangyu Chen

Appl. Netw. Sci., 2020

An N-ary Tree-based Model for Similarity Evaluation on Mathematical Formulae.

Yifan Dai, Liangyu Chen, Zihan Zhang

Proceedings of the 2020 IEEE International Conference on Systems, Man, and Cybernetics, 2020

Software Defect-Proneness Prediction with Package Cohesion and Coupling Metrics Based on Complex Network Theory.

Yangxi Zhou, Yan Zhu, Liangyu Chen

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2020

2019

A Heilbronn Type Inequality for Plane Nonagons.

Zhenbing Zeng, Jian Lu, Lydia Dehbi, Liangyu Chen, Jianlin Wang

Proceedings of the Maple in Mathematics Education and Research - Third Maple Conference, 2019

Determining the Heilbronn Configuration of Seven Points in Triangles via Symbolic Computation.

Zhenbing Zeng, Liangyu Chen

Proceedings of the Computer Algebra in Scientific Computing - 21st International Workshop, 2019

2018

An efficient algorithm for global interval solution of nonlinear algebraic equations and its GPGPU implementation.

Dang Lin, Liangyu Chen

CoRR, 2018

2017

Searching approximate global optimal Heilbronn configurations of nine points in the unit square via GPGPU computing.

Liangyu Chen, Yaochen Xu, Zhenbing Zeng

J. Glob. Optim., 2017

Big Prime Field FFT on the GPU.

Liangyu Chen, Svyatoslav Covanov, Davood Mohajerani, Marc Moreno Maza

Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, 2017

2014

An upper bound of Heilbronn number for eight points in triangles.

Liangyu Chen, Zhenbing Zeng, Wei Zhou

J. Comb. Optim., 2014

2013

Parallel computation of determinants of matrices with multivariate polynomial entries.

Liangyu Chen, Zhenbing Zeng

Sci. China Inf. Sci., 2013

2012

ESF - An Extensive Service Foundation from Internet of Things Perspective.

Jianqi Shi, Xin Ye, Liangyu Chen, Pei Zhang, Ningkang Jiang

Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2012

Finding the Symbolic Solution of a Geometric Problem Through Numerical Computations.

Liangyu Chen, Tuo Leng, Liyong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng

Proceedings of the Computer Mathematics, 2012

2010

Reachability analysis of rational eigenvalue linear systems.

Ming Xu, Liangyu Chen, Zhenbing Zeng, Zhi-bin Li

Int. J. Syst. Sci., 2010

Termination Analysis of Linear Loops.

Ming Xu, Liangyu Chen, Zhenbing Zeng, Zhi-Bin Li

Int. J. Found. Comput. Sci., 2010

Real Root Isolation of Multi-Exponential Polynomials with Application.

Ming Xu, Liangyu Chen, Zhenbing Zeng, Zhi-bin Li

Proceedings of the WALCOM: Algorithms and Computation, 4th International Workshop, 2010

2009

On the Best Bezier Approximation of Ellipses.

Zhenbing Zeng, Liangyu Chen

Proceedings of the Second International Joint Conference on Computational Sciences and Optimization, 2009

Symbolic Reachability Computation of a Class of Nonlinear Systems.

Ming Xu, Liangyu Chen, Zhi-bin Li

Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science, 2009

2008

On the Heilbronn Optimal Configuration of Seven Points in the Square.

Zhenbing Zeng, Liangyu Chen

Proceedings of the Automated Deduction in Geometry - 7th International Workshop, 2008

2007

Which Symmetric Homogeneous Polynomials Can Be Proved Positive Semi-definite by Difference Substitution Method?.

Liangyu Chen, Zhenbing Zeng

Proceedings of the Computer Mathematics, 8th Asian Symposium, 2007