David Wolfe

Latest

• Mining Assumptions for Software Components using Machine Learning
• Evaluating Model Testing and Model Checking for Finding Requirements Violations in Simulink Models