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]
@inproceedings{FalzonP12,
title = {Combining Testing and Runtime Verification Techniques},
author = {Kevin Falzon and Gordon J. Pace},
year = {2012},
doi = {10.1007/978-3-642-38209-3_3},
url = {http://dx.doi.org/10.1007/978-3-642-38209-3_3},
researchr = {https://researchr.org/publication/FalzonP12},
cites = {0},
citedby = {0},
pages = {38-57},
booktitle = {Model-Based Methodologies for Pervasive and Embedded Software, 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers},
editor = {Ricardo Jorge Machado and Rita Suzana Pitangueira Maciel and Julia Rubin and Goetz Botterweck},
volume = {7706},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-38209-3},
}