How to Kill Them All: An Exploratory Study on the Impact of Code Observability on Mutation Testing

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...

The application perspective of mutatoin testing

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...

Massively Parallel, Highly Efficient, but What about the Test Suite Quality? Applying Mutation Testing to GPU Programs

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...

Morphodynamic Feedback Loops Control Stable Fringing Flats

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...

An Investigation of Compression Techniques to Speed up Mutation Testing

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...

A Systematic Literature Review of How Mutation Testing Supports Quality Assurance Processes

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....

Mutation Testing for Physical Computing

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...

Speeding-Up Mutation Testing via Data Compression and State Infection

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...

Sediment dynamics on intertidal mudflats: A study based on in situ measurements and numerical modelling

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...

Bed-level changes on intertidal wetland in response to waves and tides: A case study from the Yangtze River Delta

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...

Erosion potential of the Yangtze Delta under sediment starvation and climate change

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...

Towards the integration of indoorGML and indoorlocationGML for indoor applications

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...

Preface Gi4DM

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...

Multi-level Indoor Path Planning Method

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...

Problems in indoor mapping and modelling

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...

Multi-dimensional indoor location information model

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...

Repair and generalization of hand-made 3D building models

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...