Export 2 results:
Search results for biblio_type:Proceedings, refereed
Filters: Author is Juan Cadavid [Reset Search]
Filters: Author is Juan Cadavid [Reset Search]
Discovering Model Transformation Pre-conditions using Automatically Generated Test Models In International Symposium of Software Reliability Engineering. Gaithersburg, USA, November 2-5., 2015.
issre2015mottusen-camera_ready.pdf (1.48 MB)
Generating Non-Isomorphic Models to Test Model Transformations. Simula Research Laboratory, 2014.
Simula.simula.2994.pdf (1.49 MB)