Combining Testing and Runtime Verification Techniques

Kevin Falzon, Gordon J. Pace. Combining Testing and Runtime Verification Techniques. In Ricardo Jorge Machado, Rita Suzana Pitangueira Maciel, Julia Rubin, Goetz Botterweck, editors, Model-Based Methodologies for Pervasive and Embedded Software, 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers. Volume 7706 of Lecture Notes in Computer Science, pages 38-57, Springer, 2012. [doi]

Authors

Kevin Falzon

This author has not been identified. Look up 'Kevin Falzon' in Google

Gordon J. Pace

This author has not been identified. It may be one of the following persons: Look up 'Gordon J. Pace' in Google