Automated Generation of Model-Based Constraints for Common Multi-core and Real-Time Applications Using Execution Tracing
Research on generating model-based constraints for real-time and multicore applications from execution traces and recurring event patterns.