A semantic part generated Java statement from a CafeOBJ specification
A computer program is developed in order to satisfy what a customer wants. Therefore, a developed program must conform to its design which is corresponded to user requirements. Source code must be consistently implemented with the design. One approach to solve this problem is to apply source code ge...
Saved in:
Main Authors: | C. Doungsa-ard, T. Suwannasart |
---|---|
Format: | Conference Proceeding |
Published: |
2018
|
Subjects: | |
Online Access: | https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=34250865500&origin=inward http://cmuir.cmu.ac.th/jspui/handle/6653943832/61603 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Chiang Mai University |
Similar Items
-
Automatic Semantic-preserving Conversion Between OBJ and CityGML
by: Biljecki, Filip, et al.
Published: (2018) -
GA-based automatic test data generation for UML state diagrams with parallel paths
by: C. Doungsa-Ard, et al.
Published: (2018) -
ObjSim: Efficient testing of cyber-physical systems
by: SUN, Jun, et al.
Published: (2020) -
Test data generation from Hibernate constraints
by: Krittaya Marin, et al.
Published: (2018) -
JuiceGen: The JUnit test generation tool from the UML state machine diagram
by: Chartchai Doungsa-Ard, et al.
Published: (2018)