1. Extract the Object Usage Model using the OUMExtractor Example: ./oumextractor -createdir ~/.../aspectjVersionXX/ ~/.../aspectjModels (please note that the aspectj-versionXX.jar file should be copied to the aspectjVersionXX folder) 2. Find patterns Example: ./jadet -output-patterns -models-dir ~/.../aspectjModels -very-short 20 2 ~/.../aspectj.pat 3. Find violations of those patterns Example: ./jadet -output-violations-xml -models-dir ~/.../aspectjModels/ 20 2 10000 0.9 ~/.../aspectj_violations.xml 4. Run the GUI to look at the violations Example: ./jadet -edit-violations-xml ~/.../aspectj_violations.xml