Using AOP for detailed runtime monitoring instrumentation

WODA 2009 - Proceedings of the 7th International Workshop on Dynamic Analysis, Held in Conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2009

Volumn , Issue , 2009, Pages 8-14

  Nusayr, Amjad ^a   Cook, Jonathan ^a  

^a NEW MEXICO STATE UNIVERSITY   (United States)

Author keywords

Aspect oriented programming; Runtime monitoring

Indexed keywords

ASPECT-J; BASIC BLOCKS; DATA ACCESS; FUNCTION CALLS; LEVEL OF DETAIL; MONITORING APPLICATIONS; PROTOTYPE IMPLEMENTATIONS; RUNTIME MONITORING;

ASPECT ORIENTED PROGRAMMING; SOFTWARE TESTING; WEAVING;

NETWORK COMPONENTS;

EID: 84858033935     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2134243.2134246     Document Type: Conference Paper

References (21)

1. M. Arnold and B. G. Ryder. A Framework for Reducing the Cost of Instrumented Code. SIGPLAN Not., 36(5):168-179, 2001.
2. P. Avgustinov, A. S. Christensen, L. Hendren, S. Kuzins, J. Lhoták, O. Lhoták, O. de Moor, D. Sereni, G. Sittampalam, and J. Tibble. Abc: an Extensible AspectJ Compiler. In AOSD '05: Proc. 4th Int'l Conf. on Aspect-Oriented Software Development, pages 87-98, New York, NY, USA, 2005. ACM.
3. P. Avgustinov, A. S. Christensen, L. Hendren, S. Kuzins, J. Lhoták, O. Lhoták, O. de Moor, D. Sereni, G. Sittampalam, and J. Tibble. Optimising AspectJ. In PLDI '05: Proc. 2005 ACM SIGPLAN Conf. on Programming Language Design and Implementation, pages 117-128, New York, NY, USA, 2005. ACM.
4. C. Bockisch, M. Haupt, M. Mezini, and K. Ostermann. Virtual Machine Support for Dynamic Join Points. In AOSD '04: Proc. 3rd International Conference on Aspect-Oriented Software Development, pages 83-92, New York, NY, USA, 2004. ACM. (Pubitemid 40682124)
5. E. Bodden and K. Havelund. Racer: Effective Race Detection Using Aspectj. In ISSTA '08: Proc. 2008 Int'l Symposium on Software Testing and Analysis, pages 155-166, New York, NY, USA, 2008. ACM.
6. J. Bonér and E. Kuleshov. Clustering the Java Virtual Machine using Aspect-Oriented Programming. In Proc. AOSD 2007 Industry Track, 2007.
7. F. Chen and G. Roşu. MOP: an Efficient and Generic Runtime Verification Framework. In OOPSLA '07: Proc. 22nd ACM SIGPLAN Conf. on Object Oriented Programming, Systems, and Applications, pages 569-588, New York, NY, USA, 2007. ACM.
8. R. Dyer and H. Rajan. Nu: a Dynamic Aspect-Oriented Intermediate Language Model and Virtual Machine for Flexible Runtime Adaptation. In AOSD '08: Proc. 7th Int'l Conf. on Aspect-Oriented Software Development, pages 191-202. ACM, 2008.
9. M. D. Ernst, J. H. Perkins, P. J. Guo, S. McCamant, C. Pacheco, M. S. Tschantz, and C. Xiao. The Daikon System for Dynamic Detection of Likely Invariants. Sci. Comput. Program., 69(1-3):35-45, 2007. (Pubitemid 350087239)
10. K. W. Hamlen and M. Jones. Aspect-Oriented In-lined Reference Monitors. In PLAS '08: Proc. 3rd ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, pages 11-20, New York, NY, USA, 2008. ACM.
11. B. Harbulot and J. R. Gurd. A Join Point for Loops in AspectJ. In AOSD '06: Proc. 5th Int'l Conf. on Aspect-Oriented Software Development, pages 63-74, New York, NY, USA, 2006. ACM. (Pubitemid 46644571)
12. R. Khaled, J. Noble, and R. Biddle. InspectJ: Program Monitoring for Visualisation using AspectJ. In ACSC '03: Proc. 26th Australasian Computer Science Conference, pages 359-368, Darlinghurst, Australia, Australia, 2003. Australian Computer Society, Inc.
13. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. G. Griswold. An Overview of AspectJ. In ECOOP '01: Proc. of the 15th European Conference on Object-Oriented Programming, pages 327-353, London, UK, 2001. Springer-Verlag. (Pubitemid 33291302)
14. K. Kiviluoma, J. Koskinen, and T. Mikkonen. Run-time Monitoring of Architecturally Significant Behaviors Using Behavioral Profiles and Aspects. In ISSTA '06: Proc. Int'l Symposium on Software Testing and Analysis, pages 181-190. ACM, 2006. (Pubitemid 46645529)
15. B. Liblit, A. Aiken, A. X. Zheng, and M. I. Jordan. Bug Isolation Via Remote Program Sampling. SIGPLAN Not., 38(5):141-154, 2003.
16. E. Metz, R. Lencevicius, and T. F. Gonzalez. Performance Data Collection Using a Hybrid Approach. SIGSOFT Softw. Eng. Notes, 30(5):126-135, 2005. (Pubitemid 43218819)
17. A. Nusayr and J. Cook. Extending AOP to Support Broad Runtime Monitoring Needs. In Proc. 2009 Int'l Conf. on Software Engineering and Knowledge Engineering (SEKE), 2009. to appear.
18. M. Palankar and J. E. Cook. Merging Traces of Hardware-Assisted Data Breakpoints. In WODA '05: Proc. 3rd International Workshop on Dynamic Analysis, pages 1-7, New York, NY, USA, 2005. ACM.
19. H. Rajan. A Case for Explicit Join Point Models for Aspect-Oriented Intermediate Languages. In VMIL '07: Proc. 1st Workshop on Virtual Machines and Intermediate Languages for Emerging Modularization Mechanisms, page 4, New York, NY, USA, 2007. ACM.
20. H. Rajan and K. Sullivan. Aspect Language Features for Concern Coverage Profiling. In AOSD '05: Proc. 4th Int'l Conference on Aspect-Oriented Software Development, pages 181-191, New York, NY, USA, 2005. ACM. (Pubitemid 43283510)
21. P. Zhou, F. Qin, W. Liu, Y. Zhou, and J. Torrellas. iWatcher: Efficient Architectural Support for Software Debugging. In Proc. of the 31st International Symposium on Computer Architecture (ISCA, pages 224-235, 2004.