Rickard A. Åberg, Julia L. Lawall, Mario Südholt, Gilles Muller, Anne-Françoise Le Meur. On the automatic evolution of an OS kernel using temporal logic and AOP. In 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 6-10 October 2003, Montreal, Canada. pages 196-204, IEEE Computer Society, 2003. [doi]
Abstract is missing.