AuGuSTe : a Tool for Statistical Testing Experimental results

@inproceedings{Gouraud2006AuGuSTeA,
  title={AuGuSTe : a Tool for Statistical Testing Experimental results},
  author={S.-D. Gouraud},
  year={2006}
}
  • S.-D. Gouraud
  • Published 2006
In a previous paper, we described a new generic method for statistical testing of software procedures, according to any given graphical description of the behavior of the system under test (control flow graph, statecharts, etc.). Its main originality is that it combines results and tools from combinatorics (random generation of combinatorial structures) with symbolic constraint solving, yielding a fully automatic test generation method. Instead of drawing input values as with classical testing… CONTINUE READING