Abstract
In this extended abstract, we sketch an approach for the
automatic generation of test inputs that can be used for unit testing
Mercury programs.
Original language | English |
---|---|
Place of Publication | Venice Italy |
Publisher | G. Puebla |
Publication status | Published - 2006 |