Liu Huaxiao

• Professor
• Jilin University

TikTok, a widely-used social media app boasting over a billion monthly active users, requires effective app quality assurance for its intricate features. Feature testing is crucial in achieving this goal. However, the multi-user interactive features within the app, such as live streaming, voice calls, etc., pose significant challenges for developer...

Graphical User Interfaces (GUIs) serve as the primary medium for user interaction with mobile applications (apps). Within these GUIs, editable text views, buttons, and other visual elements exhibit different states following user actions. However, developers often present these states only in various colors without providing textual hints for blind...

Context: Accessibility issues (e.g., small size and narrow interval) in mobile applications (apps) lead to obstacles for billions of low vision users in interacting with Graphical User Interfaces (GUIs). Although GUI accessibility scanning tools exist, most of them perform rule-based check relying on complex GUI hierarchies. This might make them de...

Mobile applications (apps) are integral to our daily lives, offering diverse services and functionalities. They enable sighted users to access information coherently in an extremely convenient manner. However, it remains unclear if visually impaired users, who rely solely on the screen readers (e.g., Talkback) to navigate and access app information...

The Graphical User Interface (GUI) plays a critical role in the interaction between users and mobile applications (apps), aiming at facilitating the operation process. However, due to the variety of functions and non-standardized design, GUIs might have many accessibility issues, like the size of components being too small or their intervals being...

Malware detection is a critical issue in software engineering as it directly threatens user information security. Existing approaches often focus on individual modality (either source code or binary code) for the detection, but it ignores to effectively exploit the complementary information between them. This limits the detection performance, espec...

Mobile applications (apps) are integral to our daily lives, offering diverse services and functionalities. They enable sighted users to access information coherently in an extremely convenient manner. However, it remains unclear if visually impaired users, who rely solely on the screen readers (e.g., Talkback) to navigate and access app information...

Logic synthesis is a crucial step in integrated circuit design, and power optimization is an indispensable part of this process. However, power optimization for large-scale Mixed Polarity Reed-Muller (MPRM) logic circuits is an NP-hard problem. In this paper, we divide Boolean circuits into small-scale circuits based on the idea of divide and conqu...

Links between issues and pull requests (PRs) assist GitHub developers in tackling technical challenges, gaining development inspiration, and improving repository maintenance. In realistic repositories, these links are still insufficiently established. Aiming at this situation, existing works focus on issues and PRs themselves and employ text simila...

With the increasing interconnection of smart devices, users often desire to adopt the same app on quite different devices for identical tasks, such as watching the same movies on both their smartphones and TVs. However, the significant differences in screen size, aspect ratio, and interaction styles make it challenging to adapt Graphical User Inter...

UI animations, such as card movement and menu slide in/out, provide appealing user experience and enhance the usability of mobile applications. In the process of UI animation implementation, it is difficult for developers to identify suitable APIs for the animation to be implemented from a large number of APIs. Fortunately, the huge app market cont...

With the increasing interconnection of smart devices, users often desire to adopt the same app on quite different devices for identical tasks, such as watching the same movies on both their smartphones and TV. However, the significant differences in screen size, aspect ratio, and interaction styles make it challenging to adapt Graphical User Interf...

The Graphical User Interface (GUI) plays a critical role in the interaction between users and mobile applications (apps), aiming at facilitating the operation process. However, due to the variety of functions and non-standardized design, GUIs might have many accessibility issues, like the size of components being too small or their intervals being...

UI animation is a widely adopted design element in the UI of Android apps. There are many animation APIs available for a variety of purposes, and developers can utilize them to realize the UI animations to avoid reinventing the wheel and thus improve the development efficiency. However, the number of animation APIs is as high as thousands and it is...

GUI is an essential factor influencing users’ perception of an app. As the visual bridge between the user and the application, the quality of a GUI should be measured by the users’ subjective feelings. Therefore, to improve the UI, developers should pay attention to what users think and actively respond to their feedback. User reviews from differen...

To attract and retain users, deciding what features should be added in the next release of apps becomes very crucial. Different from traditional software, there are rich data resources in app markets to perform market-wide analysis. Considering that capturing key features that apps lack compared with its similar products and making up for them can...

Filter pruning, a representative model compression technique, has been widely used to compress and accelerate sophisticated deep neural networks on resource-constrained platforms. Nevertheless, most studies focus on reducing the cost of model inference, whereas the heavy burden of the pruning optimization process is neglected. In this paper, we pro...

Context GitHub has attracted much popularity among a large number of software developers around the world and introduced the social function follow to strengthen the relationship among developers. Like other social networks, GitHub users usually follow others who are popular in the community, co-workers, or friends in real life. However, according...

Context The arbitrary usage of pull requests in GitHub may bring many issues such as incomplete, verbose, and duplicated descriptions, which hinder the development and maintenance of the project. Thus, GitHub proposed the Pull Request Template (PRT) in 2016 so that developers could edit the pull request in a relevant consistent manner. However, whe...

Abstract The rapid development of Apps not only brings huge economic benefit but also causes increasingly fierce competition. In such a situation, developers are required to develop and update innovative functions to attract and retain users. Afterwards, analysing the functions of similar products can help developers formulate a well‐designed plan...

Application programming interfaces (APIs) play an important role in the increasingly competitive mobile application development industry, as they can greatly improve the efficiency of app development. However, finding proper APIs is often time‐consuming for the gap between the knowledge of APIs and app features. To solve this problem, we give an ap...

Facing the increasingly fierce competition, app developers have to update features of their products continually. In this process, developers need to not only consider users’ demands but also pay attention to what other similar apps do so that they can stay one step ahead in the competition. App stores provide large-scale useable data for achieving...

With the rapid increase in the number of Apps, the requirement of users has also become extremely complex. Developers have to continuously acquire innovative requirements that provide the guideline for developing more competitive products. However, traditional methods to acquire requirements are not suitable for the App development due to the disad...

To improve the efficiency, developers tend to use APIs to avoid reinventing wheels in the development of Apps. However, there are thousands of APIs for various purposes, so it is difficult for developers to identify suitable APIs according to the functionalities to be realized. App stores manage millions of products, which embody the experience and...

With the rapid prevalence of smartphones and the dramatic proliferation of mobile applications, people tend to do everything at their fingertips, including some sensitive activities, such as bank transfers. This makes security become one important factor when recommending apps to users. However, most existing methods recommend apps only on the basi...

App stores allow anyone to sell his products to millions of potential users. However, limited by the resources and time, some developers often focus on the functionalities of their Apps without well-rounded considering security problems, which are more and more important for a successful product. In this paper, we propose an approach to help develo...

Effective information disclosure is the cornerstone of sustainable operation of the capital market. In the IPO market, whether public information in the prospectus can be fully captured by investors largely depends on the quality of valuation-relevant information. Based on Chinese prospectuses, we create five unique indicators to measure the inform...

Goal model is an important model in requirements engineering, and it can describe features and their relationships for supporting the development of apps. Since an app evolves continually, the goal model also needs to be updated with new requirements to guide the whole process. As the feedback of users, reviews provide an abundant resource of user...

To support the iterative development process of Apps, the goal model is not only established to describe the requirements at the early stage but also used for identifying the updating strategy in every iteration. In this process, reviews from users provide valuable information for developers to analyse the model with users sentiments. In this study...

Cross-project defect prediction (CPDP) aims to predict the defect proneness of target project with the defect data of source project. Existing CPDP methods are based on the assumption that source and target projects should have the same metrics. Heterogeneous cross-project defect prediction (HCPDP) builds a prediction model using heterogeneous sour...

Compared with traditional software, the domain analysis of apps is conducted not only in the early stage of software development to gain knowledge of a particular domain but also runs throughout each iteration of apps to help developers understand evolution trends of the domain for maintaining their competitiveness. In this paper, we propose an app...

Apps have concentrated sale platforms, in which there often exist some products similar as the new App to be developed. The main features of these products are given in their introductions, and this provides an important resource for developers to improve the quality of the requirements of their own App. In this paper, we propose an approach to gai...

Reviews in App stores are a massive and fast‐growing data resource for developers to understand user experiences and their needs. Studies show that users often express their sentiments on App features in reviews, and this information is important for the development and evolution of Apps. To help developers gain such information efficiently, this p...

Software verification can ensure the software quality by inspecting the properties of program. A key issue for software verification is to check whether the software can meet user requirements especially when the requirements change frequently. To tackle this problem, we propose an approach to verify the program by inspecting the internal relations...

Domain analysis aims at gaining knowledge to a particular domain in the early stage of software development. A key challenge in domain analysis is to extract features automatically from related product artifacts. Compared with other kinds of artifacts, high volume of descriptions can be collected from App marketplaces (such as Google Play and Apple...

Breeze/architecture description language (ADL), is an eXtensible markup language (XML) based architecture description language which is used to model software systems at the architecture level. Though Breeze/ADL provides an appropriate basis for architecture modelling, it can neither analyse nor evaluate the architecture reliability. In this paper,...

Software cybernetics aims at improving the reliability of software by introducing the control theory into software engineering domain systematically. A key issue in software verification is to improve the reliability of software by inspecting whether the software can achieve its expected behaviors. In this paper, the thought of software cybernetics...

With the popularization of the application of the embedded system, the embedded software has been developed rapidly and then becomes a new growing power. So the research on the safety requirements of the embedded software is becoming more and more important. However, for the analysis of safety requirements, a very important step is the description...

Establishing complete and consistent requirements model is the basis for the success of software projects, and verifying requirements models plays key role in software development. Under the framework of aspect oriented document driven requirements engineering, several verifying schema are proposed for the process of modeling concerns, and an ontol...

Object-oriented technology has been widely applied to the design and development of embedded software product lines. However, during the implementation of software with object-oriented programming language, what often happens in code is the tangling and scattering phenomena, and this phenomenon is difficult to eliminate. In this paper, the aspect-o...

For different Manufacturing Materials, various embedded software is often needed to use to configure and implement different functions during the processing of production. In order to improve the reusability of embedded software, this paper combines the software product line technology to present a software product line reference architecture OVM_A...

Software requirements validation is one of the hot problems of software engineering field, for the formal verification of software acceptability, this paper presents a formal verification software acceptability method. This method uses the 4-variable model to character the software system requirements and the software behavior, and gives a formal d...

The change impact analysis can provide some useful information to software developers and managers during software development process, so it is significantly important. Aspect-oriented document-driven requirements engineering starts from textual requirements and provides a way and process of modularizing requirements in the forms of concerns and t...

This paper proposes a new dynamic program slicing algorithm taking the advantage of the dynamic program slice technology nowadays. This algorithm uses abstract machine to ascertain the track of program execution, and uses the dependence relations of program statements to cut the program into slices. We compare our program slicing algorithm to other...

The completeness and consistency of requirements model is the basis for the success of a software project, and the verification of requirements models is a key activity in a software life cycle. We have developed a tool based on JENA to verify the consistency of concerns model under the framework of aspect oriented document driven requirements engi...

Recently, a novel formalism named Two-dimensional description logics is provided for representing and reasoning about contextualized knowledge. Following achievements of the research, a metamodel for a Two-dimensional description logic is provided in this paper. Using Model driven architecture (MDA) technologies, a prototype of ontology modeling to...

Model Carrying Code(MCC) provides a way to safe execution of untrusted code by taking both mobile code producer and consumers into consideration, where it checks mobile code security by comparing security related program behavior model with security policies. In this paper an enumeration based algorithm to checking security related behavior with re...