Detailed Information
Cited 0 time in 
Cited 0 time in 
Cited 0 time in
Metadata Downloads
Automatic Test Case Generation Based on the UML Model of the Automotive-Embedded Software Using a Custom Parser and SMT Solver
- Authors
- 임동진
- Issue Date
- 26-May-2016
- Publisher
- Society of Automotive Engineers of Japan
- Citation
- Proceedings of 2016 JSAE Annual Congress(Spring), pp.1198 - 1202
- Journal Title
- Proceedings of 2016 JSAE Annual Congress(Spring)
- Start Page
- 1198
- End Page
- 1202
- Files in This Item
- There are no files associated with this item.
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.