Get started
Keyword

bug detection

Description: A software engineering activity or technique for finding defects in source code or program behavior.
OpenAlex ID: keywords/bug-finding
Pin
2005 · Chi-Keung Luk, Robert Cohn, et al. · ACM SIGPLAN Notices · 3,181
KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs
2008 · Cristian Cadar, Daniel Dunbar, et al. · 2,776
Pin
2005 · Chi-Keung Luk, Robert Cohn, et al. · Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation · 2,312
Static Analysis of Shape in TensorFlow Programs
2016 · The Theano Development Team, Al-Rfou, Rami, et al. · arXiv (Cornell University) · 1,589
PDF
EXE
2006 · Cristian Cadar, Vijay Ganesh, et al. · Proceedings of the ACM Conference on Computer and Communications Security · 788
Finding bugs is easy
2004 · David Hovemeyer, William Pugh · Companion to the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA Companion) · 768
ZEUS: Analyzing Safety of Smart Contracts
2018 · Sukrit Kalra, Seep Goel, et al. · Network and Distributed System Security Symposium · 744
PDF
Mining specifications
2002 · Glenn Ammons, Rastislav Bodík, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 675
Bandit problems
1985 · Donald A. Berry, Bert Fristedt · Springer eBooks · 633
VUzzer: Application-aware Evolutionary Fuzzing
2017 · Sanjay Rawat, Vivek Jain, et al. · Network and Distributed System Security Symposium · 624
CP-Miner: finding copy-paste and related bugs in large-scale software code
2006 · Z. Li, S. Lu, et al. · IEEE Transactions on Software Engineering · 612
A Decision Procedure for Bit-Vectors and Arrays
2007 · Vijay Ganesh, David L. Dill · Springer eBooks · 595
Why don't software developers use static analysis tools to find bugs?
2013 · Brittany Johnson, Yoonki Song, et al. · Proceedings/Proceedings - International Conference on Software Engineering · 568
The Measurement of Visual Motion
1985 · S. Ullman, E. C. Hildreth · Springer series in information sciences · 553
Learning to Represent Programs with Graphs
2017 · Allamanis, Miltiadis, Brockschmidt, Marc, et al. · arXiv (Cornell University) · 545
PDF
Using Static Analysis to Find Bugs
2008 · Nathaniel Ayewah, William Pugh, et al. · IEEE Software · 535
S2E
2011 · Vitaly Chipounov, Volodymyr Kuznetsov, et al. · 514
CCured
2012 · George C. Necula, Scott McPeak, et al. · ACM SIGPLAN Notices · 502
FairFuzz: a targeted mutation strategy for increasing greybox fuzz testing coverage
2018 · Caroline Lemieux, Koushik Sen · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 475
PDF
Differential Testing for Software.
1998 · W. M. McKeeman · 469
Osiris
2018 · Christof Ferreira Torres, Julian Schütte, et al. · Annual Computer Security Applications Conference · 444
PDF
A NICE way to test openflow applications
2012 · Marco Canini, Daniele Venzano, et al. · KTH Publication Database DiVA (KTH Royal Institute of Technology) · 443
PR-Miner
2005 · Zhenmin Li, Yuanyuan Zhou · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · 428
Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts
2019 · Mark Mossberg, Felipe Manzano, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 421
PDF
Race directed random testing of concurrent programs
2008 · Koushik Sen · Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation · 414
Works count: 5,326
Citation count: 88,150
Year
Topic
Type