Boyang Li
Title
Cited by
Cited by
Year
Inductive invariant generation via abductive inference
I Dillig, T Dillig, B Li, K McMillan
Acm Sigplan Notices 48 (10), 443-456, 2013
1072013
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
432017
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
362018
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
352016
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
342018
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
222016
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
222014
Synthesis of circular compositional program proofs via abduction
B Li, I Dillig, T Dillig, K McMillan, M Sagiv
International Conference on Tools and Algorithms for the Construction and …, 2013
21*2013
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
182015
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
52018
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
52016
Automatically documenting software artifacts
B Li
2016 IEEE International Conference on Software Maintenance and Evolution …, 2016
32016
[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
12018
Automatically Documenting Software Artifacts
B Li
12017
Enhancing utility and privacy of data for software testing
B Li
2014 IEEE Seventh International Conference on Software Testing, Verification …, 2014
12014
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
2017
Private database search with sublinear query time
KB Frikken, B Li
IFIP Annual Conference on Data and Applications Security and Privacy, 154-169, 2011
2011
The system can't perform the operation now. Try again later.
Articles 1–17