Search based optimization techniques have been applied to structural software test data generation since 1992, with a recent upsurge in interest and activity within this area. How...
Search Based Software Engineering (SBSE) is an approach to software engineering in which search based optimization algorithms are used to identify optimal or near optimal solution...
Abstract. We consider software systems consisting of a single component running one sequential process only. We model such software systems as a special class of transition systems...
Isaac Corro Ramos, Alessandro Di Bucchianico, Lusi...
The purpose of this study is to develop a web-based Research Assistant System (RAS), a Knowledge Management System by community of practice, to improve the group performance of Re...
Abstract. We introduce a mathematical framework for black-box software testing of functional correctness, based on concepts from stochastic process theory. This framework supports ...