| Inductive invariant generation via abductive inference I Dillig, T Dillig, B Li, K McMillan Acm Sigplan Notices 48 (10), 443-456, 2013 | 159 | 2013 |
| Evaluating CoBlox: A comparative study of robotics programming environments for adult novices D Weintrop, A Afzal, J Salac, P Francis, B Li, DC Shepherd, D Franklin Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems …, 2018 | 99 | 2018 |
| Automated reporting of GUI design violations for mobile apps K Moran, B Li, C Bernal-Cárdenas, D Jelf, D Poshyvanyk Proceedings of the 40th International Conference on Software Engineering …, 2018 | 75 | 2018 |
| Reducing interruptions at work: A large-scale field study of flowlight M Züger, C Corley, AN Meyer, B Li, T Fritz, D Shepherd, V Augustine, ... Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems …, 2017 | 67 | 2017 |
| Automatically documenting unit test cases B Li, C Vendome, M Linares-Vásquez, D Poshyvanyk, NA Kraft 2016 IEEE international conference on software testing, verification and …, 2016 | 57 | 2016 |
| Documenting database usages and schema constraints in database-centric applications M Linares-Vásquez, B Li, C Vendome, D Poshyvanyk Proceedings of the 25th International Symposium on Software Testing and …, 2016 | 31 | 2016 |
| Synthesis of circular compositional program proofs via abduction B Li, I Dillig, T Dillig, K McMillan, M Sagiv Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013 | 31* | 2013 |
| Sanitizing and minimizing databases for software application test outsourcing B Li, M Grechanik, D Poshyvanyk 2014 IEEE Seventh International Conference on Software Testing, Verification …, 2014 | 27 | 2014 |
| How do developers document database usages in source code?(n) M Linares-Vásquez, B Li, C Vendome, D Poshyvanyk 2015 30th IEEE/ACM International Conference on Automated Software …, 2015 | 26 | 2015 |
| Aiding comprehension of unit test cases and test suites with stereotype-based tagging B Li, C Vendome, M Linares-Vásquez, D Poshyvanyk Proceedings of the 26th Conference on Program Comprehension, 52-63, 2018 | 13 | 2018 |
| [Engineering Paper] An IDE for easy programming of simple robotics tasks D Shepherd, P Francis, D Weintrop, D Franklin, B Li, A Afzal 2018 IEEE 18th International Working Conference on Source Code Analysis and …, 2018 | 8 | 2018 |
| Arbitrating traffic contention for power saving with multiple PSM clients D Liu, H Wang, G Zhou, W Mao, B Li IEEE Transactions on Wireless Communications 15 (10), 7030-7043, 2016 | 7 | 2016 |
| Automatically detecting integrity violations in database-centric applications B Li, D Poshyvanyk, M Grechanik 2017 IEEE/ACM 25th International Conference on Program Comprehension (ICPC …, 2017 | 3 | 2017 |
| Automatically documenting software artifacts B Li 2016 IEEE International Conference on Software Maintenance and Evolution …, 2016 | 3 | 2016 |
| Enhancing utility and privacy of data for software testing B Li 2014 IEEE Seventh International Conference on Software Testing, Verification …, 2014 | 1 | 2014 |
| Private database search with sublinear query time KB Frikken, B Li Data and Applications Security and Privacy XXV: 25th Annual IFIP WG 11.3 …, 2011 | | 2011 |
Denys PoshyvanykChancellor Professor of Computer Science, William and MaryVerified email at cs.wm.edu
