Christiansen, J. ., & Fischer, S. . (2008). EasyCheck — Test Data for Free. In Functional and Logic Programming (S. 322–336). Springer Berlin Heidelberg.
Abstract
We present a lightweight, automated tool for specification-based testing of declarative programs written in the functional logic programming language Curry and emphasize the usefulness of logic features in its implementation and use. Free variables, nondeterminism and encapsulated search turn out to be elegant and powerful means to express test-data generation.
Labes, A. ., Staufenberger, T. ., & Imhoff, J. F. (2008). Novel glycoside hydrolases for biotechnological application from marine resources. BioCat2008-Tagung. Abgerufen von http://oceanrep.geomar.de/691/
Petersen, K. ., Rönkkö, K. ., & Wohlin, C. . (2008). The impact of time controlled reading on software inspection effectiveness and efficiency: a controlled experiment. In Proceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement (S. 139–148).
Labes, A. ., Karlsson, N. ., Fridjonsson, O. ., Turner, P. ., Hreggvidson, G. ., Kristjansson, J. ., … Schönheit, P. . (2008). Novel members of glycoside hydrolase family 13 derived from environmental DNA. Applied and Environmental Microbiology, 74, 1914–1921. Abgerufen von http://oceanrep.geomar.de/7384/
Karlsson, E. N., Labes, A. ., Turner, P. ., Fridjonsson, O. H., Wennerberg, C. ., Pozzo, T. ., … Schönheit pages = 1006- 1014 P. (2008). Differences and similarities in enzymes from the neopullulanase subfamily isolated from thermophilic species. Biologia, 63. http://doi.org/10.2478/s11756-008-0171-3
erez-Guirao, M. D. P., Lübben, R. ., Zhao, Z. ., Kaiser, T. ., & Jobmann, K. . (2007). Cross-Layer MAC Design for IR-UWB Networks. In IEEE IWCLD (S. 113–116). http://doi.org/10.1109/IWCLD.2007.4379050 (Original work published 2025)
Jauch, C. ., Cronin, T. ., Sørensen, P. ., & Bak-Jensen, B. . (2007). A Fuzzy Logic Pitch Angle Controller for Power System Stabilization. WIND ENERGY, 10(1), 12.
Labes, A. . (2007). Neues aus dem Meer (News from the sea): Was können marine mikrobielle Ressourcen zur Nahrungsmittelveredlung beitragen? (What role can marine microbial resources play in food conditioning?). Neues aus dem Meer (WTSH). Abgerufen von http://oceanrep.geomar.de/6377/