Software estimation models should support managerial decision making in software projects. We experience that most of current models do not achieve this goal to the extend manager...
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition r...
Zijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivanc...
Abstract. This position paper investigates on the need to put software architecture evaluations for maintainability in a broader perspective than is done until now.