Software / Tools / Systems

• WReSTT: Web-based testing tool for teaching software testing.
• Model-Based Testing Platforms: Android and CPS system test environments.
• Runtime Verification Systems: For robotics and embedded systems.
• AI-enhanced Adaptive Learning Tools: NSF-funded educational research tools.
• SMT Solvers: Used for intelligent system analysis and formal verification.
• Maude: Used for smart contract verification in blockchain research.