Using software product lines for runtime interoperability
Proceedings of the Workshop on AOP and Meta-Data for Software Evolution
Feature-oriented runtime adaptation
Proceedings of the 2009 ESEC/FSE workshop on Software integration and evolution @ runtime
On performance of delegation in Java
Proceedings of the 2nd International Workshop on Hot Topics in Software Upgrades
Dynamic code evolution for Java
Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java
Safely updating running software: tranquility at the object level
Proceedings of the 7th Workshop on Reflection, AOP and Meta-Data for Software Evolution
Using reified contextual information for safe run-time adaptation of software product lines
Proceedings of the 7th Workshop on Reflection, AOP and Meta-Data for Software Evolution
Electronic Notes in Theoretical Computer Science (ENTCS)
JavAdaptor: unrestricted dynamic software updates for Java
Proceedings of the 33rd International Conference on Software Engineering
Safe and atomic run-time code evolution for Java and its application to dynamic AOP
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Incremental dynamic updates with first-class contexts
TOOLS'12 Proceedings of the 50th international conference on Objects, Models, Components, Patterns
Unrestricted and safe dynamic code evolution for Java
Science of Computer Programming
Hi-index | 0.01 |
Temporal specifications can describe the legal call sequences of API libraries. With these specifications, verification tools can find defects in existing clients automatically. However, temporal specifications are often not provided due to the high ...