Media type: E-Article Title: Logic for Programming, Artificial Intelligence, and Reasoning: Smart Testing of Functional Programs in Isabelle Contributor: Bulwahn, Lukas Published: Springer Berlin Heidelberg, 2012 Published in: Logic for Programming, Artificial Intelligence, and Reasoning (2012), Seite 153-167 Language: Not determined DOI: 10.1007/978-3-642-28717-6_14 ISSN: 0302-9743; 1611-3349 Origination: Footnote: