MS Iqbal, R Krishna, MA Javidian, B Ray… - … on Computer Systems, 2022 - research.ibm.com
Modern computer systems are highly configurable, with the total variability space sometimes
larger than the number of atoms in the universe. Understanding and reasoning about the …