Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
A software application has strong relationships with the business processes it supports. In the analysis phase those parts of the processes in which the software system is applied...
In this paper, we present an approach that examines the evolution of code stored in source control repositories. The technique identifies Change Clusters, which can help managers...
Jay Kothari, Ali Shokoufandeh, Spiros Mancoridis, ...
This paper proposes an approach and a process to recover traceability links between source code and free text documents in software system developed with extensive use of COTS, mi...
Massimiliano Di Penta, Sara Gradara, Giuliano Anto...
We propose a new parallelization scheme for the hmmsearch function of the HMMER software, in order to target FPGA technology. hmmsearch is a very compute intensive software for bio...