Establishing a software hypothesis