PET: An interactive software testing tool

Keyphrases

• Concurrent Programs 100%
• Path Exploration 100%
• Exploration Tool 100%
• Tool System 100%
• Interactive Software 100%
• Software Testing Tool 100%
• Visual Representation 50%
• Graph Representation 50%
• Automatically Generate 50%
• Automatic Verification 50%
• Finite State Systems 50%
• Sequential Programs 50%
• Execution Path 50%
• Testing Approaches 50%
• Flow Graph 50%
• Concurrent Events 50%
• Bell Labs 50%
• Order of Appearance 50%
• Interactive Testing 50%
• Interleaved Sequence 50%
• Deductive Program Verification 50%
• Program Variable 50%
• Exact Conditions 50%

Computer Science

• Concurrent Program 100%
• Software Testing 100%
• Interactivity 100%
• Program Variable 50%
• Program Verification 50%
• Sequential Program 50%
• Execution Path 50%
• Visual Representation 50%
• Concurrent Event 50%
• Graphical Representation 50%