This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...
In recent years, science education has been the focus of study and development of new gamebased learning environments. It has been argued that active and critical learning about r...
The conduct of collaborative scientific study mediated by the internet — e-Science — is giving rise to a new type of large distributed software project. This paper reports in...