@INPROCEEDINGS{HaehnleWallenburg03,
        AUTHOR             = {Reiner H\"{a}hnle and Angela Wallenburg},
        TITLE              = {Using a Software Testing Technique to Improve Theorem Proving},
        BOOKTITLE          = {Post Conference Proceedings,  
                              3rd International Workshop on Formal Approaches 
                              to Testing of Software (FATES 2003), Montr\'{e}al, 
                              Canada},
        EDITOR             = {Alexandre Petrenko and Andreas Ulrich},
        PUBLISHER          = {Springer-Verlag},
        SERIES             = {LNCS},
        VOLUME             =  2931,
        PAGES              = {30--41},
        YEAR               = {2004}
}