Abdelouahed GherbiAli KansoFerhat KhendekAbdelwahab Hamou-LhadjMaria ToeroeA Tool Suite for the Generation and Validation of Configurations for Software Availability.671-6732009ASEhttps://doi.org/10.1109/ASE.2009.18https://doi.ieeecomputersociety.org/10.1109/ASE.2009.18https://www.wikidata.org/entity/Q118322451conf/kbse/2009db/conf/kbse/ase2009.html#GherbiKKHT09