Collaborative Runtime Verification with Tracematches
Journal of Logic and Computation, pp. 707-723, 2010.
Runtime monitoringverificationrandomizationwhole-program analysisaspect-oriented programming
Perfect pre-deployment test coverage is notoriously difficult to achieve for large applications. Given enough end users, however, many more test cases will be encountered during an application's deployment than during testing. The use of runtime verification after deployment would enable developers to detect unexpected situations. Unf...More
Full Text (Upload PDF)
PPT (Upload PPT)