Extension of the functionality of the symbolic program FORM by external software
M. TentyukovJ. A. M. VermaserenPublished in: CoRR (2006)
Keyphrases
- software development
- test cases
- static analysis
- symbolic representation
- program understanding
- software tools
- database
- software systems
- programming environment
- search based software testing
- program slicing
- computer hardware
- fully functional
- hardware design
- source code
- computer programs
- software components
- internal and external
- software architecture
- control flow
- java programs
- expert systems
- search engine
- learning algorithm
- genetic algorithm
- data mining