• Choi, W., Necula, G., & Sen, K. (2013). Guided GUI Testing of Android Applications with Minimal Restart and Approximate Learning. In Annual Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'13). | bibtex | pdf
  • Sen, K., Kalasapur, S., Brutch, T., & Gibbs, S. (2013). Jalangi: A Selective Record-Replay and Dynamic Analysis Framework for JavaScript. In 9th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'13). | bibtex | pdf
  • Sen, K., Kalasapur, S., Brutch, T., & Gibbs, S. (2013). Jalangi: A Tool Framework for Concolic Testing, Selective Record-Replay, and Dynamic Analysis of JavaScript. In 9th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'13). | bibtex | pdf
  • Bodik, R., & Jobstmann, B. (2013). Algorithmic program synthesis: introduction. International Journal on Software Tools for Technology Transfer, 1-15. | bibtex | www
  • Meyerovich, L. A., Torok, M. E., Atkinson, E., & Bodik, R. (2013). Parallel schedule synthesis for attribute grammars. In Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of parallel programming, New York, NY, USA. | bibtex | www
  • Elmas, T., Burnim, J., Necula, G., & Sen, K. (2013). CONCURRIT: A Domain Specific Language for Reproducing Concurrency Bugs. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'13). | bibtex | pdf
  • Cadar, C., & Sen, K. (2013). Symbolic Execution for Software Testing: Three Decades Later. Communications of the ACM, 56(2), 82-90. | bibtex | pdf
  • Lu, E., & Bodik, R. ((2013). Quicksilver: Automatic Synthesis of Relational Queries.). Unpublished Master's Dissertation. | bibtex | www
  • Srivastava, S., Hsiau, T., Chasins, S., Kotker, J., Ho, Y.-S., & Ruan, P., et al. (2013). Biochemistry as a Programming Language. In Proc. Off the Beaten Track (OBT/POPL). | bibtex
  • Koksal, A. S., Pu, Y., Srivastava, S., Bodik, R., Fisher, J., & Piterman, N. (2013). Synthesis of biological models from mutation experiments. In Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, New York, NY, USA. | bibtex | www

publications.txt · Last modified: 2013/09/18 10:11 by ksen