ConfigFix: Interactive Configuration Conflict Resolution for the Linux Kernel.
Patrick FranzThorsten BergerIbrahim FayazSarah NadiEvgeny GroshevPublished in: CoRR (2020)
Keyphrases
- conflict resolution
- linux kernel
- operating system
- source code
- resolve conflicts
- software systems
- clone detection
- product configuration
- access control policies
- resolving conflicts
- extended logic programs
- file system
- analysis tool
- collaborative design
- computer systems
- logic programming
- distributed systems
- cross organizational
- information systems