Cited in
(21)- Using abstract interpretation to add type checking for interfaces in Java bytecode verification
- LoPSiL
- Mnemonics
- DyC
- Flask
- JADEPT
- Rigi
- LMS
- ASM
- JSamba
- CVSscan
- GaniFA
- EPOSee
- TimeMachine
- Vizz3D
- WinCVS
- XRadar
- Runtime enforcement monitors: Composition, synthesis, and enforcement abilities
- Design pattern detection in Java systems: A dynamic analysis based approach
- \textsc{Mnemonics}: type-safe bytecode generation at run time
- Software Visualization
This page was built for software: BCEL
