Programming Faults and Errors: Towards a Theory of Software Incorrectness.
Janusz W. LaskiPublished in: Ann. Softw. Eng. (1997)
Keyphrases
- error detection
- computer systems
- theoretical framework
- software development
- artificial intelligence
- fault diagnosis
- software systems
- user interface
- test cases
- programming language
- software tools
- advanced features
- software package
- programming environments
- logic programs
- computational model
- website
- oracle database
- software maintenance
- fault detection
- database
- fully functional
- program understanding