Checking Java implementation of a naming architecture using TestEra

Keyphrases

• Java Program 100%
• Java Implementation 100%
• In Alloy 50%
• First-order 50%
• Java 50%
• Automated Testing 50%
• Testing Method 50%
• Input Size 50%
• Resource Discovery 50%
• Alloy Model 50%
• Checking Tools 50%
• Automatically Generate 50%
• Fully-automatic 50%
• Non-isomorphic 50%
• Networked Environment 50%
• Correctness Criteria 50%
• Alloy Analyzer 50%
• Complex Data Structures 50%
• Automatic Simulation 50%
• Concretization 50%
• Automatic Checking 50%
• Relational Language 50%

Computer Science

• Data Structure 100%
• Resource Discovery 50%