The Construction of Numerical Mathematical Software for the AMT DAP by Program Transformation.
James M. BoyleMaurice ClintStephen FitzpatrickTerence J. HarmerPublished in: CONPAR (1992)
Keyphrases
- program understanding
- software systems
- control flow
- test cases
- static analysis
- user interface
- software maintenance
- software tools
- sensitivity analysis
- software developers
- program slicing
- source code
- software design
- construction process
- hardware designs
- software evolution
- search based software testing
- data sets
- reverse engineering
- software package
- hardware design
- fault localization
- computer hardware
- computer systems
- open source
- data mining