Sökning: "situation testing"

Visar resultat 1 - 5 av 143 avhandlingar innehållade orden situation testing.

1. 1. Verification of Erlang Programs using Testing and Tracing

   Författare :Hans Svensson; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Erlang; Verification; Testing; Tracing;

   Sammanfattning : 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. LÄS MER

3. 2. Essays on Discrimination in Hiring

   Författare :Magnus Carlsson; Dan-Olof Rooth; Jan Ekberg; Petter Lundborg; Växjö universitet; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; ethnic discrimination; sex discrimination; sex segregation; correspondence testing; situation testing; field experiments; hiring; job search; exit from unemployment; Economics; Nationalekonomi; Economics; Nationalekonomi;

   Sammanfattning : 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. LÄS MER

4. 3. Testing and Proving using Narrowing

   Författare :Fredrik Lindblad; Göteborgs universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; program correctness; software testing; formal verification; proof construction; dependent types; type theory; narrowing; dependent types;

   Sammanfattning : 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. LÄS MER

5. 4. New Constructions for Competitive and Minimal-Adaptive Group Testing

   Författare :Muhammad Azam Sheikh; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; strict group testing; disjoint pools; randomization; competitive group testing; minimal-adaptive group testing; exact bounds; competitive ratio;

   Sammanfattning : 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. LÄS MER

7. 5. Life situation among persons living with inflammatory bowel disease

   Författare :Katarina Pihl Lesnovska; Sussanne Börjeson; Henrik Hjortswang; Gunilla Hollman Frisman; Bodil Ohlsson; Linköpings universitet; []
   Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; critical incident; Crohn’s disease; inflammatory bowel disease; knowledge need; life situation; perception of healthcare; quality of care; ulcerative colitis;

   Sammanfattning : 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. LÄS MER