# A Kconfig Translation to Logic with One-Way Validation System

> Research article (Proceedings of the 23rd International Systems and Software Product Line Conference - Volume A, 2019) · cited 45× · AI/ML

**Wikidata**: [openalex:W2970432965](https://www.wikidata.org/wiki/openalex:W2970432965)  
**Source**: https://4ort.xyz/entity/a-kconfig-translation-to-logic-with-one-way-validation-system