OREGON STATE UNIVERSITY

You are here

Biblio

Found 3 results
Filters: Author is Alipour, Amin  [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.
Groce, A., A. Fern, J. Pinto, T. Bauer, A. Alipour, M. Erwig, and C. Lopez, "Lightweight Automated Testing with Adaptation-Based Programming", IEEE 23rd International Symposium on Software Reliability Engineering (ISSRE), Dallas, TX, IEEE, pp. 161 - 170, 11/2012.
2011
Alipour, A., and A. Groce, "Bounded Model Checking and Feature Omission Diversity", Seventh International Workshop on Constraints in Formal Verification, San Jose, California, 11/2011.