Monitoring Java programs with Java PathExplorer

Keyphrases

• Automated Instrumentation 25%
• Bytecode 25%
• Concurrency 25%
• Data Race 25%
• Deadlock 25%
• Detection Method 25%
• Efficient Data Structures 25%
• Error Detection 25%
• High-level Requirements 50%
• Java 100%
• Java Program 100%
• Logic Formulas 25%
• Low-level Errors 25%
• Maude 50%
• Program Execution 25%
• Program Testing 25%
• Requirements Specification 50%
• Rewriting Logic 25%
• Safety-critical Systems 25%
• Temporal Logic 25%
• Underlying Logic 25%

Computer Science

• Concurrency 50%
• Data Structure 50%
• Deadlock 50%
• Detection Procedure 50%
• Error Detection 50%
• Program Execution 50%
• Requirement Specification 100%
• Rewriting Logic 50%
• Safety Critical Systems 50%
• Temporal Logic 50%