HOL-TestGen 1.8.0 User Guide

• Brucker, A.D. https://orcid.org/0000-0002-6355-1200
• Brügger, L.
• Feliachi, A.
• Keller, C.
• Krieger, M.P.
• Longuet, D.
• Nemouchi, Y.
• Tuong, F.
• Wolff, B.

© 2003–2012 ETH Zurich, Switzerland © 2007–2015 Achim D. Brucker, Germany © 2008–2016 University Paris-Sud, France © 2016 The University of Sheffield, UK All rights reserved. Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met: • Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer. • Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution. • Neither the name of the copyright holders nor the names of its contributors may be used to endorse or promote products derived from this software without specific prior written permission.

• Published: 23 April 2016

• Author