Portable Runtime Verification with Smartphones and Optical Codes
We describe a prototype architecture for the runtime monitoring of Java programs using a smartphone. An online tool can produce an AspectJ file which, when woven with the program to be monitored and executed, instantiates a GUI window where XML events from the program’s execution are output in the form of QR codes. We illustrate the feasibility of this approach by monitoring runtime properties on the execution of a video game by pointing a handheld Android phone at the game’s screen and obtaining realtime feedback.
Unable to display preview. Download preview PDF.
- 3.Fritz, C., Arzt, S., Rasthofer, S., Bodden, E., Bartel, A., Klein, J., le Traon, Y., Octeau, D., McDaniel, P.: Flowdroid: Precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for android apps. In: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (to appear, June 2014)Google Scholar
- 5.Varvaressos, S., Lavoie, K., Blondin Massé, A., Gaboury, S., Hallé, S.: Automated bug finding in video games: A case study for runtime monitoring. In: Robinson, B., Williams, L., Wohlin, C. (eds.) ICST. IEEE (accepted for publication 2014)Google Scholar