Skip to main content

4 Result(s)

within David Landsberg Remove this filter

and

  1. Chapter and Conference Paper

    Optimising Spectrum Based Fault Localisation for Single Fault Programs Using Specifications

    Spectrum based fault localisation determines how suspicious a line of code is with respect to being faulty as a function of a given test suite. Outstanding problems include identifying properties that the test...

    David Landsberg, Youcheng Sun… in Fundamental Approaches to Software Enginee… (2018)

    Download PDF (537 KB) View Chapter

  2. No Access

    Chapter and Conference Paper

    Probabilistic Fault Localisation

    Efficient fault localisation is becoming increasingly important as software grows in size and complexity. In this paper we present a new formal framework, denoted probabilistic fault localisation (pfl), and compa...

    David Landsberg, Hana Chockler… in Hardware and Software: Verification and Te… (2016)

  3. Chapter and Conference Paper

    Evaluation of Measures for Statistical Fault Localisation and an Optimising Scheme

    Statistical Fault Localisation (SFL) is a widely used method for localizing faults in software. SFL gathers coverage details of passed and failed executions over a faulty program and then uses ...

    David Landsberg, Hana Chockler… in Fundamental Approaches to Software Enginee… (2015)

    Download PDF (325 KB)

  4. No Access

    Article

    Probability of mortality of critically ill cancer patients at 72 h of intensive care unit (ICU) management

    To develop and validate a model for probability of hospital mortality for cancer patients at 72 h of intensive care unit (ICU) management.

    Jeffrey S. Groeger, Jill Glassman, David M. Nierman… in Supportive Care in Cancer (2003)