Boyang Li

19 papers A* 4A 8B 1C 1Journal 3Unranked 2
YearRankTypeTitle / Venue / Authors
2018 A conf
Aiding comprehension of unit test cases and test suites with stereotype-based tagging.
ICPC
Boyang Li, Christopher Vendome, Mario Linares-Vásquez, Denys Poshyvanyk
2018 J jnl
Automated Reporting of GUI Design Violations for Mobile Apps.
CoRR
Kevin Moran, Boyang Li, Carlos Bernal-Cárdenas, Dan Jelf, Denys Poshyvanyk
2018 A* conf
Automated reporting of GUI design violations for mobile apps.
ICSE
Kevin Moran, Boyang Li, Carlos Bernal-Cárdenas, Dan Jelf, Denys Poshyvanyk
2018 A* conf
Evaluating CoBlox: A Comparative Study of Robotics Programming Environments for Adult Novices.
CHI
David Weintrop, Afsoon Afzal, Jean Salac, Patrick Francis, Boyang Li, David C. Shepherd, Diana Franklin
2018 — conf
Evaluating CoBlox: A Comparative Study of Robotics Programming Environments for Adult Novices.
CHI Extended Abstracts
David Weintrop, Afsoon Afzal, Jean Salac, Patrick Francis, Boyang Li, David C. Shepherd, Diana Franklin
2018 C conf
[Engineering Paper] An IDE for Easy Programming of Simple Robotics Tasks.
SCAM
David C. Shepherd, Patrick Francis, David Weintrop, Diana Franklin, Boyang Li, Afsoon Afzal
2017 A conf
Automatically detecting integrity violations in database-centric applications.
ICPC
Boyang Li, Denys Poshyvanyk, Mark Grechanik
2017 A* conf
Reducing Interruptions at Work: A Large-Scale Field Study of FlowLight.
CHI
Manuela Züger, Christopher S. Corley, André N. Meyer, Boyang Li, Thomas Fritz, David C. Shepherd, Vinay Augustine, Patrick Francis, Nicholas A. Kraft, Will Snipes
2017 J jnl
Synthesis of circular compositional program proofs via abduction.
Int. J. Softw. Tools Technol. Transf.
Isil Dillig, Thomas Dillig, Boyang Li, Kenneth L. McMillan, Mooly Sagiv
2016 J jnl
Arbitrating Traffic Contention for Power Saving with Multiple PSM Clients.
IEEE Trans. Wirel. Commun.
Dachuan Liu, Haining Wang, Gang Zhou, Weizhen Mao, Boyang Li
2016 A conf
Automatically Documenting Software Artifacts.
ICSME
Boyang Li
2016 A conf
Automatically Documenting Unit Test Cases.
ICST
Boyang Li, Christopher Vendome, Mario Linares Vásquez, Denys Poshyvanyk, Nicholas A. Kraft
2016 A conf
Documenting database usages and schema constraints in database-centric applications.
ISSTA
Mario Linares Vásquez, Boyang Li, Christopher Vendome, Denys Poshyvanyk
2015 A* conf
How do Developers Document Database Usages in Source Code? (N).
ASE
Mario Linares Vásquez, Boyang Li, Christopher Vendome, Denys Poshyvanyk
2014 — conf
Enhancing Utility and Privacy of Data for Software Testing.
ICST Workshops
Boyang Li
2014 A conf
Sanitizing and Minimizing Databases for Software Application Test Outsourcing.
ICST
Boyang Li, Mark Grechanik, Denys Poshyvanyk
2013 A conf
Inductive invariant generation via abductive inference.
OOPSLA
Isil Dillig, Thomas Dillig, Boyang Li, Kenneth L. McMillan
2013 A conf
Synthesis of Circular Compositional Program Proofs via Abduction.
TACAS
Boyang Li, Isil Dillig, Thomas Dillig, Kenneth L. McMillan, Mooly Sagiv
2011 B conf
Private Database Search with Sublinear Query Time.
DBSec
Keith B. Frikken, Boyang Li