TAOSD Special Issue on Runtime Verification and Analysis
NOTE: The submission deadline has been extended by two weeks!
This web page gives information about a special issue for the Springer Transactions on Aspect-Oriented Software Development (TAOSD).
For more than a decade, researchers and practitioners have wondered about a so-called “killer application” for aspect-oriented programming (AOP). Runtime verification (RV) has turned out to be one of the most convincing use cases for AOP. Runtime verification tools typically instrument a program under test with an oracle, defined through a high-level specification language such as a temporal logic or model-based formalism. Prior to the advent of AOP, all of those tools resorted to manual program instrumentation, on source code, bytecode or machine code. This made tools and approaches hard to understand, compare, compose and prove correct. Since then, the advent of AOP has radically changed the way in which tools for RV and dynamic analysis are developed. Nowadays, most tools instrument programs by generating aspects from domain-specific textual descriptions or visual models, or use a programming model based on AOP concepts. But research results also flow in the other direction: requirements for RV and dynamic analysis tools have lead to novel AOP language constructs improving the performance, modularity and maintainability of the analysis code. The purpose of this special issue is to collect a set of papers that demonstrate how the two fields of AOP and RV / dynamic analysis have influenced and continue to influence each other.
Call for Papers
Papers may address any aspect of runtime verification related to aspects, including but not limited to:
- historical or comparative surveys related to aspects and runtime verification / dynamic analysis
- transformations from high-level specifications or models to monitoring aspects
- correctness of monitoring aspects
- static and dynamic optimizations of monitoring aspects
- aspects for security and traceability
- domain-specific AOP language abstractions or visual formalisms for runtime verification
- modularity and composability of runtime monitors or dynamic analysis code
- runtime verification of hardware or hardware descriptions
Extended versions of previously published workshop or conference publications will be considered for publication in this special issue if the new content exceeds 30% of the submitted manuscript’s contribution. Submitted papers should include information about how they relate to the authors’ own previous work, and an accompanying letter should state any previously published parts if applicable. Also, we ask authors to include a description of how the described approach uses AO concepts, and how it compares to other AO techniques in the field.
Manuscripts should follow LNCS formatting guidelines, and should be submitted as PDF files via EasyChair.
While there is no strict page limit, we encourage authors to describe their research as thoroughly as necessary but as concisely as possible at the same time. For any enqueries, please contact the guest editors at email@example.com.
Eric Bodden, Secure Software Engineering Group
European Center for Security and Privacy by Design, Technische Universität Darmstadt, Germany
Shahar Maoz, Software Engineering, Department of Computer Science 3
RWTH Aachen University, Aachen, Germany
- Submission deadline (EXTENDED!): August 29th, 2012
- First Round Review Notification: November 15st, 2012
- Re-Submission Revised Papers: February 15th, 2013
- Second Round Review Notifications: April 14th, 2013
- Submission of Camera-Ready Copy: May 17th, 2013