10 citations
3 papers
cs.SE2024★ 8 cited
Maximizing Patch Coverage for Testing of Highly-Configurable Software without Exploding Build Times
Necip Fazıl Yıldıran, Jeho Oh, Julia Lawall +1
The Linux kernel is highly-configurable, with a build system that takes a configuration file as input and automatically tailors the source code accordingly. Configurability, howeve…
cs.GT2022★ 10 cited
The Complexity of Matching Games: A Survey
Márton Benedek, Péter Biró, Matthew Johnson +2
Matching games naturally generalize assignment games, a well-known class of cooperative games. Interest in matching games has grown recently due to some breakthrough results and ne…
math.DG2009★ 6 cited
Cartan Connections and Lie Algebroids
Michael Crampin
This paper is a study of the relationship between two constructions associated with Cartan geometries, both of which involve Lie algebroids: the Cartan algebroid, due to [Blaom A.D…