It is challenging to test applications and functions for which the correct output for arbitrary input cannot be known in advance, e.g. some computational science or machine learni...
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...
There are many formalism for mobile system specification, but until very recently, there was no satisfactory graphical notation for modelling of such systems. In a previous paper, ...
Abstract: This paper presents SMarty, a variability management approach for UMLbased software product lines (PL). SMarty is supported by a UML profile, the SMartyProfile, and a pro...
Edson Alves de Oliveira Junior, Itana Maria de Sou...
This paper deals with a common verification methodology and environment for SystemC BCA and RTL models. The aim is to save effort by avoiding the same work done twice by different...