—Test-suite augmentation for evolving software— the process of augmenting a test suite to adequately test software changes—is necessary for any program that undergoes modifi...
Understanding the characteristics of the users’ workload is an important aspect when designing and providing web services. The majority of current workload characterization tech...
What was I working on before the weekend? and What were the members of the my team working on during the last week? are common questions that are frequently asked by a developer. ...
Abstract. We develop an algebraic modal logic that combines epistemic and dynamic modalities with a view to modelling information acquisition (learning) by automated agents in a ch...
During development and testing, changes made to a system to repair a detected fault can often inject a new fault into the code base. These injected faults may not be in the same f...