Testing is a task that requires much effort, yet it is essential for developing software. Automated test case generation (TCG) promises to relieve humans of manual work. We introduce Muggl (the Muenster generator of glass-box test cases), which is developed at our institute. Muggl generates test...

Testing is a task that requires much effort, yet it is essential for developing software. Automated test case generation (TCG) promises to relieve humans of manual work. We introduce Muggl (the Muenster generator of glass-box test cases), which is developed at our institute. Muggl generates test...

Foreword -- 1. Introduction -- 2. Software Testing -- 3. Research Design -- 4. Technical Aspects: Muggl -- 5. Organizational Aspects: The IHK Project -- 6. Testing and E-Assesment -- 7. Conclusion -- 8. Future Work -- References -- Glossary -- Index

Parallel programming of MIMD machines with distributed memory is typically based on standardmessage passing libraries such as MPI [1], which leads to platform independent and efficientsoftware. However, the programming level is rather low, and the development of a parallel applicationcan be a...

Constraint-logic object-oriented programming is useful in the integrated development of business software that occasionally solves constraint-logic problems. So far, work in constraint-logic object-oriented programming was limited to considering constraints that only involve logic variables of...

Process-Driven Applications (PDA) combine Business Process Management and less-code approaches. They are typically based on executable process models, human tasks, and adapter code to external software services. Process data is shared across these artifacts, managed by a process engine....

Swarm intelligence (SI) algorithms are handy tools for solving complex optimization problems. When problems grow in size and complexity, an increase in population or number of iterations might be required in order to achieve a good solution. These adjustments also impact the execution time. This...