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
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | 임동진 | - |
| dc.date.accessioned | 2021-06-22T16:43:39Z | - |
| dc.date.available | 2021-06-22T16:43:39Z | - |
| dc.date.created | 2021-02-18 | - |
| dc.date.issued | 2016-05-26 | - |
| dc.identifier.uri | https://scholarworks.bwise.kr/erica/handle/2021.sw.erica/13644 | - |
| dc.publisher | Society of Automotive Engineers of Japan | - |
| dc.title | Automatic Test Case Generation Based on the UML Model of the Automotive-Embedded Software Using a Custom Parser and SMT Solver | - |
| dc.type | Article | - |
| dc.contributor.affiliatedAuthor | 임동진 | - |
| dc.identifier.bibliographicCitation | Proceedings of 2016 JSAE Annual Congress(Spring), pp.1198 - 1202 | - |
| dc.relation.isPartOf | Proceedings of 2016 JSAE Annual Congress(Spring) | - |
| dc.citation.title | Proceedings of 2016 JSAE Annual Congress(Spring) | - |
| dc.citation.startPage | 1198 | - |
| dc.citation.endPage | 1202 | - |
| dc.type.rims | ART | - |
| dc.description.journalClass | 3 | - |
- 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.