Towards assisting developers in API usage by automated recovery of complex temporal patterns

Patterns in property specifications for finite-state verification

Matthew B. Dwyer, George S. Avrunin, James C. Corbett · 1999 · 1.4K citations

Computing, Computer Science, Mathematics +13

BIDE: efficient mining of frequent closed sequences

Jiang Wang, Jiawei Han · 2004 · 611 citations

Computing, Computer Science, Data Mining +12

2011 IEEE International Conference on Robotics and Automation

IEEE Transactions on Haptics · 2009 · 537 citations

Engineering, Mechatronics Engineering, Robotics Engineering +12

Perracotta

Jinlin Yang, David Evans, Deepali Bhardwaj et al. · 2006 · 406 citations

Computing, Computer Science, Formal Methods +11

What Makes APIs Hard to Learn? Answers from Developers

Martin P. Robillard · IEEE Software · 2009 · 383 citations

Computing, Design, Documentation +11