{'fraction_non_alphanumeric': 0.019316493313521546, 'fraction_numerical': 0.0, 'mean_word_length': 5.017857142857143, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Predictive Runtime Verification of Java Programs

For some key fields like energy, traffic, etc., the system software has high reliability demands, so that monitors not only need to pay attention on the current action of the system, but also the prediction of future software behavior to avoid disaster. However once been deployed, the only determinate characteristic can be used to predict is just the static software information. In this paper, we construct the method for getting the monitor which can predict the future event at runtime, and experiment to study the effect on the origin program. The results demonstrate that the predictive monitor is generally helpful.