Copyright Notice, License, and Disclaimer for Check 'n' Crash and DSD-Crasher

Copyright (c) 2002-2008 Christoph Csallner and Yannis Smaragdakis

Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:

The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.

THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

ANT Contrib

Copyright [yyyy] [name of copyright owner].
Licensed under the Apache License, Version 2.0, which you can obtain at http://www.apache.org/licenses/LICENSE-2.0

BCEL

Copyright 2001 The Apache Software Foundation.
Licensed under the Apache Software License, Version 1.1, which you can obtain at http://jakarta.apache.org/bcel/license.html

CUP Parser Generator

Copyright 1996-1999 Scott Hudson, Frank Flannery, and C. Scott Ananian.
Licensed under a permissive license, which you can obtain at http://www.cs.princeton.edu/~appel/modern/java/CUP/#LICENSE

Daikon

Copyright 1998-2005 Massachusetts Institute of Technology.
Licensed under a permissive license, which you can obtain at http://pag.csail.mit.edu/daikon/download/doc/daikon.html#License

ESC/Java

Copyright 1998-2001 Compaq Computer Corporation.
Licensed under the ESC/Java sources - Online License, which you can obtain at http://research.compaq.com/SRC/esc/download.html/

ESC/Java2

Copyright [yyyy] [name of copyright owner].
See http://secure.ucd.ie/products/opensource/ESCJava2/license.html.

GNU getopt

Copyright 1998 Aaron M. Renn.
Licensed under the GNU Library GPL, which you can obtain at http://www.gnu.org/copyleft/library.html

Jakarta Regexp

Copyright 1999-2002 The Apache Software Foundation.
Licensed under the Apache Software License, Version 1.1, see jakarta-regexp.license.txt

JML specs

Copyright 1998, 1999 Iowa State University.
Licensed under the GNU General Public License; either version 2, which you can obtain at http://www.gnu.org/copyleft/gpl.html, or (at your option) any later version

JUnit

Copyright [yyyy] Erich Gamma and Kent Beck.
Licensed under the Common Public License Version 1.0, which you can obtain at http://www.opensource.org/licenses/cpl.php

POOC

Copyright 2002 Fraunhofer-Gesellschaft.
Licensed under an X11-style license, see pooc.license.txt