Efficient and expressive bytecode-level instrumentation for Java programs
Article Properties
-
LanguageEnglish
-
DOI (url)
-
Publication Date2023/06/29
-
Indian UGC (journal)
-
Refrences35
-
Citations1
-
Chukri Soueidi
-
Marius Monnier
-
Yliès Falcone
Journal Categories
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Computer software
Technology
Electrical engineering
Electronics
Nuclear engineering
Electronics
Computer engineering
Computer hardware
You May Also Like
- A New Approach to Abstract Syntax with Variable Binding
- Soundness of workflow nets: classification, decidability, and analysis
- Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker
- Synthesis of opaque systems with static and dynamic masks
- Robust online monitoring of signal temporal logic
Refrences
| Title | Journal | Journal Categories | Citations | Publication Date |
|---|---|---|---|---|
| A taxonomy for classifying runtime verification tools | International Journal on Software Tools for Technology Transfer |
| 9 | 2021 |
| First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014 | International Journal on Software Tools for Technology Transfer |
| 11 | 2019 |
Polymorphic bytecode instrumentation | Software: Practice and Experience |
| 1 | 2016 |
| Getting started with ASPECTJ | Communications of the ACM |
| 90 | 2001 |
| 10.1007/978-3-030-60508-7_18 | 2020 |
Citations
| Title | Journal | Journal Categories | Citations | Publication Date |
|---|---|---|---|---|
Introduction to the Special Issue on Runtime Verification | International Journal on Software Tools for Technology Transfer |
| 2023 |
Citations Analysis
The category
Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software 1
is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled Introduction to the Special Issue on Runtime Verification and was published in 2023. The most recent citation comes from a 2023 study titled Introduction to the Special Issue on Runtime Verification. This article reached its peak citation in 2023, with 1 citations. It has been cited in 1 different journals. Among related journals, the International Journal on Software Tools for Technology Transfer cited this research the most, with 1 citations. The chart below illustrates the annual citation trends for this article.