Product
Help
Pricing
About
Jobs
Log in
Get started
Keyword
Add to collection
debugging
Description:
The process of locating, analyzing, and correcting defects or unexpected behavior in computer programs.
Primary topic:
Software Testing and Debugging Techniques (25%)
Related topics:
Software Testing and Debugging Techniques (25%),
Teaching and Learning Programming (17%),
Logic, programming, and type systems (7%)
Wikidata ID:
wiki/Q845566
OpenAlex ID:
keywords/debugging
PyTorch: An Imperative Style, High-Performance Deep Learning Library
2019
·
Paszke, Adam
, Gross, Sam
, et al.
·
arXiv (Cornell University)
·
31,490
PDF
Program Slicing
1984
·
Mark Weiser
·
IEEE Transactions on Software Engineering
·
3,204
Symbolic execution and program testing
1976
·
James C. King
·
Communications of the ACM
·
3,034
PDF
Spin model checker, the: primer and reference manual
2003
·
Gerard J. Holzmann
·
2,020
Genstat 5 Reference Manual
1987
·
R. W. Payne
·
Rothamsted Repository (Rothamsted Repository)
·
1,725
Eraser
1997
·
Stefan Savage
, Michael Burrows
, et al.
·
ACM Transactions on Computer Systems
·
1,572
PDF
Interprocedural slicing using dependence graphs
1990
·
Susan Horwitz
, Thomas Reps
, et al.
·
ACM Transactions on Programming Languages and Systems
·
1,486
PDF
Demystifying computational thinking
2017
·
Valerie J. Shute
, Chen Sun
, et al.
·
Educational Research Review
·
1,457
PVM
1994
·
Al Geist
, Adam Beguelin
, et al.
·
The MIT Press eBooks
·
1,397
A Survey on Software Fault Localization
2016
·
W. Eric Wong
, Ruizhi Gao
, et al.
·
IEEE Transactions on Software Engineering
·
1,108
ATL: A model transformation tool
2008
·
Frédéric Jouault
, Freddy Allilaire
, et al.
·
Science of Computer Programming
·
991
A Survey of Program Slicing Techniques.
1994
·
Frank Tip
·
Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands
·
949
PDF
Visualization of test information to assist fault localization
2002
·
James A. Jones
, Mary Jean Harrold
, et al.
·
Proceedings/Proceedings - International Conference on Software Engineering
·
925
Notes on Structured Programming
1970
·
Dijkstra, Edsger Wybe
·
TU/e Research Portal
·
882
PDF
Dynamic program slicing
1990
·
Hiralal Agrawal
, Joseph R. Horgan
·
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation
·
870
PDF
Preliminary design of JML
2006
·
Gary T. Leavens
, Albert L. Baker
, et al.
·
ACM SIGSOFT Software Engineering Notes
·
790
Programmers use slices when debugging
1982
·
Mark Weiser
·
Communications of the ACM
·
761
PDF
Dynamic program slicing
1988
·
Bogdan Korel
, Janusz Laski
·
Information Processing Letters
·
759
The Cornell program synthesizer
1981
·
Tim Teitelbaum
, Thomas Reps
·
Communications of the ACM
·
710
PDF
Model-Agnostic Interpretability of Machine Learning
2016
·
Ribeiro, Marco Tulio
, Singh, Sameer
, et al.
·
arXiv (Cornell University)
·
699
PDF
Mathematical Theory of Computation
1972
·
Zohar Manna
·
CERN Document Server (European Organization for Nuclear Research)
·
696
Program slicing
1981
·
Mark Weiser
·
695
Gigascope
2003
·
Chuck Cranor
, Theodore Johnson
, et al.
·
Proceedings - ACM-SIGMOD International Conference on Management of Data
·
687
An Exploratory Study of How Developers Seek, Relate, and Collect Relevant Information during Software Maintenance Tasks
2006
·
Amy J. Ko
, Brad A. Myers
, et al.
·
IEEE Transactions on Software Engineering
·
684
Programming semantics for multiprogrammed computations
1983
·
Jack B. Dennis
, Earl C. Van Horn
·
Communications of the ACM
·
676
PDF
Show more works
View as search
Works count:
13,710
Citation count:
171,100
Year
Topic
Type
