Data abstraction mechanisms in SINA/ST
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
Subject-oriented programming: a critique of pure objects
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Extreme programming explained: embrace change
Extreme programming explained: embrace change
Role model designs and implementations with aspect-oriented programming
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Model checking
Bandera: extracting finite-state models from Java source code
Proceedings of the 22nd international conference on Software engineering
Alcoa: the alloy constraint analyzer
Proceedings of the 22nd international conference on Software engineering
Aspect-oriented programming: Introduction
Communications of the ACM
Symbolic Model Checking
Supporting Formal Verification of Crosscutting Concerns
REFLECTION '01 Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns
Separation of Concerns in Mobile Agent Applications
REFLECTION '01 Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns
Verifying cross-cutting features as open systems
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Verifying cross-cutting features as open systems
ACM SIGSOFT Software Engineering Notes
Verifying aspect advice modularly
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Aspect language features for concern coverage profiling
Proceedings of the 4th international conference on Aspect-oriented software development
Foundations of incremental aspect model-checking
ACM Transactions on Software Engineering and Methodology (TOSEM)
Proceedings of the 6th international conference on Aspect-oriented software development
Control and data flow structural testing criteria for aspect-oriented programs
Journal of Systems and Software
Transactions on Aspect-Oriented Software Development V
Analysis of Aspect-Oriented Model Weaving
Transactions on Aspect-Oriented Software Development V
An Assume Guarantee Verification Methodology for Aspect-Oriented Programming
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
A Component Assembly Approach Based On Aspect-Oriented Generative Domain Modeling
Electronic Notes in Theoretical Computer Science (ENTCS)
Aspect-oriented modeling and verification with finite state machines
Journal of Computer Science and Technology - Special section on trust and reputation management in future computing systmes and applications
Decompositional algorithms for safety verification and testing of aspect-oriented systems
FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
Testing aspect-oriented programs with finite state machines
Software Testing, Verification & Reliability
Hi-index | 0.00 |
Aspect-oriented programming (AOP) is a programming paradigm such that crosscutting concerns including synchronization policies, resource sharing and performance optimizations over objects are modularized as aspects that are separated from objects. A compiler, called a weaver, weaves aspects and objects together into a program. In AOP, however, it is not easy to verify the correctness of a woven program because crucial behaviors are strongly influenced by aspect descriptions. In order to deal with such problem, this paper proposes an automatic verification approach using model checking that verifies whether the woven program contains unexpected behaviors such as deadlocks. The objectives of this paper are as follows: 1) to verify the correctness of AOP-based programs using model checking, 2) to provide AOP-based model checking frameworks.