An Automatic Approach to Transform CafeOBJ Specifications to Java Template Code.
Chartchai Doungsa-ardTaratip SuwannasartPublished in: Software Engineering Research and Practice (2003)
Keyphrases
- source code
- unit testing
- java programs
- byte code
- java code
- object oriented
- high level
- open source
- java virtual machine
- programming language
- matching algorithm
- template matching
- control flow
- program code
- written in natural language
- integration testing
- java language
- code examples
- multi threaded
- fully automatic
- operating system
- input image