Random testing for higher-order, stateful programs

Keyphrases

• High-order 100%
• Random Testing 100%
• Stateful 100%
• Test Case Generator 100%
• First-in-class 50%
• Type Systems 50%
• Testing Program 50%
• Racket 50%
• Effective Tool 50%
• Java 50%
• Operational Semantics 50%
• Semantic System 50%
• Class System 50%
• Mutable State 50%
• Prototype Implementation 50%
• Method Overriding 50%
• Formal Notation 50%
• Automatic Method 50%
• Text Editor 50%
• Pseudocode 50%

Computer Science

• And-States 100%
• Subclasses 50%
• Operational Semantics 50%
• Type Systems 50%
• Text Editor 50%
• Formal Notation 50%