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).
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 2025)
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).
Fernandes, P. B., Schlipf, D. ., & Trierweiler, J. O. (2006). Modeling and identification of nonlinear systems using SISO LEM-Hammerstein and LEM-Wiener model structures. In 6th IFAC Symposium on Advanced Control of Chemical Processes (Bd. 39, S. 1101–1106). http://doi.org/10.3182/20060402-4-br-2902.01101 (Original work published 2025)
Schlipf, D. ., Fernandes, P. B., & Trierweiler, J. O. (2006). Modeling and identification of nonlinear systems using MIMO LEM-Hammerstein structure. In Workshop on Solving Industrial Control and Optimization Problems. Gramado, Brazil. http://doi.org/10.18419/opus-8175 (Original work published 2025)
Petersen, K. ., Bramsiepe, N. ., & Pohl, K. . (2006). Applying variability modeling concepts to support decision making for service composition. In 2006 Service-Oriented Computing: Consequences for Engineering Requirements (SOCCER 06-RE 06 Workshop) (S. 1–1).
Christiansen, J. ., & Huch, F. . (2004). Searching for Deadlocks While Debugging Concurrent Haskell Programs. In Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming (S. 28–39). ACM. http://doi.org/10.1145/1016850.1016858