- About EECS
- The EECS Experience
- Research Overview
- Research Areas
- Research Facilities
- Technology Transfer
- Research Opportunities for Undergraduates
- Online Library
- Industry Relations
- Company Registration 2013
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. Musuvathi, Model Checking Software: Proceedings of the 18th International SPIN Workshop, , vol. 6823, Berlin, Heidelberg, Springer Berlin Heidelberg, 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.
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.
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.
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.
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.
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.