Mistral is an open source software for biometrics applications. This software, based on the well-known UBM/GMM approach includes also the latest speaker recognition developments s...
Eric Charton, Anthony Larcher, Christophe Levy, Je...
We present an automatic verification procedure based on RGSep that is suitable for reasoning about fine-grained concurrent heapmanipulating programs. The procedure computes a set o...
This experience report describes the challenges and initial steps taken to move a large development team from traditional waterfall test phases to agile test methods. In late 2007...
An important aspect of developing models relating the number and type of faults in a software system to a set of structural measurement is defining what constitutes a fault. By de...
In this paper we discuss how software quality assurance is realized in Rational Objectory. Although much support is given through guidelines and checkpoints, the tool fails to prov...