OREGON STATE UNIVERSITY

You are here

Biblio

Found 52 results
Filters: Author is Groce, Alex  [Clear All Filters]
2013
Gligoric, M., A. Groce, C. Zhang, R. Sharma, M A. Alipour, and D. Marinov, "Comparing non-adequate test suites using coverage criteria", Proceedings of the 2013 International Symposium on Software Testing and Analysis - ISSTA 2013, Lugano, Switzerland, ACM Press, pp. 302-313, 07/2013.
Chen, Y., A. Groce, C. Zhang, W-K. Wong, X. Z. Fern, E. Eide, and J. Regehr, "Taming compiler fuzzers", ACM SIGPLAN Conference on Programming Language Design and Implementation: Seattle, Washington, pp. 197-208, 06/2013.
2012
Alipour, M A., and A. Groce, "Extended program invariants: applications in testing and fault localization", International Workshop on Dynamic Analysis, Minneapolis, MN, ACM Press, pp. 7-11 , 07/2012.
Groce, A., and M. Erwig, "Finding common ground: choose, assert, and assume", Proceedings of the 2012 Workshop on Dynamic Analysis - WODA 2012, Minneapolis, MN, ACM Press, pp. 12-17, 07/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.
Groce, A., C. Zhang, E. Eide, Y. Chen, and J. Regehr, "Swarm testing", ACM International Symposium on Software Testing and Analysis, Minneapolis, MN, ACM Press, pp. 78-88 , 07/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.
Groce, A., "Coverage rewarded: Test input generation via adaptation-based programming", IEEE/ACM International Conference on Automated Software Engineering, Lawrence, KS, IEEE, pp. 380 - 383, 11/2011.
Shinsel, A., T. Kulesza, M. M. Burnett, W. Curran, A. Groce, S. Stumpf, and W-K. Wong, "Mini-crowdsourcing end-user assessment of intelligent assistants: A cost-benefit study", 2011 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Pittsburgh, PA, IEEE, pp. 47 - 54, 09/2011.
Groce, A., and M. Musuvathi, Model Checking Software: Proceedings of the 18th International SPIN Workshop, , vol. 6823, Berlin, Heidelberg, Springer Berlin Heidelberg, 2011.
Holzmann, G. J., R. Joshi, and A. Groce, "Swarm Verification Techniques", IEEE Transactions on Software Engineering, vol. 37, issue 6, pp. 845 - 857, 11/2011.
Kulesza, T., M. M. Burnett, S. Stumpf, W-K. Wong, S. Das, A. Groce, A. Shinsel, F. Bice, and K. McIntosh, "Where are my intelligent assistant's mistakes? a systematic testing approach", Proceedings of the Third international conference on End-user development, Berlin, Heidelberg, Springer-Verlag, pp. 171–186, 06/2011.
2010
Barringer, H., A. Groce, K. Havelund, and M. Smith, "An Entry Point for Formal Methods: Specification and Analysis of Event Logs", 1st Workshop on Formal Methods in Aerospace, Electronic Proceedings of Theoretical Computer Science (EPTCS), vol. 20, Eindhoven, Holland, pp. 16 - 21, 11/2009, 2010.
Barringer, H., A. Groce, K. Havelund, and M. Smith, "Formal Analysis of Log Files", Journal of Aerospace Computing, Information, and Communication, vol. 7, issue 11, pp. 365 - 390, 11/2010.
Groce, A., K. Havelund, and M. Smith, "From Scripts to Specifications: the Evolution of a Flight Software Testing Effort", ACM/IEEE International Conference on Software Engineering, Cape Town, South Africa, pp. 129–138, 05/2010.
2009
Barringer, H., A. Groce, K. Havelund, and M. Smith, "Formal Analysis of Log Files", SMC-IT Workshop on Software Reliability for Space Missions, Pasadena CA, 07/2009.
Groce, A., "(Quickly) Testing the Tester via Path Coverage", Workshop on Dynamic Analysis, Chicago, Illinois, 07/2009.
Barringer, H., K. Havelund, D. E. Rydeheard, and A. Groce, "Rule Systems for Runtime Verification: A Short Tutorial", International Workshop on Runtime Verification, Grenoble, France, pp. 1-24, 06/2009.
2008
Havelund, K., A. Groce, G. J. Holzmann, R. Joshi, and M. Smith, "Automated Testing of Planning Models", Workshop on Model Checking and Artificial Intelligence (MoChArt), Patras, Greece, 07/2008.
Groce, A., and R. Joshi, "Exploiting traces in static program analysis: better model checking through printfs.", International Journal on Software Tools for Technology Transfer, vol. 10, issue 2, no. 2, pp. 131-144, 03/2008.
Groce, A., and R. Joshi, "Extending Model Checking with Dynamic Analysis", Conference on Verification, Model Checking and Abstract Interpretation, San Francisco, California, pp. 142–156, 01/2008.
Holzmann, G. J., R. Joshi, and A. Groce, "Model Checking Software Tackling Large Verification Problems with the Swarm Tool", SPIN Workshop on Model Checking of Software (SPIN), vol. 5156, Los Angeles, CA, Springer Berlin Heidelberg, pp. 134 - 143, 08/2008.
Holzmann, G. J., R. Joshi, and A. Groce, "Model driven code checking", Automated Software Engineering, Special Issue on Trends in Automated Software Engineering, vol. 15, issue 3-4, pp. 283 - 297, 12/2008.
Groce, A., G. J. Holzmann, R. Joshi, and R-G. Xu, "Putting Flight Software Through the Paces with Testing, Model Checking, and Constraint-Solving", In Workshop on Constraints in Formal Verification, Sydney, Australia, pp. 1--15, 08/2008.

Pages