Collaborative Runtime Verification with Tracematches

Journal of Logic and Computation, pp. 707-723, 2010.

Cited by: 0|Bibtex|Views1|Links
EI WOS
Keywords:
Runtime monitoringverificationrandomizationwhole-program analysisaspect-oriented programming

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments