In this paper, we present several tools for analyzing parallel programs. The tools are built on top of a compiler infrastructure, which provides advanced capabilities for symbolic...
Brian Armstrong, Seon Wook Kim, Insung Park, Micha...
In this paper, we present a prototype tool that supports the systematic development of software architectures driven by quality requirements using architectural tactics. The tool ...
Tool integration has been an important research area for many years after software engineering became a key player in information industry. With the Internet establishing ubiquitou...
Learning in hyperspace provided by Web contents requires learners not only to navigate the Web pages to construct their own knowledge from the contents learned at and between the ...
SUDS is a powerful infrastructure for creating dynamic bug detection tools. It contains phases for both static analysis and dynamic instrumentation allowing users to create tools ...