Search for dissertations about: "situation testing"
Showing result 1 - 5 of 133 swedish dissertations containing the words situation testing.
-
1. Verification of Erlang Programs using Testing and Tracing
Abstract : Producing reliable computer programs is a difficult and expensivetask, and the constant demand for more and more complex systems doesnot make the task easier. In this thesis we present some programverification tools and techniques which can improve the situation. READ MORE
-
2. Essays on Discrimination in Hiring
Abstract : This thesis consists of four self-contained essays on discrimination in hiring. Essay I (co-authored with Dan-Olof Rooth) present evidence of ethnic discrimination in the recruitment process by sending fictitious applications to real job openings. READ MORE
-
3. Testing and Proving using Narrowing
Abstract : In order to know if a program is correct a specification of its intended behaviour must be stated. The two main activities concerning program correctness are testing and verification. READ MORE
-
4. New Constructions for Competitive and Minimal-Adaptive Group Testing
Abstract : Group testing (GT) was originally proposed during the World War II in an attempt to minimize the \emph{cost} and \emph{waiting time} in performing identical blood tests of the soldiers for a low-prevalence disease. Formally, the GT problem asks to find $d\ll n$ \emph{defective} elements out of $n$ elements by querying subsets (pools) for the presence of defectives. READ MORE
-
5. Life situation among persons living with inflammatory bowel disease
Abstract : Living with inflammatory bowel disease (IBD) affects physical, psychological and social dimensions, limiting the ability to engage in daily activities. Persons with IBD may need frequent and lifelong contacts with the healthcare (HC), highlighting the importance of quality care. READ MORE