Modern file systems provide a set of mechanisms to ensure consistent recovery of the file system in the event of a computer crash. However, these mechanisms are complex and hard to implement correctly. Furthermore, these mechanisms are time consuming to test, leading to only a cursory set of crash consistency tests being run on new file systems and any patches submitted to existing file systems...

This paper presents a new approach for automated test data generation of imperative programs containing integer, boolean and/or oat variables. A test program (with procedure calls) is represented by an Interprocedural Control Flow Graph (ICFG). The classical testing criteria (statement, branch, and path coverage), widely used in unit testing, are extended to the ICFG. Path coverage is the core ...

The determination of examinee effort is an important component of a neuropsychological evaluation and relies heavily on the use of symptom validity tests (SVTs) such as the Test of Memory Malingering (TOMM) and the Word Memory Test (WMT). Diagnostic utility of SVTs varies. The sensitivity of traditional TOMM criteria to suboptimal effort is low. An index of response consistency across three tri...