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.
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 2026)
Böttcher, S., Steinmetz, R., & Klein, N. (2007). XML index compression by DTD subtraction. In J. Cardoso, J. e Cordeiro, & J. Filipe (Hrsg.), 9th International Conference on Enterprise Information Systems (ICEIS) (S. 86–94).
Petersen, K., Zaha, J. M., & Metzger, A. (2007). Variability-driven selection of services for service compositions. In International Conference on Service-Oriented Computing (S. 388–400).
Jauch, C., Sørensen, P., Norheim, I., & Rasmussen, C. (2007). Simulation of the Impact of Wind Power on the Transient Fault Behavior of the Nordic Power System. ELECTRIC POWER SYSTEMS RESEARCH, (77), 10.
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.
Jauch, C., Islam, S. M., Sørensen, P., & Bak-Jensen, B. (2007). Design of a Wind Turbine Pitch Angle Controller for Power System Stabilisation. RENEWABLE ENERGY, 32(14), 6.