OREGON STATE UNIVERSITY

You are here

Biblio

Found 1 results
Filters: Author is Margaria, Tiziana  [Clear All Filters]
2012
Groce, A., A. Fern, M. Erwig, J. Pinto, T. Bauer, and A. Alipour, "Learning-Based Test Programming for Programmers", Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, vol. 7609: Springer Berlin Heidelberg, pp. 572-586, 2012.