In this experience paper, we design, implement, and evaluate a new static type-error detection tool for Python. To build a practical tool, we first collected and analyzed 68 real-world type errors gathered from 20 ope...
详细信息
ISBN:
(数字)9798400712487
ISBN:
(纸本)9798400712487
In this experience paper, we design, implement, and evaluate a new static type-error detection tool for Python. To build a practical tool, we first collected and analyzed 68 real-world type errors gathered from 20 open-source projects. This empirical investigation revealed four key static-analysis features that are crucial for the effective detection of Python type errors in practice. Utilizing these insights, we present a tool called Pyinder, which can successfully detect 34 out of the 68 bugs, compared to existing type analysis tools that collectively detect only 16 bugs. We also discuss the remaining 34 bugs that Pyinder failed to detect, offering insights into future directions for Python type analysis tools. Lastly, we show that Pyinder can uncover previously unknown bugs in recent Python projects.
With the continuous advancement of technology and rapid development of industries, the demand for engineering talents will also continue to increase. Different from general universities and liberal arts courses, appli...
详细信息
Nowadays, in order to solve the problem of information sharing in heterogeneous systems, federated database is a mature solution. However, the distributed database system also faces many performance bottlenecks. For e...
详细信息
In order to solve the problem of low welding efficiency and unstable welding quality of thin plate non-structural parts, a set of automatic welding machine is developed by using weld seam tracking technology based on ...
详细信息
During the COVID-19 pandemic, schools globally transitioned to online education due to lockdowns, prompting concerns about its acceptance and effectiveness among stakeholders. This study analyzes public sentiment towa...
详细信息
This paper presents a novel approach for dense scene text detection called DSSNet (Dense Script Spotter Network). The network leverages ResNet and FPN for feature extraction, employing multi-scale feature fusion and T...
详细信息
The creation and discovery of pharmaceuticals may be considered the most important translational science activity that improves human invulnerability and happiness. In the pharmaceutical sector, strategies to reduce c...
详细信息
Sterilization condition in the surgical units is important. Contamination problems regards to infection rate after surgery. The computer workstation is always used for x-ray image viewer. To avoid the contamination pr...
详细信息
A workshop to train practitioners in real-time new product development (NPD) using generative artificial intelligence (AI) was conducted. Three teams of graduate students in engineering and technology Management (many...
详细信息
In the majority of Western nations including America, Australia and Europe, skin cancer is badly-behaved. Skin concealing, inadequacy of Sun-lights, climate, age, and inherited are major risk factors. Early identifica...
详细信息
暂无评论