Software reliability models are an important tool in quality management and release planning. There is a large number of different models that often exhibit strengths in differen...
We propose a novel, practical coverage metric called “location pairs” (LP) for concurrently-accessed software components. The LP metric captures well common concurrency errors ...
Serdar Tasiran, Tayfun Elmas, Guven Bolukbasi, M. ...
This paper presents J-RAn (Java Requirement Analyzer), a tool that implements a novel Content Analysis technique to support the verification of consistency and completeness of a So...
When developing large software products many verbal and written interactions take place. In such interactions the use of abstract and uncertain expressions is considered advantageo...
: Self-adaptive software systems use observations of their own behavior, and that of their environment, to select and enact adaptations in accordance with some objective(s). This a...