73 research outputs found
Do Null-Type Mutation Operators Help Prevent Null-Type Faults?
The null-type is a major source of faults in Java programs, and its overuse
has a severe impact on software maintenance. Unfortunately traditional mutation
testing operators do not cover null-type faults by default, hence cannot be
used as a preventive measure. We address this problem by designing four new
mutation operators which model null-type faults explicitly. We show how these
mutation operators are capable of revealing the missing tests, and we
demonstrate that these mutation operators are useful in practice. For the
latter, we analyze the test suites of 15 open-source projects to describe the
trade-offs related to the adoption of these operators to strengthen the test
suite
Mutation Testing as a Safety Net for Test Code Refactoring
Refactoring is an activity that improves the internal structure of the code
without altering its external behavior. When performed on the production code,
the tests can be used to verify that the external behavior of the production
code is preserved. However, when the refactoring is performed on test code,
there is no safety net that assures that the external behavior of the test code
is preserved. In this paper, we propose to adopt mutation testing as a means to
verify if the behavior of the test code is preserved after refactoring.
Moreover, we also show how this approach can be used to identify the part of
the test code which is improperly refactored
LittleDarwin: a Feature-Rich and Extensible Mutation Testing Framework for Large and Complex Java Systems
Mutation testing is a well-studied method for increasing the quality of a
test suite. We designed LittleDarwin as a mutation testing framework able to
cope with large and complex Java software systems, while still being easily
extensible with new experimental components. LittleDarwin addresses two
existing problems in the domain of mutation testing: having a tool able to work
within an industrial setting, and yet, be open to extension for cutting edge
techniques provided by academia. LittleDarwin already offers higher-order
mutation, null type mutants, mutant sampling, manual mutation, and mutant
subsumption analysis. There is no tool today available with all these features
that is able to work with typical industrial software systems.Comment: Pre-proceedings of the 7th IPM International Conference on
Fundamentals of Software Engineerin
Atlas construction and image analysis using statistical cardiac models
International audienceThis paper presents a brief overview of current trends in the construction of population and multi-modal heart atlases in our group and their application to atlas-based cardiac image analysis. The technical challenges around the construction of these atlases are organized around two main axes: groupwise image registration of anatomical, motion and fiber images and construction of statistical shape models. Application-wise, this paper focuses on the extraction of atlas-based biomarkers for the detection of local shape or motion abnormalities, addressing several cardiac applications where the extracted information is used to study and grade different pathologies. The paper is concluded with a discussion about the role of statistical atlases in the integration of multiple information sources and the potential this can bring to in-silico simulations
Cardiac T1 Mapping and Extracellular Volume (ECV) in clinical practice: a comprehensive review.
Cardiovascular Magnetic Resonance is increasingly used to differentiate the aetiology of cardiomyopathies. Late Gadolinium Enhancement (LGE) is the reference standard for non-invasive imaging of myocardial scar and focal fibrosis and is valuable in the differential diagnosis of ischaemic versus non-ischaemic cardiomyopathy. Diffuse fibrosis may go undetected on LGE imaging. Tissue characterisation with parametric mapping methods has the potential to detect and quantify both focal and diffuse alterations in myocardial structure not assessable by LGE. Native and post-contrast T1 mapping in particular has shown promise as a novel biomarker to support diagnostic, therapeutic and prognostic decision making in ischaemic and non-ischaemic cardiomyopathies as well as in patients with acute chest pain syndromes. Furthermore, changes in the myocardium over time may be assessed longitudinally with this non-invasive tissue characterisation method
Echocardiographic prediction of outcome after cardiac resynchronization therapy: conventional methods and recent developments
Echocardiography plays an important role in patient assessment before cardiac resynchronization therapy (CRT) and can monitor many of its mechanical effects in heart failure patients. Encouraged by the highly variable individual response observed in the major CRT trials, echocardiography-based measurements of mechanical dyssynchrony have been extensively investigated with the aim of improving response prediction and CRT delivery. Despite recent setbacks, these techniques have continued to develop in order to overcome some of their initial flaws and limitations. This review discusses the concepts and rationale of the available echocardiographic techniques, highlighting newer quantification methods and discussing some of the unsolved issues that need to be addressed
Dosimetry tools and techniques for IMRT
Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/98734/1/MPH001313.pd
- …