The Design and Implementation of Automata-based Testing Environment for Java Multi-thread Programs.
Heui-Seok SeoIn Sang ChungByeong Man KimYong Rae KwonPublished in: APSEC (2001)
Keyphrases
- database application development
- object oriented
- mobile robot
- implementation issues
- circuit design
- embedded software
- design process
- efficient implementation
- software environment
- java platform
- high level language
- java language
- object oriented languages
- java programming
- program execution
- java programs
- open source
- automatic programming
- memory management
- platform independent
- design methodology
- dynamic environments