Combining software evidence