– Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components to binary c...
Regression testing, which plays an important role in software maintenance, usually relies on test adequacy criteria to select and prioritize test cases. However, with the wide use...
Shan-Shan Hou, Lu Zhang, Tao Xie, Hong Mei, Jiasu ...
Component based design is a new paradigm to build distributed systems and applications. The problem of compositional verification of such systems is however still open. We investig...
This paper deals with the modeling and the automatic implementation of constraints in component based applications. Constraints have been assuming an ever more relevant role in mod...
Antonio Coronato, Antonio d'Acierno, Diego D'Ambro...
Component-based software development focuses on building large software systems by integrating existing software components to reduce cost, risk and time. However, behavioural and...