| Primary | Secondary | Tertiary | Chapters / See also |
|---|---|---|---|
| abbreviation | | | 13 |
| abstraction level | programming language | | 08 |
| acronym | | | 13 |
| activation | condition | | 12 |
| activities | cognitive | | 01 |
| activities | constructive | | 01 |
| Ada | | | 13 |
| Adams, James | | | 12 |
| address | invalid | | 09 09 |
| address | memory | | 09 09 09 |
| address | memory | invalid | 14 |
| address | memory | valid | 14 |
| algorithm | design | | 13 |
| algorithm | selection | | 12 12 12 12 |
| alias | | | 03 |
| alibi | as clues | | 03 |
| alibi | corroboration | | 03 |
| alibi | corroboration | wrong | 03 |
| alibi | place | | 03 |
| alibi | place | actual | 03 |
| alibi | time | | 03 |
| alibi | time | actual | 03 |
| alloca | function | | 09 |
| allocation | memory | | 08 |
| allocation | memory | | 14 |
| allocation | memory | trace | 14 |
| allocator | memory | | 09 |
| Ammerman, Max | | | 11 |
| analogy | computer science | diagnosis tools | 01 14 |
| analogy | debugging | engineering | 01 |
| analogy | debugging | error analysis | 01 |
| analogy | debugging | incident analysis | 01 |
| analogy | defect | crime | 01 02 02 |
| analogy | defect | human error | 01 12 |
| analogy | defect | incident | 01 11 |
| analogy | defect | proof | 01 06 |
| analogy | defect | symbol manipulation | 01 14 |
| analogy | detecting | debugging | 02 |
| analogy | engineering | tangible objects | 01 |
| analogy | military | | 06 |
| analogy | standards | engineering vs software | 13 |
| analysis | array subscript | interprocedural | 14 |
| analysis | cause and event | | 11 12 12 12 |
| analysis | compile time | | 14 |
| analysis | context-sensitive | | 14 |
| analysis | control flow | | 07 14 |
| analysis | data flow | | 07 14 |
| analysis | data flow | interprocedural | 14 |
| analysis | dynamic | | 14 14 |
| analysis | dynamic | advantages | 14 |
| analysis | dynamic | disadvantages | 14 |
| analysis | error patterns | | 14 |
| analysis | fault tree | | 11 12 12 |
| analysis | flow insensitive | | 14 14 |
| analysis | forensic | | 02 |
| analysis | interprocedural | | 07 14 |
| analysis | intraprocedural | | 07 |
| analysis | language specific | | 14 |
| analysis | lexical | | 14 14 |
| analysis | mathematical | | 13 |
| analysis | object-oriented | | 01 01 02 13 |
| analysis | pointer target | | 14 14 14 |
| analysis | post-mortem | | 09 |
| analysis | postponing | | 04 |
| analysis | root cause | | 11 |
| analysis | root cause | abuses | 11 |
| analysis | root cause | benefits | 11 |
| analysis | root cause | database | 11 |
| analysis | root cause | summary | 11 |
| analysis | root cause | tool | 11 |
| analysis | semantic | | 14 14 |
| analysis | static | | 14 14 |
| analysis | static | advantages | 14 |
| analysis | static | disadvantages | 14 |
| analysis | structured | | 01 01 |
| analysis | syntactic | | 14 14 |
| analysis | value tracking | | 14 |
| annotation | | | 14 14 |
| ANSI/ISO | | | 02 |
| anxiety | | | 04 |
| APL | | | 09 10 13 13 |
| application | | | 08 |
| application | attaching | | 14 |
| application | domain | | 02 02 |
| application | linking | | 14 |
| arc | | | 08 08 |
| architecture | application | | 08 |
| architecture | hardware | | 11 |
| argument | function | | 13 |
| argument | method | | 13 |
| argument | optional | | 09 |
| argument | procedure | | 08 08 09 09 |
| Aristotle | | | 03 |
| array | | | 09 12 |
| array | pad | | 09 14 |
| array | reference | invalid | 09 |
| array | subscript | | 09 |
| array | visualization | | 03 |
| array | visualization tools | | 03 |
| assembly code | language, assembly | ||
| assertion | | | 09 13 |
| assignment | operator | | 13 |
| assumptions | | | 03 08 08 09 09 09 09 |
| assumptions | binary search | strategy | 07 |
| assumptions | deductive analysis | strategy | 07 |
| assumptions | greedy search | strategy | 07 |
| assumptions | inductive analysis | strategy | 07 07 |
| assumptions | minimizing | | 03 |
| assumptions | program slice | strategy | 07 |
| assumptions | simplifying | prototype | 13 |
| assumptions | strategy | | 07 |
| attention | | | 12 12 |
| attention | check | | 12 |
| attitude | anxiety | | 04 |
| attitude | calmness | | 04 |
| attitude | confidence | | 04 |
| attitude | perspective | | 04 |
| basic block | code block | ||
| behavior | actual | | 09 |
| behavior | intended | | 09 |
| belief systems | | | 06 |
| belief systems | mathematical | | 06 |
| benefit | maximizing | | 07 |
| binary search | search, binary | ||
| binary search strategy | strategy, binary search | ||
| binary tree | | | 03 05 |
| black box method | | | 03 |
| blank lines | | | 13 13 |
| BoundsChecker | | | 14 14 |
| BoundsChecker | advantages 14 14 | ||
| breadth-first | reading | | 09 |
| break | | | 12 |
| breakpoint | | | 09 09 09 09 09 09 09 09 09 09 09 09 09 14 |
| breakpoint | conditional | | 09 09 09 09 |
| Brett, Jeremy | | | 02 |
| browser | source code | | 09 |
| bug | definition | | 01 |
| bytecode | | | 04 09 |
| C | | | 03 04 04 04 07 08 08 09 09 09 09 09 09 09 09 09 09 09 09 11 11 11 12 12 12 13 13 13 13 13 14 14 14 14 14 14 14 14 14 14 |
| C++ | | | 03 04 04 05 07 07 08 09 09 09 09 09 09 09 09 09 09 09 09 10 11 11 11 12 12 12 12 12 13 13 13 13 13 14 14 14 14 14 14 14 14 14 14 |
| calculator | hand-held | | 04 |
| calculus | control strategy | | 06 |
| call graph | | | 07 |
| call graph | graph, call | ||
| call-by-reference | | | 11 |
| call-by-value | | | 11 |
| calloc | function | | 14 |
| call | procedure | | 04 04 08 |
| calmness | | | 04 |
| capacity | memory | human | 12 |
| Carmichael, Ian | | | 03 |
| case | | | 12 |
| cause | conjunction | | 02 |
| cause | description | | 11 |
| cause | eliminating | | 02 |
| cause | eliminating | | 03 |
| cause | impossible | | 02 |
| cause | logically possible | | 02 |
| cause | root | | 03 04 08 08 11 |
| C++ | class structure | | 13 |
| C++ | construct avoidance | | 13 |
| C++ | function structure | | 13 |
| Chandler, Raymond | | | 02 |
| change tags | | | 04 04 |
| chart | cause and event | | 11 |
| chart | isobar | | 03 |
| check-in | source code | | 04 04 |
| chess | masters | vocabulary | 06 |
| Chomsky | hierarchy | | 14 |
| Chomsky | Noam | | 14 |
| Christie, Agatha | | | 02 |
| class | | | 11 |
| class structure | C++ | | 13 |
| class structure | Java | | 13 |
| class structure | meta-rules | | 13 13 |
| class | data member | | 09 09 |
| class | name | | 13 13 |
| class | statement | | 04 14 |
| client feedback | | | 02 |
| C++ | naming convention | | 13 |
| COBOL | | | 14 |
| code block | | | 07 07 07 08 |
| code block | execution | | 09 09 |
| code | rewriting | | 04 |
| CodeSurfer | | | 14 14 |
| CodeSurfer | limitations | | 14 |
| coding convention | convention, programming | ||
| coding | consistent | easier correction | 13 |
| coding | consistent | easier diagnosis | 13 |
| coding | consistent | reduced bugs | 13 |
| cognition | hierarchy | | 12 |
| cognition | knowledge-based | | 12 |
| cognition | rule-based | | 12 12 |
| cognition | skill-based | | 12 12 |
| cognitive activities | activities, cognitive | ||
| color coding | | | 03 09 |
| column | matrix | | 08 09 |
| comfort | workplace | | 04 |
| command line option | option, execution | ||
| command list | | | 09 09 09 09 09 09 09 09 09 09 09 09 09 09 09 09 |
| comments | | | 08 09 13 13 13 |
| comments | change tags | | 04 04 |
| comments | disabling code | | 04 |
| common sense | | | 01 |
| COMMON | statement | | 04 08 09 09 |
| compilation | conditional | | 09 |
| compiler | | | 02 09 09 14 |
| compiler | accepts | invalid program | 11 |
| compiler | compiler | | 09 |
| compiler | cross | | 09 |
| compiler | front end | | 14 |
| compiler | optimization | | 09 09 09 09 |
| compiler | optimizing | | 09 |
| compiler | option | | 09 09 09 |
| compiler | rejects | valid program | 11 |
| compiler | runs | indefinitely | 11 |
| compiler | terminates | prematurely | 11 |
| completness | software | quality | 08 |
| complexity | computational | | 08 08 08 08 09 |
| complexity | cyclomatic | | 13 |
| computation | hidden | APL | 10 |
| computation | hidden | C++ | 10 |
| computation | hidden | Java | 10 |
| computation | validating | | 04 |
| computer | hand-held | | 02 |
| conception stage | definition | | 13 |
| conception stage | errors | | 13 |
| conception stage | errors | avoiding | 13 |
| conception stage | software | | 13 13 |
| Concurrent Version System | | | 04 |
| condition | activation | | 12 |
| condition | conjunction | | 02 11 12 |
| condition | description | | 11 11 |
| condition | influencing | | 11 11 11 11 |
| condition | rule | | 12 |
| confidence | | | 04 |
| confusion | debugging and testing | | 01 |
| conjunction | cause | | 02 |
| conjunction | condition | | 02 |
| constant propagation | | | 14 |
| constant propagation | interprocedural | | 14 |
| constant | name | | 13 |
| construct avoidance | C++ | | 13 |
| constructive activities | activities, constructive | ||
| constructor | class | | 09 |
| constructor | copy | | 13 |
| container | size | | 09 |
| control flow | | | 08 14 |
| control flow analysis | analysis, control flow | ||
| control flow | analysis | | 07 |
| control flow | decision | | 03 |
| control flow | graph | | 08 08 |
| control flow | procedure | | 14 |
| control flow | program | | 14 |
| control flow | scope | | 09 |
| control modes | mental | | 12 |
| control structure | program slice | strategy | 07 |
| control structure | strategy | | 07 |
| control | center | | 11 |
| control | mathematical | | 06 |
| control | problem-solving | | 06 06 |
| convention | programming | | 13 |
| correctness | output | extra | 08 11 |
| correctness | output | missing | 08 |
| correctness | output | near miss | 08 11 |
| correctness | output | substituted | 08 11 |
| correctness | output | transposed | 08 11 |
| correctness | software | quality | 08 |
| corroboration | alibi | | 03 |
| corruption | value | | 08 |
| corruption | heap | | 09 09 09 09 09 09 09 09 |
| corruption | memory | | 08 08 |
| corruption | stack | | 09 09 09 09 09 09 09 09 09 09 09 14 |
| cost | minimizing | | 07 |
| crime | means | | 02 02 |
| crime | motive | | 02 02 03 |
| crime | opportunity | | 02 |
| criteria | objective | | 02 |
| criteria | procedure disqualification | | 04 |
| cross-reference generator | | | 04 |
| C++ | source file | | 13 |
| C++ | statement structure | | 13 |
| Cupillari, Antonella | | | 06 |
| curiosity | exercise of | | 03 |
| CVS | Concurrent Version System | ||
| data flow | | | 14 |
| data flow analysis | analysis, data flow | ||
| data flow graph | | | 04 |
| data flow | analysis | | 07 |
| data flow | graph | | 08 08 |
| data flow | procedure | | 14 |
| data flow | program | | 14 |
| Data Processing | | | 02 |
| data structure | check | | 09 |
| data structure | compiler | | 08 |
| data structure | diagram | | 03 |
| data structure | incorrect | | 09 |
| data structure | similarity | | 08 |
| data structure | violation | | 08 08 08 |
| data | aggregate | | 08 |
| data | aspect | sequence | 08 |
| data | aspect | size | 08 |
| data | aspect | value | 08 |
| database | manager | | 09 |
| data | collection | | 02 |
| data | conversion | | 09 |
| data | copying | | 09 |
| data | heterogeneous | | 08 |
| data | homogeneous | | 08 |
| data | mis-use | frequency | 08 |
| data | self-identifying | | 09 |
| data | use | frequency | 08 |
| deallocation | memory | | 14 14 |
| deallocation | obligation | | 14 |
| debugger | high-level | | 09 09 09 09 09 09 09 09 09 09 09 09 09 09 09 09 09 09 09 09 09 |
| debugger | interactive | | 03 14 |
| debugging | confusion with testing | | 01 |
| debugging | definition | | 01 01 |
| debugging | engineering | | 13 |
| debugging | versus testing | | 01 |
| decisions | control flow | | 03 |
| declaration | order | | 09 |
| deduction | | 02 07 | |
| deductive analysis strategy | strategy, deductive analysis | ||
| defect | | | 01 |
| defect | correction time | | 11 |
| defect | diagnosis time | | 11 |
| defect | drift | | 04 |
| defect | invisibility | | 04 |
| defect | method identifying | | 11 |
| defect | non-deterministic | | 08 |
| defect | person reporting | | 11 |
| defect | prevention | | 13 |
| defect | previously observed | | 04 |
| defect | related | | 03 |
| defect | report | | 02 03 |
| defect | report | questions | 03 |
| defect | scope | | 11 |
| defect | software | | 01 |
| defect | transparency | | 04 |
| delete | operator | | 09 14 |
| depth-first | reading | | 09 |
| description | problem | | 02 |
| design | internal | | 02 |
| design | object-oriented | | 01 01 02 13 |
| design | structured | | 01 01 |
| design | written | | 13 |
| desk checking | | | 04 |
| detail design stage | engineering | | 13 |
| details | | | 02 |
| detective | worldview | | 02 |
| development stage | engineering | | 13 |
| development | object-oriented | | 01 |
| development | structured | | 01 |
| Devlin, Keith | | | 06 |
| diagonal | matrix | | 09 09 |
| diagram | data structure | | 03 |
| diagram | fault tree | | 11 |
| diagram | pointers | | 08 |
| diagram | references | | 08 |
| diaries | discovery | | 06 |
| dicing | | | slice, program |
| dictionary | representing | | 12 |
| diff | command | | 05 |
| difference | expected | actual | 08 |
| displacement | | | 04 |
| displacement | physical | | 04 04 |
| displacement | temporal | | 04 |
| display | data | | 09 |
| display | program | | 13 |
| display | video | | 03 |
| distance | psychological | | 13 |
| distraction | | | 12 12 |
| documentation | mathematical problem-solving | | 06 |
| documentation | structured | | 01 |
| domain | application | | 02 02 |
| Doyle, Arthur Conan | | | 02 |
| Dr. Watson | program | | 09 |
| drift | defect | | 04 |
| Dupin, Auguste | | | 03 |
| editing | source code | | 04 |
| editor | outline | | 12 |
| editor | syntax-directed | | 09 |
| editor | text | | 02 04 14 |
| efficiency | software | quality | 08 |
| Eiffel | | | 13 |
| element | lexical | | 08 |
| elimination | method | | 02 |
| elimination | process | | 08 |
| EMACS | editor, text | ||
| engineering | detail design stage | | 13 |
| engineering | development stage | | 13 |
| engineering | preliminary design stage | | 13 |
| engineering | tangible objects | | 13 |
| entries | keyboard | | 08 |
| ENTRY | statement | | 09 |
| enumeration | | | 09 14 |
| enumeration of possiblities | | | 03 |
| environment | computing | | 08 09 09 09 09 |
| environment | development | 08 | |
| era | software engineering | | 01 01 |
| ergonomics | | | 04 04 |
| error | application | bad rules | 12 |
| error | arithmetic | overflow | 11 |
| error | arithmetic | underflow | 11 |
| error | array | subscript | 11 |
| error | bad rules | applied | 12 |
| error | coding | binding | 11 B |
| error | coding | control flow | 05 05 05 05 05 05 10 10 10 10 10 10 10 11 B |
| error | coding | dynamic data structure | 10 10 10 11 B |
| error | coding | extra operation | 05 11 B |
| error | coding | finalization | 11 B |
| error | coding | initialization | 08 10 10 10 10 10 10 10 10 11 B |
| error | coding | invalid expression | 05 05 11 B |
| error | coding | memory | 11 B |
| error | coding | miscellaneous | 11 B |
| error | coding | missing operation | 05 05 05 05 05 05 05 10 10 11 B |
| error | coding | pointer | 14 |
| error | coding | reference | 05 05 05 05 05 05 10 10 10 11 B |
| error | coding | static data structure | 11 B |
| error | coding | typographical error | 11 B |
| error | coding | value corruption | 11 B |
| error | constant | reference | 11 |
| error | control flow | | 11 |
| error | data type | | 11 |
| error | deallocation | memory | 14 |
| error | design | algorithm | 11 B |
| error | design | condition handler | 11 |
| error | design | data definition | 11 |
| error | design | data structure | 11 B |
| error | design | hardware interface | 11 B |
| error | design | input check | 11 |
| error | design | logic sequence | 11 |
| error | design | output definition | 11 |
| error | design | shared access control | 11 |
| error | design | software interface | 11 B |
| error | design | user interface | 11 B |
| error | exception | unhandled | 11 |
| error | expression order | | 11 |
| error | floating point | precision | 14 |
| error | frequency | | 08 08 |
| error | good rules | misapplied | 12 |
| error | hardware interface | assumption | 11 |
| error | hardware interface | specification | 11 |
| error | human | causes | 12 |
| error | human | classification | 12 |
| error | human | definition | 12 |
| error | human | neuro-psychological classification | 12 |
| error | human | phenomenological classification | 12 |
| error | human | process classification | 12 |
| error | initialization | aggregate variable | 11 |
| error | initialization | simple variable | 11 |
| error | knowledge-based | complexity | 12 |
| error | knowledge-based | hypothesis persistence | 12 |
| error | knowledge-based | inadequate data | 12 |
| error | knowledge-based | information availability | 12 |
| error | knowledge-based | limited reviewing | 12 |
| error | knowledge-based | misdirected focus | 12 |
| error | knowledge-based | misplaced causality | 12 |
| error | knowledge-based | multiple variables | 12 |
| error | knowledge-based | probability | 12 |
| error | knowledge-based | selective support | 12 |
| error | knowledge-based | storage limitations | 12 |
| error | language-specific | | 08 |
| error | library | API | 14 14 14 14 |
| error | memory | | 11 |
| error | memory | deallocation | 14 |
| error | misapplication | good rules | 12 |
| error | name | undeclared | 14 |
| error | operand | type | 14 |
| error | operator | incorrect | 11 |
| error | pointer | invalid | 14 14 14 |
| error | pointer | null | 14 14 14 |
| error | pointer | target | 14 |
| error | pointer | uninitialized | 14 14 |
| error | precision loss | | 11 |
| error | procedure | argument | 11 14 |
| error | procedure | call | 11 |
| error | procedure | result | 11 14 |
| error | return code | | 11 11 |
| error | root cause | | 08 08 |
| error | rule-based | bias | 12 |
| error | rule-based | conflicting signals | 12 |
| error | rule-based | general vs exception | 12 |
| error | rule-based | ignoring information | 12 |
| error | rule-based | incorrect actions | 12 |
| error | rule-based | incorrect conditions | 12 |
| error | rule-based | ineffective rules | 12 12 12 |
| error | rule-based | multiple match | 12 |
| error | rule-based | rule strength | 12 |
| error | skill-based | interrupted sequence | 12 12 12 |
| error | skill-based | memory | 12 |
| error | skill-based | multiple match | 12 |
| error | skill-based | multiple sequences | 12 |
| error | skill-based | overattention | 12 |
| error | skill-based | sensory input | 12 |
| error | skill-based | sequence control loss | 12 |
| error | software interface | assumption | 11 |
| error | software interface | specification | 11 |
| error | source code | extra | 11 |
| error | source code | missing | 11 |
| error | typographical | | 13 |
| error | user interface | assumption | 11 |
| error | user interface | specification | 11 |
| error | value | type | 14 |
| error | variable | assignment | 11 |
| error | variable | reference | 11 |
| error | variable | uninitialized | 14 14 14 |
| error | variable | unused | 14 14 |
| evaluation | mechanism | strategy | 07 |
| evaluation | order | | 09 |
| evaluation | rule | | 14 |
| event | | | 08 |
| event handler | handler, event | ||
| event line | primary | | 11 |
| event | capture | | 08 |
| event | critical | | 11 11 11 |
| event | description | | 11 11 |
| event | handler | | 09 |
| event | playback | | 08 |
| event | presumed | | 11 |
| event | primary | | 11 |
| event | terminal | | 11 |
| evidence | rebutting | | 12 12 |
| evidence | supporting | | 12 12 |
| exception | | | 03 04 04 08 09 |
| exception | rule | | 12 |
| execution | code block | | 09 09 |
| execution | manual | | 04 |
| execution | option | | 09 09 09 09 09 14 |
| execution | parallel | | 08 |
| execution | procedure | | 09 |
| execution | profile | | 14 14 |
| execution | stand-alone | | 09 09 09 |
| execution | statement | | 09 09 |
| execution | symbolic | | 14 |
| execution | symbolic | symbolic execution | |
| execution | time | | 09 09 09 |
| execution | trace | | 09 |
| execution | trace | value | 09 |
| experiment | | | 02 |
| experimentation | | | 02 02 |
| experiment | log | | 12 |
| explanations | alternative | | 02 |
| expression stage | definition | | 13 |
| expression stage | error causes | | 13 |
| expression stage | errors | | 13 |
| expression stage | errors | avoiding | 13 |
| expression stage | recognizing errors | | 13 |
| expression | errors | natural language | 13 |
| Extreme Programming | | | 02 |
| facts | | | 02 02 02 |
| facts | gathering | | 02 |
| facts | interpretation | | 02 |
| facts | organizing | | 03 |
| facts | qualification | | 03 |
| facts | rehearsal | | 02 |
| failure | | | 01 |
| failure | inattention | | 12 |
| failure | leverage | | 13 |
| fault | | | 01 |
| fault tree | construction | | 11 |
| fault tree | validation | | 11 |
| feedback | client | | 02 |
| fiction | detective | | 02 |
| FIFO | First-In, First Out | ||
| file | | | 08 |
| file | core | | 09 |
| file | header | | 09 13 14 14 |
| file | object | | 14 14 |
| file | source | | 13 |
| file | space | | 09 |
| filter | | | 08 |
| Finite State Machine | | | 09 |
| First-In, First-Out | | | 12 |
| flag | command line | option, execution | |
| flags | | | 09 |
| floating point | hardware | | 08 |
| floating point | library | | 08 |
| floating point | numbers | | 08 |
| floating point | tolerance | | 08 |
| floating point | variable | | 09 09 09 |
| flowchart | proof method | | 06 |
| force multipliers | | | 03 |
| forensic analysis | | | 02 |
| forensics | | | 02 |
| for | statement | | 12 |
| Fortran | | | 03 04 09 09 09 09 09 09 09 09 09 09 09 13 13 13 14 |
| Fortran 77 | | | 11 |
| Fortran 95 | | | 11 |
| frame | stack | | 09 |
| free | function | | 09 13 14 |
| frequency | data | mis-use | 08 |
| frequency | data | use | 08 |
| FSM | Finite State Machine | ||
| function keys | | | 12 |
| function structure | C++ | | 13 |
| function | argument | | 13 |
| function | inline | | 13 |
| function | name | | 13 |
| function | results | | 09 09 13 |
| function | wrapper | | 09 |
| g++ | | | 09 |
| gcc | | | 09 |
| gcc | | | 14 |
| gdb | | | 05 05 05 05 05 05 05 05 |
| generator | cross-reference | | 04 |
| gestalt | | | 03 03 |
| global variable | variable, global | ||
| glyph choice | | | 13 |
| goto | statement | | 08 13 13 |
| GOTO | statement | | 09 |
| gprof | command | | 14 |
| grammar | | | 14 |
| grammar | context-free | | 14 14 14 |
| grammar | context-sensitive | | 14 |
| grammar | non-terminal | | 14 |
| grammar | phrase-structure | | 14 |
| grammar | regular | | 14 14 |
| grammar | rules | | 14 |
| grammar | start symbol | | 14 |
| grammar | terminals | | 14 |
| graph | call | | 07 08 |
| graph | control flow | | 08 08 |
| graph | data flow | | 04 08 08 |
| greedy search strategy | strategy, greedy search | ||
| grep | command | | 04 |
| guessing | | | 02 02 |
| hacking | | | 02 14 |
| Hammett, Dashiell | | | 02 |
| handler | event | | 09 09 |
| hardware architecture | | | 08 09 09 11 |
| hardware | floating point | 08 | |
| hash table | | | 12 |
| heap variable | | | 04 |
| heap | corruption | | 09 09 09 09 09 09 09 09 11 |
| heap | sort | | 05 |
| heap | sort | array-based | 05 |
| heap | sort | list-based | 05 |
| heuristic | debugging | | 06 |
| heuristic | hypothesis | 06 10 | |
| heuristic | hypothesis | history | 08 |
| heuristic | mathematical | | 06 |
| heuristic | mathematical | criticism | 06 |
| heuristic | mathematical | families | 06 |
| heuristic | problem | category | 08 |
| heuristic | problem | description | 08 |
| heuristic | problem | diagram | 08 |
| heuristic | problem | explanation | 08 |
| heuristic | problem | recollection | 08 |
| heuristic | program stabilization | | 08 |
| heuristic | stabilization | program | 08 |
| heuristic | test case | input data | 08 |
| heuristic | test | source program | 08 |
| hexadecimal | | | 09 |
| hierarchy | human performance | | 12 |
| history | | | 04 |
| history | recall | | 04 |
| history | shell command | | 04 04 |
| Holmes, Sherlock | author | | 02 |
| Holmes, Sherlock | life | | 02 |
| Holmes, Sherlock | literature | | 02 |
| Holmes, Sherlock | methods | | 02 |
| human cognition | information processing model | | 12 |
| human cognition | model | | 12 |
| hypothesis | | | 02 02 02 02 08 08 |
| hypothesis | corruption | memory | 08 08 |
| hypothesis | data structure | violation | 08 08 08 |
| hypothesis | emotionally comfortable | | 03 |
| hypothesis | evaluation | | 08 |
| hypothesis | generation | | 06 |
| hypothesis | heuristic | | 06 |
| hypothesis | history | | 08 |
| hypothesis | initialization error | | 08 |
| hypothesis | log | | 02 12 12 |
| hypothesis | memory problem | | 08 |
| hypothesis | plausible | | 07 |
| hypothesis | records | | 02 |
| hypothesis | strategy | | 06 |
| hypothesis | suggested | | 08 08 08 08 08 08 08 |
| hypothesis | tactics | | 06 |
| hypothesis | validation | | 06 |
| hypothesis | value corruption | | 08 |
| hypothesis | versus guess | | 02 |
| icons | toolbar | | 12 |
| IDE | Integrated Development Environment | ||
| idiom | | | 10 10 |
| IEEE | | | 01 02 |
| inattention | | | 12 |
| indent | | | 13 13 |
| index origin | | | 10 |
| induction | | | 02 07 |
| inductive analysis strategy | strategy, inductive analysis | ||
| inferrence | | | 02 |
| infinite loop | loop, infinite | ||
| information hiding | | | 14 |
| information processing | cognition model | | 12 |
| initialization | | | 12 |
| input | invalid | accepted | 08 11 |
| input | invalid | missing warnings | 08 11 |
| input | validating | | 04 |
| input | valid | incorrect warnings | 08 11 |
| input | valid | rejected | 08 11 |
| instrumentation | | | 14 |
| Insure++ | | | 14 14 |
| Integrated Development Environment | | | 04 |
| interface | procedure | | 11 |
| intermediate representation | | | 09 14 |
| internal representation | intermediate representation | ||
| interpretation | | | 02 02 |
| interprocedural analysis | analysis, interprocedural | ||
| interprocedural optimization | optimization, interprocedural | ||
| intraprocedural analysis | analysis, intraprocedural | ||
| investigation | thoroughness | | 04 |
| invisibility of defect | | | 04 |
| Java | | | 03 07 08 08 09 09 09 09 09 09 09 09 09 09 09 10 10 12 12 12 12 13 13 13 14 14 |
| java.awt.robot | | | 08 |
| Java | class structure | | 13 |
| javadoc | | | 13 |
| Java | method structure | | 13 |
| Java | naming convention | | 13 |
| Java | source file | | 13 |
| Java | statement structure | | 13 |
| journal | | | 04 |
| journal | source changes | | 04 |
| journal | voice | | 04 |
| keyboard | entries | | 08 08 |
| knowledge base | human | | 12 |
| knowledge | cross-disciplinary | | 02 |
| knowledge | procedural | | 12 |
| language construct | meta-rules | | 13 |
| language | alphabet | | 14 |
| language | assembly | | 09 09 09 09 |
| language | assembly | reading | 04 |
| language | machine | | 09 |
| language | permissive | | 13 13 |
| language | programming | standard | 09 |
| language | strict | | 13 13 |
| language | very high level | | 09 |
| language | vocabulary | | 14 |
| lapse | definition | | 12 |
| law of non-contradiction | | | 03 03 |
| library API error | | | 14 14 14 14 |
| library | archive | | 14 |
| library | floating point | | 08 |
| library | runtime | | 09 14 14 |
| library | system | | 04 |
| limitations | resource | human | 12 |
| linked list | | | 05 10 |
| lint | command | | 14 14 |
| Linux | | | 08 08 14 14 14 14 |
| LISP | | | 09 13 |
| listings | paper | | 03 |
| list | linked | | 05 10 |
| local variable | variable, local | ||
| locality | physical | | 04 |
| location | natural | | 04 |
| logic | | | 03 |
| logic | boolean | | 08 |
| logout | shell command | | 04 |
| loop nest | nest, loop | ||
| loop | counted | | 09 |
| loop | infinite | | 08 08 11 11 |
| loop | rerolling | | 12 |
| loop | unrolling | | 12 |
| loop | while | | 09 |
| macro | preprocessor | | 04 04 09 09 09 09 14 14 |
| malloc | function | | 09 13 14 |
| map | memory | | 09 |
| Marple, Miss | | | 02 |
| Mason, John | | | 06 |
| matching | pattern | | 03 |
| mathematical thinking | fundamental processes | | 06 |
| mathematic | heuristic | families | 06 |
| mathematics | belief systems | | 06 |
| mathematics | control | | 06 |
| mathematics | heuristic | | 06 |
| mathematics | problem-solving | | 06 |
| mathematics | proof techniques | | 06 06 |
| mathematics | resource | | 06 |
| mathematics | strategy | control | 06 |
| mathematics | vocabulary | | 06 |
| mathematics | worldview | | 06 |
| mathophobia | | | 06 |
| matrix | column | | 08 |
| matrix | diagonal | | 09 09 |
| matrix | row | | 08 09 |
| means | | | 02 02 |
| means | crime, means | ||
| measure | benefit | greedy strategy | 07 |
| measure | cost | greedy strategy | 07 |
| member | data | | 13 |
| memory corruption | corruption, memory | ||
| memory | address | | 09 09 09 |
| memory | address | invalid | 14 |
| memory | address | valid | 14 |
| memory | allocation | | 08 14 |
| memory | allocation | logging | 14 |
| memory | allocation | trace | 14 |
| memory | allocator | | 09 |
| memory | block | | 09 |
| memory | corruption | | 08 08 09 |
| memory | deallocation | | 14 14 |
| memory | dump | | 09 |
| memory | fill bytes | | 14 |
| memory | human | capacity | 12 12 |
| memory | leak | | 14 14 14 14 14 |
| memory | map | | 09 |
| memory | state | | 14 |
| memory | usage | | 09 |
| memory | usage | | 12 |
| memory | virtual | | 14 |
| memory | working | human | 12 |
| mental model | | | 04 |
| Mergesort | sort, Mergesort | ||
| meta-rules | class structure | | 13 |
| meta-rules | language construct | | 13 |
| meta-rules | procedure | | 13 |
| meta-rules | source file | | 13 |
| meta-rules | statement | | 13 |
| method structure | Java | | 13 |
| method | argument | | 13 |
| method | black box | | 03 |
| method | comparison | | 06 |
| method | detective | alibi clues | 03 05 |
| method | detective | analyze facts | 03 05 |
| method | detective | apply logic | 03 05 05 |
| method | detective | avoid distractions | 02 |
| method | detective | avoid guessing | 02 |
| method | detective | blame shifting | 04 |
| method | detective | breaking alibis | 03 |
| method | detective | domestic drift | 04 05 05 |
| method | detective | don't look | 04 |
| method | detective | elimination process | 02 03 05 05 05 05 |
| method | detective | eureka zone | 04 05 |
| method | detective | exercise curiosity | 03 05 05 05 |
| method | detective | explain alternatives | 02 |
| method | detective | explain how | 05 05 |
| method | detective | gather facts | 02 05 05 05 |
| method | detective | hidden view | 04 |
| method | detective | immediate view | 04 05 05 |
| method | detective | list possibilities | 03 05 |
| method | detective | look once | 04 05 |
| method | detective | look systematically | 04 |
| method | detective | observation | 02 |
| method | detective | observe first | 05 |
| method | detective | organize facts | 03 05 |
| method | detective | proper place | 04 |
| method | detective | reason backwards | 02 |
| method | detective | rehearse facts | 02 |
| method | detective | search cautiously | 03 |
| method | detective | see wholistically | 03 05 |
| method | detective | show how | 03 |
| method | detective | tail thyself | 04 05 05 |
| method | detective | think back | 04 |
| method | detective | three c's | 04 |
| method | detective | unusual details | 02 05 05 05 |
| method | elimination | | 02 |
| method | name | | 13 |
| method | reporter's | | 03 |
| method | result | | 13 |
| method | scientific | | 02 02 03 03 |
| method | tester's | | 03 |
| military | operations | | 06 |
| military | strategy | | 06 |
| military | tactics | | 06 |
| mistake | | | 12 |
| mistake | definition | | 12 |
| ML | | | 09 |
| monitor | internal | | 06 |
| motive | | | 02 02 03 |
| motive | crime, motive | ||
| mouse | clicks | | 08 08 |
| mpatrol | | | 14 14 |
| mutation | random | | 02 |
| name | class | | 13 13 |
| name | compound | | 13 |
| name | constant | | 13 |
| name | edit distance | | 13 |
| name | function | | 13 |
| name | method | | 13 |
| name | misreading | | 13 |
| name | mistyping | | 13 |
| name | package | | 13 |
| name | procedure | | 09 |
| name | re-use | | 13 |
| name | struct | | 13 |
| name | variable | | 09 13 13 |
| naming convention | C++ | | 13 |
| naming convention | issues | | 13 |
| naming convention | Java | | 13 |
| naming convention | meta-rules | | 13 |
| NaN | Not A Number | ||
| nest | loop | | 07 07 08 08 |
| new | operator | | 09 14 |
| node | | | 08 08 |
| non-contradiction | law of | | 03 03 |
| non-determinism | | | 08 |
| Not a Number | | | 09 09 |
| notation | design | | 13 |
| notation | prefix | | 10 |
| notebook | paper | | 02 |
| object | | | 08 |
| object code | modification | | 14 |
| object-oriented analysis | | | 01 01 02 |
| object-oriented analysis | analysis, object-oriented | ||
| object-oriented design | | | 01 01 02 |
| object-oriented design | design, object-oriented | ||
| object-oriented development | | | 01 01 01 |
| object-oriented programming | programming, object-oriented | ||
| object-oriented testing | | | 01 01 |
| object-oriented testing | testing, object-oriented | ||
| obligation | deallocation | | 14 |
| observation | | | 02 08 08 |
| observation | diachronic | | 02 |
| observation | log | | 02 12 12 12 |
| observation | records | | 02 |
| observation | synchronic | | 02 |
| omission | | | 12 |
| operating system | | | 08 09 09 09 |
| operations | military | | 06 |
| operators | boolean | | 08 |
| opportunity | | | 02 |
| opportunity | crime, opportunity | ||
| optimization | compiler | | 09 09 09 09 09 |
| optimization | idiom recognition | | 10 |
| optimization | interprocedural | | 14 |
| option | command line | option, execution | |
| option | compiler | | 09 09 09 09 09 |
| option | execution | | 09 09 09 09 09 09 14 14 |
| origin | index | | 10 |
| outline | editor | | 12 |
| output | expected | | 08 |
| output | extra | | 08 08 11 |
| output | missing | | 08 08 11 |
| output | near miss | | 08 11 |
| output | repeated | | 08 |
| output | substituted | | 08 08 11 |
| output | transposed | | 08 08 11 |
| output | validating | | 04 |
| overattention | | | 12 11 |
| package | name | | 13 |
| pair | cause-effect | | 03 |
| pair | condition-action | | 06 |
| paper listings | | | 03 |
| parenthesis | | | 13 13 |
| Pascal | | | 13 |
| pattern matching | cognitive | | 12 |
| pattern | design | | 08 |
| pattern | extra elements | | 09 |
| pattern | matching | | 03 |
| pattern | matching | visual | 03 |
| pattern | missing elements | | 09 |
| pattern | unknown | | 09 |
| PC-lint | | | 14 |
| PC-lint | features | | 14 |
| peer | review | | 13 13 |
| performance analysis | event-based | | 02 |
| performance analysis | reduction | | 02 |
| performance analysis | sampling | | 02 12 12 |
| performance analysis | tracing | | 02 |
| Perl | | | 13 |
| perspective | | | 04 |
| Petherbridge, Edward | | | 03 |
| Petroski, Henry | | | 13 13 13 |
| physics | laws | | 13 |
| place | alibi | | 03 |
| plan | development | | 06 |
| plan | execution | | 06 |
| platform | computing | | 08 09 |
| PL/I | | | 04 09 13 13 |
| Poe, Edgar Allen | | | 03 |
| pointer | | | 03 08 09 09 09 09 09 09 12 |
| pointer tracking | analysis, pointer target | ||
| pointer | freed memory | | 11 |
| pointer | null | | 11 14 14 |
| pointer | problem | | 14 |
| pointer | redundancy | | 09 09 |
| pointer | stack | | 14 |
| pointer | uninitialized | | 11 |
| point-of-view | | | 02 02 |
| Poirot, Hercule | | | 02 |
| Polya, George | | | 06 |
| portability | source code | | 09 |
| possibilities | enumeration | | 03 03 |
| predecessors | control | | 14 |
| predecessors | data | | 14 |
| predicate | control flow | | 08 |
| preliminary design stage | engineering | | 13 |
| preprocessing | selective | | 04 |
| preprocessing | selective | | 09 |
| preprocessor | | | 09 09 |
| preprocessor | directive | | 08 |
| preprocessor | macro | | 04 04 09 09 09 09 14 14 |
| private | class section | | 13 |
| probability | | | 02 |
| problem | category | | 08 |
| problem | description | | 02 08 |
| problem | diagram | | 08 |
| problem | explanation | | 08 |
| problem | memory | | 08 |
| problem | recollection | | 08 |
| problem | records | | 02 |
| problem | similarity | | 08 |
| problem-solving | control | | 06 06 |
| problem-solving | detailed description | | 06 |
| problem-solving | mathematical | | 06 |
| problem-solving | mathematical | documentation | 06 |
| problem-solving | mathematical | techniques | 06 |
| problem | statement | | 02 |
| problem | stereotypical | | 06 |
| problem | understanding | | 06 |
| procedure | | | 08 08 |
| procedure disqualification criteria | | | 04 |
| procedure | argument | | 09 09 |
| procedure | arguments | | 11 |
| procedure | call | | 04 04 08 |
| procedure | execution | | 09 |
| procedure | interface | | 11 |
| procedure | meta-rules | | 13 |
| procedure | recently called | | 04 |
| procedure | results | | 09 |
| procedure | runtime | | 14 |
| production | | | 06 |
| profile | execution | | 14 14 |
| program slice strategy | strategy, program slice | ||
| program | behavior | actual | 08 |
| program | behavior | ideal | 08 |
| program | executable | image | 09 |
| program | execution | infinite loop | 08 |
| program | listening | | 13 |
| programmer | experienced | | 12 |
| programmer | expert | | 12 12 |
| programmer | novice | | 12 12 |
| programmer | productivity | | 03 |
| programmer | wages | | 03 |
| programming language | abstraction level | | 08 |
| programming language | similarity | | 08 |
| programming standard | convention, programming | ||
| programming | contractual | | 13 |
| programming | object-oriented | | 01 01 13 |
| programming | structured | | 01 01 13 |
| program | reading | | 13 |
| program | slice | | 07 |
| program | slice | backward | 14 |
| program | slice | dynamic | 14 |
| program | slice | forward | 14 |
| program | stabilization | | 08 |
| program | state | | 08 |
| program | termination | premature | 08 11 |
| proof method | flowchart | | 06 |
| property sheets | | | 14 |
| protected | class section | | 13 |
| prototype | | | 02 13 |
| prototype | approaches | | 13 |
| prototype | assumption | simplifying | 13 |
| prototype | C | | 14 |
| prototype | functional | | 13 |
| prototype | performance | | 13 |
| prototype | scale models | | 13 |
| prototype | user interface | | 13 |
| psychology | compensating for | | 13 |
| public | class section | | 13 |
| Purify | | | 14 14 |
| purpose | procedure | | 09 |
| purpose | statement | | 09 |
| qsort | library | procedure | 12 |
| questions | design validation | | 13 |
| questions | detective | | 01 02 02 |
| Quicksort | sort, Quicksort | ||
| Rasmussen, Jens | | | 12 |
| RCS | Revision Control System | ||
| realloc | function | | 13 14 |
| Reason, James | | | 12 |
| reasoning | bidirectional | | 02 |
| reasoning | fact-based | | 03 |
| reasoning | rule-based | | 12 |
| record | defects | | 14 |
| recorder | voice-activated | | 04 |
| record | key | | 08 |
| record | variant | | 09 |
| red herring | | | 02 |
| redundancy | | | 13 |
| redundancy | computational | | 13 |
| redundancy | declarations | | 13 |
| redundancy | execution | | 13 |
| redundancy | software | | 13 |
| redundancy | tangible objects | | 13 |
| reference | | | 09 |
| reference | external | | 02 13 |
| reflection | | | 09 |
| register | hardware | | 09 |
| repetition | | | 12 |
| report | defect | | 02 03 |
| reporter's method | | | 03 |
| resource limitations | human | | 12 |
| resource | mathematical | | 06 |
| response | stereotypical | | 06 |
| results | function | | 13 |
| results | method | | 13 |
| results | procedure | | 09 |
| results | reproducible | | 02 |
| results | review | | 06 |
| return code | | | 08 08 |
| reversal | | | 12 |
| review | peer | | 13 13 |
| revision control | source control | ||
| Revision Control System | | | 04 |
| robustness | software | quality | 08 |
| root cause | | | 03 04 11 |
| row | matrix | | 08 09 |
| rule | condition | | 12 |
| rule | exception | | 12 12 |
| rule | general | | 12 |
| rule | generality | | 12 |
| rule | hierarchy | | 12 |
| rule | IF-THEN | | 12 12 |
| rule | production | | 12 12 |
| rule | specificity | | 12 |
| rule | strength | | 12 12 |
| rule | weight | | 12 |
| runtime | library | | 14 14 |
| sample size | | | 12 12 |
| Sayers, Dorothy | | | 03 |
| scale models | prototype | | 13 |
| Scheme | | | 09 13 13 14 |
| Schoenfeld, Alan | | | 06 06 |
| scientific method | | | 02 03 03 |
| script | command | | 08 |
| script | shell | | 08 |
| search | | | 08 |
| search | binary | | 08 |
| search | cautious | | 03 |
| searchers | unsystematic | | 04 |
| security | | | 14 |
| selection | binary | | 08 |
| selection | random | | 08 |
| setjmp/longjmp | | | 04 14 |
| SETL | | | 09 13 |
| set | psychological | | 13 |
| sets | representing | | 12 12 |
| shell command | logout | | 04 |
| shell script | | | 08 08 |
| Shellsort | sort, Shellsort | ||
| side effect | | | 03 03 09 |
| similarity | algorithm | | 08 |
| similarity | data structure | | 08 |
| similarity | user interface | | 08 |
| slice | program | | 14 |
| slip | | | 12 |
| slip | definition | | 12 |
| slip | Freudian | | 12 |
| software engineering | era | | 01 01 01 |
| software engineering | standard | | 01 |
| software | contrasted with hardware | | 13 |
| software | defect | | 01 |
| software | quality | completeness | 08 |
| software | quality | correctness | 08 |
| software | quality | efficiency | 08 |
| software | quality | robustness | 08 |
| Solomon, Professor | | | 04 |
| Solow, Daniel | | | 06 |
| sort | | | 08 |
| sort | bucket | | 10 10 |
| sort | complexity | computational | 12 12 12 |
| sort | heap | | 05 |
| sort | heap | array-based | 05 |
| sort | heap | list-based | 05 |
| sort | insertion | | 12 |
| sort | lexicographic | | 10 |
| sort | Mergesort | | 12 12 12 12 12 12 12 12 |
| sort | selection | | 12 12 |
| sort | Shellsort | | 12 12 12 |
| sort | stable | | 12 12 12 12 |
| sort | topological | | 07 07 |
| source code | check-in | | 04 04 |
| source code | display | | 13 |
| source code | editing | | 04 |
| source code | instrumentation | | 14 |
| source code | listing | | 13 |
| source code | position | | 08 |
| source control | | | 04 |
| source control | | | 08 |
| source file | C++ | | 13 |
| source file | Java | | 13 |
| source file | meta-rules | | 13 13 |
| source position | value | | 09 |
| specification | functional | | 02 |
| specificity | rule | | 12 |
| Splint | | | 14 14 |
| Splint | annotation | | 14 14 |
| Splint | features | | 14 |
| Splint | option | execution | 14 |
| Spoonerism | | | 12 |
| stack | corruption | | 09 09 09 09 09 09 09 09 09 09 11 14 |
| stack | frame | | 09 |
| stack | pointer | | 09 14 |
| stack | trace | | 09 14 |
| stack | variable | | 04 |
| Standard Template Library | | | 12 |
| standard | engineering | | 13 |
| standard | software | | 02 13 |
| standard | software engineering | | 01 |
| statement | | | 07 07 08 08 08 |
| statement structure | C++ | | 13 |
| statement structure | Java | | 13 |
| statement | conditional | | 09 09 09 |
| statement | control | | 09 |
| statement | execution | | 08 09 09 |
| statement | failing | | 09 |
| statement | GOTO | | 09 |
| statement | marking | | 09 |
| statement | meta-rules | | 13 |
| statement | | 09 09 09 09 09 | |
| statement | recently executed | | 04 |
| statement | trace | | 04 |
| state | program | | 08 |
| static analysis | tools | | 14 |
| STL | Standard Template Library | ||
| storage allocation | | | 09 |
| strategy | assumptions | | 07 |
| strategy | assumptions | binary search | 07 |
| strategy | assumptions | deductive analysis | 07 |
| strategy | assumptions | greedy search | 07 |
| strategy | assumptions | inductive analysis | 07 |
| strategy | assumptions | program slice | 07 |
| strategy | binary search | | 07 07 |
| strategy | binary search | assumptions | 07 |
| strategy | binary search | control structure | 07 |
| strategy | control structure | | 07 |
| strategy | control structure | binary search | 07 |
| strategy | control structure | deductive analysis | 07 |
| strategy | control structure | greedy search | 07 |
| strategy | control structure | inductive analysis | 07 |
| strategy | control structure | program slice | 07 |
| strategy | control | calculus | 06 |
| strategy | control | mathematical problem solving | 06 |
| strategy | debugging | | 06 |
| strategy | deductive analysis | | 07 07 |
| strategy | deductive analysis | assumptions | 07 |
| strategy | deductive analysis | control structure | 07 |
| strategy | evaluation mechanism | | 07 |
| strategy | evaluation mechanism | strength | 07 |
| strategy | greedy search | | 07 07 |
| strategy | greedy search | assumptions | 07 |
| strategy | greedy search | control structure | 07 |
| strategy | greedy search | measure of benefit | 07 |
| strategy | greedy search | measure of cost | 07 |
| strategy | hypothesis | | 06 |
| strategy | inductive analysis | | 07 07 |
| strategy | inductive analysis | assumptions | 07 07 |
| strategy | inductive analysis | control structure | 07 |
| strategy | military | | 06 |
| strategy | program slice | | 07 07 14 |
| strategy | program slice | assumptions | 07 |
| strategy | program slice | control structure | 07 |
| strength | rule | | 12 12 |
| struct | | | 11 |
| struct | name | | 13 |
| struct | statement | | 04 14 |
| structured analysis | | | 01 01 |
| structured analysis | analysis, structured | ||
| structured design | | | 01 01 |
| structured design | design, structured | ||
| structured development | | | 01 01 |
| structured documentation | documentation, structured | ||
| structured programming | | | 01 01 |
| structured programming | programming, structured | ||
| structured testing | | | 01 01 |
| structured testing | testing, structured | ||
| structures | cognitive | | 12 |
| subroutine | procedure | ||
| successors | control | | 14 |
| successors | data | | 14 |
| switch | | | 12 |
| symbol table | | | 14 |
| symbol table | procedure | | 14 |
| symbol table | program | | 14 |
| symbolic execution | | | 14 |
| symbolic execution | flow-insensitive | | 14 14 |
| symbolic execution | flow-sensitive | | 14 14 |
| symbol | multiple definition | | 11 |
| symbol | undefined | | 11 |
| symptom | | | 01 |
| symptom | compile-time | | 11 |
| symptom | description | | 11 11 |
| symptom | link-time | | 11 |
| symptom | run-time | | 11 |
| syntactic analysis | analysis, syntactic | ||
| system | library | | 04 |
| systems | bug-tracking | | 11 |
| tactic | argument value | display | 09 10 10 |
| tactic | assumptions | assert | 09 |
| tactic | compiler | change | 09 09 |
| tactic | data structure | check | 09 |
| tactic | data structure | display | 09 10 10 10 |
| tactic | debugging | | 06 |
| tactic | execution message | display | 09 |
| tactic | flow trace | | 09 10 10 10 10 10 10 10 |
| tactic | heap | check | 09 10 10 |
| tactic | memory dump | | 09 |
| tactic | platform | change | 09 |
| tactic | read code | | 09 10 10 10 10 10 |
| tactics | hypothesis | | 06 |
| tactics | military | | 06 |
| tactic | stack | check | 09 |
| tactic | subscript | check | 09 10 10 |
| tactic | variable snapshot | | 09 10 |
| tactic | variable | display value | 09 |
| tactic | variable | force value | 09 |
| tactic | variable, global | initialize | 09 |
| tactic | variable, local | initialize | 09 |
| tactic | variables | display value | 10 |
| tactic | variable | change storage class | 09 |
| taxes | | | 01 |
| techniques | mathematical problem-solving | | 06 |
| techniques | mathematical proof | | 06 06 |
| template | statement | | 14 |
| tension | physical | | 04 |
| test | action log | | 08 |
| test | case | | 04 |
| test | case | data input | 07 |
| test | case | input data | 08 08 |
| test | case | source code | 07 |
| test | case | source program | 08 |
| test | coverage analysis | | 14 14 |
| test | driver | | 08 08 08 08 |
| test | effort | | 07 |
| tester's method | | | 03 |
| test | execution | time | 08 |
| testing | confusion | debugging | 01 |
| testing | definition | | 01 01 |
| testing | nightly | | 14 |
| testing | object-oriented | | 01 01 |
| testing | structured | | 01 01 |
| testing | versus debugging | | 01 |
| test | production | | 09 09 09 09 09 09 |
| test | regression | | 08 08 |
| test | source program | | 08 |
| test | stand-alone | | 08 |
| text editor | | | 02 04 |
| thinking | critical | | 03 |
| thought | conscious | | 12 |
| thought | organizing | | 08 |
| thought | subconscious | | 12 |
| time | alibi | | 03 |
| time | travel | | 02 |
| tools | array visualization | | 03 |
| tools | nit-picking | | 13 |
| tools | static analysis | | 14 |
| topological sorting | sort, topological | ||
| trace | execution | | 09 |
| trace | stack | | 09 14 |
| trace | statement | | 04 |
| transcription errors | minimizing | | 13 |
| transcription stage | definition | | 13 |
| transcription stage | error causes | | 13 |
| transcription stage | errors | | 13 |
| transcription stage | errors | avoiding | 13 |
| transcription stage | software | | 13 |
| translation | source-to-source | | 09 |
| traversal | depth first | | 10 |
| tree | | | 12 |
| tree | binary | | 03 05 |
| tree | complete binary | | 05 |
| tree | expression | | 10 |
| tuples | | | 10 |
| type | abstract | | 13 14 |
| type | boolean | | 14 |
| type | character | | 14 |
| type | checking | | 14 |
| typedef | statement | | 14 14 14 |
| type | enumeration | | 14 |
| type | user-defined | | 13 |
| understanding | gestalt | | 03 |
| undo command | | | 04 |
| union | statement | | 08 09 14 14 |
| UNIX | | | 05 08 08 08 08 09 14 14 14 14 14 14 |
| unknown | | | 02 |
| U.S. Patent | 5,335,344 | | 14 |
| U.S. Patent | 5,581,696 | | 14 |
| U.S. Patent | 5,842,019 | | 14 |
| user interface | command line | | 08 |
| user interface | event | capture | 08 |
| user interface | event | playback | 08 |
| user interface | graphical | | 08 08 |
| user interface | similarity | | 08 |
| value corruption | corruption, value | ||
| value tracking | | | 14 |
| value | random | | 09 09 |
| value | variable | | 09 09 |
| variable | | | 09 |
| variable | aggregate | | 14 |
| variable | assignment | | 09 09 09 |
| variable | class | | 13 |
| variable | declaration | | 13 |
| variable | floating point | | 09 09 |
| variable | free | | 10 |
| variable | global | | 04 08 08 09 09 09 09 09 09 09 09 09 09 13 |
| variable | heap | | 04 09 |
| variable | increment | | 09 |
| variable | initialize | | 09 |
| variable | instance | | 13 |
| variable | local | | 04 09 09 09 09 09 09 09 13 13 13 |
| variable | name | | 13 13 |
| variable | pad | | 09 |
| variable | private | | 13 |
| variable | protected | | 13 |
| variable | protective buffers | | 14 14 |
| variable | public | | 13 |
| variable | recently modified | | 04 |
| variable | stack | | 04 |
| variable | uninitialized | | 09 14 14 |
| variable | value | | 09 09 09 |
| variable | value | display | 09 |
| variant record | | | 09 |
| vi | editor, text | ||
| video display | | | 03 |
| viewpoint | | | 02 02 |
| Visual C++ | | | 14 14 |
| Visual Studio | | | 14 14 |
| visualization | array | | 03 |
| vocabulary | chess masters | | 06 |
| vocabulary | mathematical | | 06 |
| voice journal | | | 04 |
| voice-activated recorder | | | 04 |
| watchpoint | | | 09 14 |
| weight | rule | | 12 |
| white space | | | 13 13 13 |
| Wimsey, Lord Peter | author | | 03 |
| Wimsey, Lord Peter | life | | 03 |
| Wimsey, Lord Peter | literature | | 03 |
| Wimsey, Lord Peter | methods | | 03 |
| Windows | | | 08 08 08 09 14 14 14 14 14 14 14 |
| word processor | | | 09 |
| workplace comfort | | | 04 |
| worldview | | | 01 |
| worldview | computer scientist | | 14 |
| worldview | detective | | 02 |
| worldview | engineering | | 13 13 |
| worldview | mathematician | | 06 |
| worldview | psychologist | | 12 |
| worldview | safety expert | | 11 |
| X/Motif | | | 08 |
