Searched for: author%3A%22Zhu%2C+Q.%22
(1 - 17 of 17)
document
Zhu, Q. (author), Zaidman, A.E. (author), Panichella, A. (author)
Mutation testing is well-known for its efficacy in assessing test quality, and starting to be applied in the industry. However, what should a developer do when confronted with a low mutation score? Should the test suite be plainly reinforced to increase the mutation score, or should the production code be improved as well, to make the...
journal article 2021
document
Zhu, Q. (author)
The main goal of this thesis is to investigate, improve and extend the applicability of mutation testing. To seek the potential directions of how to improve and extend the applicability of mutation testing, we have started with a systematic literature review on the current state of how mutation testing is applied. The results from the systematic...
doctoral thesis 2020
document
Zhu, Q. (author), Zaidman, A.E. (author)
Thanks to rapid advances in programmability and performance, GPUs have been widely applied in High Performance Computing (HPC) and safety-critical domains. As such, quality assurance of GPU applications has gained increasing attention. This brings us to mutation testing, a fault-based testing technique that assesses the test suite quality by...
conference paper 2020
document
Maan, D.C. (author), van Prooijen, Bram (author), Zhu, Q. (author), Wang, Zhengbing (author)
We apply a 2-D horizontal process-based model (Delft3D) to study the feedback mechanisms that control the long-term evolution of a fringing intertidal flat in the Western Scheldt Estuary. The hydrodynamic model is validated using a comparison with measurements on the intertidal flat and the sediment transport module is calibrated against long...
journal article 2018
document
Zhu, Q. (author), Zaidman, A.E. (author)
Physical computing, which builds interactive systems between the physical world and computers, has been widely used in a wide variety of domains and applications, e.g., the Internet of Things (IoT). Although physical computing has witnessed enormous realisations, testing these physical computing systems still face many challenges, such as...
conference paper 2018
document
Zhu, Q. (author), Panichella, Annibale (author), Zaidman, A.E. (author)
Mutation testing is widely considered as a high-end test coverage criterion due to the vast number of mutants it generates. Although many efforts have been made to reduce the computational cost of mutation testing, in practice, the scalability issue remains. In this paper, we explore whether we can use compression techniques to improve the...
conference paper 2018
document
Zhu, Q. (author), Panichella, A. (author), Zaidman, A.E. (author)
Mutation testing has been very actively investigated by researchers since the 1970s, and remarkable advances have been achieved in its concepts, theory, technology, and empirical evidence. While the most influential realisations have been summarised by existing literature reviews, we lack insight into how mutation testing is actually applied....
journal article 2018
document
Zhu, Q. (author), Panichella, A. (author), Zaidman, A.E. (author)
Mutation testing is widely considered as a high-end test criterion due to the vast number of mutants it generates. Although many efforts have been made to reduce the computational cost of mutation testing, its scalability issue remains in practice. In this paper, we introduce a novel method to speed up mutation testing based on state...
conference paper 2017
document
Zhu, Q. (author)
Tidal flats provide essential ecosystem services (e.g. coastal protection and function as habitats sustaining coastal food webs). They are also under pressure due to climate change and human interventions. To investigate the sediment dynamic processes on tidal flats for a better understanding of the morphological development, in situ...
doctoral thesis 2017
document
Liu, L. (author), Zlatanova, S. (author), Zhu, Q. (author), Li, K. (author)
This paper introduces and compares two types of GML-based data standards for indoor location-based services, i.e., iIndoorGML and iIndoorLocationGML. By elaborating the advantages of the both standards and their data models, we conclude that the two data standards are complementary to each other. A jointed data model is presented to show the...
conference paper 2017
document
Zhu, Q. (author), van Prooijen, Bram (author), Wang, Zhengbing (author), Yang, SL (author)
Short-term bed-level variability in tidal wetlands has important implication both for ecology and engineering. In this study, we combined in situ measurements with model simulations to quantify short-term bed-level changes on a meso-macrotidal wetland in the Yangtze River Delta. On the middle flat, we observed erosion during neap-to-mean tides...
journal article 2017
document
Yang, H. F. (author), Yang, S. L. (author), Xu, K. H. (author), Wu, H. (author), Shi, B. W. (author), Zhu, Q. (author), Zhang, W. X. (author), Yang, Z. (author)
Deltas are widely threatened by sediment starvation and climate change. Erosion potential is an important indicator of delta vulnerability. Here, we investigate the erosion potential of the Yangtze Delta. We found that over the past half century the Yangtze's sediment discharge has decreased by 80% due to the construction of >50,000 dams...
journal article 2017
document
Zlatanova, S. (author), Sithole, G. (author), Nakagawa, M. (author), Zhu, Q. (author)
Gi4DM 2015 marks the 10th edition of the Geoinformation for Disaster Management series of conferences. The first conference in 2005 was held in the aftermath of the 2004 Indian Ocean earthquake and tsunami which claimed the lives of over 220000 civilians. While Geoinformatics has a long been used in disaster management and monitoring, it was the...
conference paper 2015
document
Xiong, Q. (author), Zhu, Q. (author), Zlatanova, S. (author), Du, Z. (author), Zhang, Y. (author), Zeng, L. (author)
Indoor navigation is increasingly widespread in complex indoor environments, and indoor path planning is the most important part of indoor navigation. Path planning generally refers to finding the most suitable path connecting two locations, while avoiding collision with obstacles. However, it is a fundamental problem, especially for 3D complex...
conference paper 2015
document
Zlatanova, S. (author), Sithole, G. (author), Nakagawa, M. (author), Zhu, Q. (author)
Research in support of indoor mapping and modelling (IMM) has been active for over thirty years. This research has come in the form of As-Built surveys, Data structuring, Visualisation techniques, Navigation models and so forth. Much of this research is founded on advancements in photogrammetry, computer vision and image analysis, computer...
conference paper 2013
document
Xiong, Q. (author), Zhu, Q. (author), Zlatanova, S. (author), Huang, L. (author), Zhou, Y. (author), Du, Z. (author)
Aiming at the increasing requirements of seamless indoor and outdoor navigation and location service, a Chinese standard of Multidimensional Indoor Location Information Model is being developed, which defines ontology of indoor location. The model is complementary to 3D concepts like CityGML and IndoorGML. The goal of the model is to provide an...
conference paper 2013
document
Zhao, J. (author), Stoter, J. (author), Ledoux, H. (author), Zhu, Q. (author)
Many 3D GIS applications require 3D building models with different LoD (Level of Detail) that satisfy certain quality criteria. However, because of their complexity, most detailed 3D building models available are still produced manually, which results in inevitable geometric and topological errors. These errors hinder the downstream processing...
conference paper 2012
Searched for: author%3A%22Zhu%2C+Q.%22
(1 - 17 of 17)