LIVIVO - The Search Portal for Life Sciences

zur deutschen Oberfläche wechseln
Advanced search

Search results

Result 1 - 10 of total 22

Search options

  1. Article: Exploring actionable visualizations for environmental data: Air quality assessment of two Belgian locations

    Carro, Gustavo / Schalm, Olivier / Jacobs, Werner / Demeyer, Serge

    Environmental modelling & software. 2022 Jan., v. 147

    2022  

    Abstract: Organizations collect an ever-increasing amount of data concerning environmental parameters. Non-experts may be confronted with an information overload, making the data meaningless. A way to circumvent this problem is visualizing the trends in the ... ...

    Abstract Organizations collect an ever-increasing amount of data concerning environmental parameters. Non-experts may be confronted with an information overload, making the data meaningless. A way to circumvent this problem is visualizing the trends in the pollution concentrations measured over time. However, non-experts do not have a mental model to derive air quality information from displayed concentration profiles. Therefore, a large fraction of the stakeholders remains unable to read/interpret such data effectively. To improve communication with stakeholders, we superposed health risk information from 9 different Air Quality Indices (AQIs) on different kinds of graphs. The visualization methods are applied on data collected by the Belgian Environment Agency from two monitoring stations located in contrasting regions, Ghent and Vielsalm. Supplementary, spatially distributed pollution is shown using data collected from Sentinel-5p satellite. Despite some limitations of the AQIs, the applied visualizations methods successfully translate the data obtained into actionable information.
    Keywords air quality ; computer software ; pollution ; risk ; satellites ; stakeholders
    Language English
    Dates of publication 2022-01
    Publishing place Elsevier Ltd
    Document type Article
    ISSN 1364-8152
    DOI 10.1016/j.envsoft.2021.105230
    Database NAL-Catalogue (AGRICOLA)

    More links

    Kategorien

    Order via subito

    This service is chargeable due to the Delivery terms set by subito. Orders including an article and supplementary material will be classified as separate orders. In these cases, fees will be demanded for each order.

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  2. Book ; Conference proceedings ; Online: 2014 Software Evolution Week - IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering

    Demeyer, Serge

    CSMR-WCRE 2014 ; Antwerp, Belgium, February 3-6, 2014

    2014  

    Author's details Serge Demeyer
    Language English
    Size Online-Ressource
    Publisher IEEE Computer Society
    Publishing place Washington, DC u.a.
    Document type Book ; Conference proceedings ; Online
    ISBN 9781479937523 ; 1479937525
    Database Former special subject collection: coastal and deep sea fishing

    More links

    Kategorien

    Order via subito

    This service is chargeable due to the Delivery terms set by subito. Orders including an article and supplementary material will be classified as separate orders. In these cases, fees will be demanded for each order.

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  3. Book ; Conference proceedings: 2014 Software Evolution Week - IEEE Conference on Software Maintenance, Reengineering and Reverse Engineering (CSMR-WCRE 2014)

    Demeyer, Serge

    Antwerp, Belgium, 3 - 6 February 2014 ; [proceedings]

    2014  

    Title variant SEW
    Institution Institute of Electrical and Electronics Engineers
    Event/congress IEEE Conference on Software Maintenance, Reengineering and Reverse Engineering (CSMR-WCRE) (1, 2014.02.03-06, Antwerp) ; Software Evolution Week (SEW) (1, 2014.02.03-06, Antwerp)
    Author's details [Serge Demeyer ...]
    Language English
    Size X, 479 S.
    Publisher IEEE
    Publishing place Piscataway, NJ
    Document type Book ; Conference proceedings
    Note Software Evolution Week joins the European Conference on Software Maintenance and Reengineering (CSMR) with the Working Conference on Reverse Engineering (WCRE)
    ISBN 9781479937523 ; 9781479937530 ; 1479937525 ; 1479937533
    Database Library catalogue of the German National Library of Science and Technology (TIB), Hannover

    More links

    Kategorien

    Order via subito

    This service is chargeable due to the Delivery terms set by subito. Orders including an article and supplementary material will be classified as separate orders. In these cases, fees will be demanded for each order.

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  4. Book ; Online: Mutant Density

    Parsai, Ali / Demeyer, Serge

    A Measure of Fault-Sensitive Complexity

    2021  

    Abstract: Software code complexity is a well-studied property to determine software component health. However, the existing code complexity metrics do not directly take into account the fault-proneness aspect of the code. We propose a metric called mutant density ... ...

    Abstract Software code complexity is a well-studied property to determine software component health. However, the existing code complexity metrics do not directly take into account the fault-proneness aspect of the code. We propose a metric called mutant density where we use mutation as a method to introduce artificial faults in code, and count the number of possible mutations per line. We show how this metric can be used to perform helpful analysis of real-life software projects.
    Keywords Computer Science - Software Engineering
    Publishing date 2021-04-25
    Publishing country us
    Document type Book ; Online
    Database BASE - Bielefeld Academic Search Engine (life sciences selection)

    Full text online

    More links

    Kategorien

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  5. Book ; Online: Comparing Mutation Coverage Against Branch Coverage in an Industrial Setting

    Parsai, Ali / Demeyer, Serge

    2021  

    Abstract: The state-of-the-practice in software development is driven by constant change fueled by continuous integration servers. Such constant change demands for frequent and fully automated tests capable to detect faults immediately upon project build. As the ... ...

    Abstract The state-of-the-practice in software development is driven by constant change fueled by continuous integration servers. Such constant change demands for frequent and fully automated tests capable to detect faults immediately upon project build. As the fault detection capability of the test suite becomes so important, modern software development teams continuously monitor the quality of the test suite as well. However, it appears that the state-of-the-practice is reluctant to adopt strong coverage metrics (namely mutation coverage), instead relying on weaker kinds of coverage (namely branch coverage). In this paper, we investigate three reasons that prohibit the adoption of mutation coverage in a continuous integration setting: (1) the difficulty of its integration into the build system, (2) the perception that branch coverage is "good enough", and (3) the performance overhead during the build. Our investigation is based on a case study involving four open source systems and one industrial system. We demonstrate that mutation coverage reveals additional weaknesses in the test suite compared to branch coverage and that it is able to do so with an acceptable performance overhead during project build.
    Keywords Computer Science - Software Engineering
    Subject code 070
    Publishing date 2021-04-23
    Publishing country us
    Document type Book ; Online
    Database BASE - Bielefeld Academic Search Engine (life sciences selection)

    Full text online

    More links

    Kategorien

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  6. Book ; Online: Do Null-Type Mutation Operators Help Prevent Null-Type Faults?

    Parsai, Ali / Demeyer, Serge

    2020  

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

    Abstract 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.
    Keywords Computer Science - Software Engineering
    Publishing date 2020-04-08
    Publishing country us
    Document type Book ; Online
    Database BASE - Bielefeld Academic Search Engine (life sciences selection)

    Full text online

    More links

    Kategorien

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  7. Book ; Online: Mutation Testing Optimisations using the Clang Front-end

    Vercammen, Sten / Demeyer, Serge / Borg, Markus / Pettersson, Niklas / Hedin, Görel

    2022  

    Abstract: Mutation testing is the state-of-the-art technique for assessing the fault detection capacity of a test suite. Unfortunately, a full mutation analysis is often prohibitively expensive. The CppCheck project for instance, demands a build time of 5.8 ... ...

    Abstract Mutation testing is the state-of-the-art technique for assessing the fault detection capacity of a test suite. Unfortunately, a full mutation analysis is often prohibitively expensive. The CppCheck project for instance, demands a build time of 5.8 minutes and a test execution time of 17 seconds on our desktop computer. An unoptimised mutation analysis, for 55,000 generated mutants took 11.8 days in total, of which 4.3 days is spent on (re)compiling the project. In this paper we present a feasibility study, investigating how a number of optimisation strategies can be implemented based on the Clang front-end. These optimisation strategies allow to eliminate the compilation and execution overhead in order to support efficient mutation testing for the C language family. We provide a proof-of-concept tool that achieves a speedup of between 2x and 30x. We make a detailed analysis of the speedup induced by the optimisations, elaborate on the lessons learned and point out avenues for further improvements.

    Comment: Submitted to STVR 2022
    Keywords Computer Science - Software Engineering
    Subject code 004
    Publishing date 2022-10-31
    Publishing country us
    Document type Book ; Online
    Database BASE - Bielefeld Academic Search Engine (life sciences selection)

    Full text online

    More links

    Kategorien

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  8. Book ; Online: Small-Amp

    Abdi, Mehrdad / Rocha, Henrique / Demeyer, Serge / Bergel, Alexandre

    Test Amplification in a Dynamically Typed Language

    2021  

    Abstract: Some test amplification tools extend a manually created test suite with additional test cases to increase the code coverage. The technique is effective, in the sense that it suggests strong and understandable test cases, generally adopted by software ... ...

    Abstract Some test amplification tools extend a manually created test suite with additional test cases to increase the code coverage. The technique is effective, in the sense that it suggests strong and understandable test cases, generally adopted by software engineers. Unfortunately, the current state-of-the-art for test amplification heavily relies on program analysis techniques which benefit a lot from explicit type declarations present in statically typed languages. In dynamically typed languages, such type declarations are not available and as a consequence test amplification has yet to find its way to programming languages like Smalltalk, Python, Ruby and Javascript. We propose to exploit profiling information --readily obtainable by executing the associated test suite-- to infer the necessary type information creating special test inputs with corresponding assertions. We evaluated this approach on 52 selected test classes from 13 mature projects in the Pharo ecosystem containing approximately 400 test methods. We show the improvement in killing new mutants and mutation coverage at least in 28 out of 52 test classes (53%). Moreover, these generated tests are understandable by humans: 8 out of 11 pull-requests submitted were merged into the main code base (72%). These results are comparable to the state-of-the-art, hence we conclude that test amplification is feasible for dynamically typed languages.
    Keywords Computer Science - Software Engineering
    Subject code 000
    Publishing date 2021-08-12
    Publishing country us
    Document type Book ; Online
    Database BASE - Bielefeld Academic Search Engine (life sciences selection)

    Full text online

    More links

    Kategorien

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  9. Book ; Online: C++11/14 Mutation Operators Based on Common Fault Patterns

    Parsai, Ali / Demeyer, Serge / De Busser, Seph

    2020  

    Abstract: The C++11/14 standard offers a wealth of features aimed at helping programmers write better code. Unfortunately, some of these features may cause subtle programming faults, likely to go unnoticed during code reviews. In this paper we propose four new ... ...

    Abstract The C++11/14 standard offers a wealth of features aimed at helping programmers write better code. Unfortunately, some of these features may cause subtle programming faults, likely to go unnoticed during code reviews. In this paper we propose four new mutation operators for C++11/14 based on common fault patterns, which allow to verify whether a unit test suite is capable of testing against such faults. We validate the relevance of the proposed mutation operators by performing a case study on seven real-life software systems.
    Keywords Computer Science - Software Engineering
    Publishing date 2020-04-08
    Publishing country us
    Document type Book ; Online
    Database BASE - Bielefeld Academic Search Engine (life sciences selection)

    Full text online

    More links

    Kategorien

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  10. Book: Software evolution

    Demeyer, Serge / Mens, Tom

    2008  

    Author's details Tom Mens; Serge Demeyer eds
    Keywords Softwareentwicklung ; Software Engineering
    Language English
    Size XVIII, 347 S., graph. Darst., 235 mm x 155 mm
    Publisher Springer
    Publishing place Berlin u.a.
    Document type Book
    Note Literaturverz. S. [309] - 339
    ISBN 3540764399 ; 9783540764397 ; 9783540764403 ; 3540764402
    Database Former special subject collection: coastal and deep sea fishing

    More links

    Kategorien

    Order via subito

    This service is chargeable due to the Delivery terms set by subito. Orders including an article and supplementary material will be classified as separate orders. In these cases, fees will be demanded for each order.

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

To top