632,587 Hits in 4.9 sec

Towards Testing the Implementation of Graph Transformations

Andrea Darabos, András Pataricza, Dániel Varró
2008 Electronical Notes in Theoretical Computer Science  
We propose an extensible fault model for the implementation of transformations based on common programmer faults and the technicalities of graph transformations.  ...  We present a method for testing the implementation of graph transformation specifications focusing on test case generation for graph pattern matching.  ...  Graph transformations Graph transformation [20] is a pattern and rule based formalism for the manipulation of graph models.  ... 
doi:10.1016/j.entcs.2008.04.031 fatcat:yxmqc333vzfhrj3mmgwtxnnkzu

Towards traceability of model-based testing artifacts

Leila Naslavsky, Hadar Ziv, Debra J. Richardson
2007 Proceedings of the 3rd international workshop on Advances in model-based testing - A-MOST '07  
This paper proposes an approach that leverages model transformation traceability techniques to create fine-grained relationships among model-based testing artifacts.  ...  Testing against original expectations can be done with modelbased testing that adopts high-level models as the basis for test generation.  ...  The main contribution of this work is an infrastructure and workflow for model-based testing that applies model transformation and test generation techniques to create modelbased control flow graphs, test  ... 
doi:10.1145/1291535.1291546 dblp:conf/amost/NaslavskyZR07 fatcat:dueseijdbjeihlyjbjtvifjrcy

Applying a Model Transformation Taxonomy to Graph Transformation Technology

Tom Mens, Pieter Van Gorp, Dániel Varró, Gabor Karsai
2006 Electronical Notes in Theoretical Computer Science  
In this paper we apply the taxonomy to the technique of graph transformation, and we exemplify it by referring to four representative graph transformation tools.  ...  A taxonomy of model transformations was introduced in [16].  ...  Geiger et al. investigate graph-transformation based testing and debugging in the Fujaba environment [8, 6] .  ... 
doi:10.1016/j.entcs.2005.10.022 fatcat:hnm5pyvowvfovokzmplpcy4nee

Incremental Development of Model Transformation Chains Using Automated Testing [chapter]

Jochen M. Küster, Thomas Gschwind, Olaf Zimmermann
2009 Lecture Notes in Computer Science  
for Model Transformation Chains Test design techniques for deriving test cases for a transformation chain -test cases for transformation chain and each individual transformation Three different  ...  Data", Merge, Decision) -… Repository for Deviation Test Data Tests and Transformation Overview Workflow Graph 1 Joint Process Structure Tree Difference Model Difference Model With  ... 
doi:10.1007/978-3-642-04425-0_60 fatcat:dfdobcj4ljdlvd3asltz722uga

Towards Automated Model Driven Development withModel Transformation Methods and Testing

Nguyen Cuong
2013 International Journal of Information and Electronics Engineering  
To achieve automation development we outline a formal approach to testing model transformation with automated test data generation. Index Terms-ATL, model driven development, model transformation.  ...  As more complex models need to be used, the importance of transformations between models grows.  ...  Graph transformations are usually based on matching and replacement strategy.  ... 
doi:10.7763/ijiee.2013.v3.314 fatcat:p7fazd5pwra3fbxnrfbiquoxty

GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations

Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
2011 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)  
model transformations, an optimization mechanism for improving efficiency, and a powerful debugging environment for testing bidirectional behavior.  ...  model transformations.  ...  execution model, and a tool for testing/debugging bidirectional behavior.  ... 
doi:10.1109/ase.2011.6100104 dblp:conf/kbse/HidakaHIKN11 fatcat:hb7pokknizh4fapqgj3p7ah6za

GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations

Soichiro HIDAKA, Zhenjiang HU, Kazuhiro INABA, Hiroyuki KATO, Keisuke NAKANO
2013 Progress in Informatics  
model transformations, an optimization mechanism for improving efficiency, and a powerful debugging environment for testing bidirectional behavior.  ...  model transformations.  ...  execution model, and a tool for testing/debugging bidirectional behavior.  ... 
doi:10.2201/niipi.2013.10.7 fatcat:eswkuhlov5h4tausieayjs24fm

Continuous Graph Flow [article]

Zhiwei Deng, Megha Nawhal, Lili Meng, Greg Mori
2019 arXiv   pre-print
In this paper, we propose Continuous Graph Flow, a generative continuous flow based method that aims to model complex distributions of graph-structured data.  ...  Once learned, the model can be applied to an arbitrary graph, defining a probability density over the random variables represented by the graph.  ...  For unconditional generation, samples from a base distribution (e.g. Gaussian) are transformed into learnt data distribution using the CGF model.  ... 
arXiv:1908.02436v2 fatcat:wq2xgqbvbvcdzgs5k2abubge5e

An Open-World Extension to Knowledge Graph Completion Models

Haseeb Shah, Johannes Villmow, Adrian Ulges, Ulrich Schwanecke, Faisal Shafait
We present a novel extension to embedding-based knowledge graph completion models which enables them to perform open-world link prediction, i.e. to predict facts for entities unseen in training based on  ...  After training both independently, we learn a transformation to map the embeddings of an entity's name and description to the graph-based embedding space.In experiments on several datasets including FB20k  ...  We then learn a transformation from text-based embedding space to graph-based embedding space, where we can now apply the graph-based model for predicting links.  ... 
doi:10.1609/aaai.v33i01.33013044 fatcat:umstjbwz3rgixetz6eix3kuqwu

A Graphical Tool for Testing Timed Systems based on Meta- Modeling and Graph Grammars [article]

Hiba Hachichi and Ilham Kitouni and Kenza Bouaroudj and Djamel-Eddine Saidouni
2012 arXiv   pre-print
a timed refusals region graph (TRRG) for creating a canonical tester and generating test cases using graph transformation.  ...  In this paper, we interest in formal testing using graph transformation, thus we propose an approach for translating a Durational Actions Timed Automata model (DATA*) with a high number of states into  ...  Graph Transformation A transformation between models is the automatic generation of a target model from a source model.  ... 
arXiv:1209.5257v1 fatcat:45xj773wffg2vlb4ongajbvrem

Multi-Graph Transformer for Free-Hand Sketch Recognition [article]

Peng Xu, Chaitanya K. Joshi, Xavier Bresson
2021 arXiv   pre-print
We design a novel Graph Neural Network (GNN), the Multi-Graph Transformer (MGT), for learning representations of sketches from multiple graphs which simultaneously capture global and local geometric stroke  ...  Particularly, MGT applied on 414k sketches from Google QuickDraw: (i) achieves small recognition gap to the CNN-based performance upper bound (72.80% vs. 74.22%), and (ii) outperforms all RNN-based models  ...  For Transformer models, we use the following hyperparameter values: S = 100, L = 4,d = 128, G = 3 (A 1-hop , A 2-hop , A global ), and I = 8 (per graph) for our Base model (andd = 256 for our Large model  ... 
arXiv:1912.11258v3 fatcat:pxurw2kxbffzdn4esi2ydkejtm

Graph Transformation in Relational Databases

Gergely Varró, Katalin Friedl, Dániel Varró
2005 Electronical Notes in Theoretical Computer Science  
and Engels propose in [1] a hybrid (visual and textual) query language based upon graph transformation. • In [9], Jahnke and Zündorf propose the use of triple graph grammars [16] for database re-engineering  ...  We present a novel approach to implement a graph transformation engine based on standard relational database management systems (RDBMSs).  ...  rule based manipulation of graph models.  ... 
doi:10.1016/j.entcs.2004.12.034 fatcat:bhdbppjqxfh6zlbpnr5gsbbwxq

Test Case Generation Using Visual Contracts

Olga Runge, Tamim Ahmed Khan, Reiko Heckel
2013 Electronic Communications of the EASST  
Using visual contracts for testing, we benefit from their executabilityand formal background in graph transformation to provide model-basedtest oracles and coverage criteria.  ...  to a comprehensive approach aiming toautomate the three major challenges of testing through the use of models.  ...  The derivation of test cases for service-oriented systems is investigated in [GHV] based on a platform metamodel for SOA and graph transformation rules describing the platform behaviour.  ... 
doi:10.14279/tuj.eceasst.58.847 dblp:journals/eceasst/RungeKH13 fatcat:2itcx54esnchtbkhtnrqvpubre

Using traceability to support model-based regression testing

Leila Naslavsky, Debra J. Richardson
2007 Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering - ASE '07  
We use this infrastructure to support model-based selective regression testing.  ...  In fact, most model-based testing automated approaches often concentrate on the test generation and execution activities, while support to other activities is limited (e.g. model-based selective regression  ...  In figure 1 , step A is a model transformation that creates a model-based control flow graph (mbcfgV1) model from a UML model (umlV1), where one sequence diagram becomes one model-based control flow graph  ... 
doi:10.1145/1321631.1321744 dblp:conf/kbse/NaslavskyR07 fatcat:mvtzv6pxgvdh5b4ekxaxq4ijfy

Strength of Connections in a Random Graph: Definition, Characterization, and Estimation [article]

Subhadeep Mukhopadhyay
2015 arXiv   pre-print
How can concepts like Fourier and inverse-Fourier like transform be developed for graph data?  ...  Our approach further allows frequency domain analysis, applicable for both directed and undirected random graphs.  ...  The author also thanks Mohsen Pourahmadi for constructive comments and several useful suggestions.  ... 
arXiv:1412.1530v3 fatcat:uc24gd6t3bgevh25n3fd2m4w5q
« Previous Showing results 1 — 15 out of 632,587 results