scholarly journals Reasoning with graph constraints

2009 ◽  
Vol 22 (3) ◽  
pp. 385-422 ◽  
Author(s):  
Fernando Orejas ◽  
Hartmut Ehrig ◽  
Ulrike Prange
Keyword(s):  
Graph Constraints

scholarly journals A Logic of Graph Constraints

2008 ◽  
pp. 179-198 ◽  
Author(s):  
Fernando Orejas ◽  
Hartmut Ehrig ◽  
Ulrike Prange
Keyword(s):  
Graph Constraints

scholarly journals Max-Cut Under Graph Constraints

2016 ◽  
pp. 50-62 ◽  
Author(s):  
Jon Lee ◽  
Viswanath Nagarajan ◽  
Xiangkun Shen
Keyword(s):  
Graph Constraints

scholarly journals Diversity of graph models and graph generators in mutation testing

2019 ◽  
Vol 22 (1) ◽  
pp. 57-78 ◽  
Author(s):  
Oszkár Semeráth ◽  
Rebeka Farkas ◽  
Gábor Bergmann ◽  
Dániel Varró
Keyword(s):  
Mutation Testing ◽  
Distance Functions ◽  
Test Suite ◽  
Critical Systems ◽  
Graph Models ◽  
Bug Detection ◽  
Modeling Tools ◽  
Graph Constraints ◽  
Access Policies ◽  
Diversity Metrics

Abstract When custom modeling tools are used for designing complex safety-critical systems (e.g., critical cyber-physical systems), the tools themselves need to be validated by systematic testing to prevent tool-specific bugs reaching the system. Testing of such modeling tools relies upon an automatically generated set of models as a test suite. While many software testing practices recommend that this test suite should be diverse, model diversity has not been studied systematically for graph models. In the paper, we propose different diversity metrics for models by generalizing and exploiting neighborhood and predicate shapes as abstraction. We evaluate such shape-based diversity metrics using various distance functions in the context of mutation testing of graph constraints and access policies for two separate industrial DSLs. Furthermore, we evaluate the quality (i.e., bug detection capability) of different (random and consistent) model generation techniques for mutation testing purposes.

A multiple-grammar model of speakers’ linguistic knowledge

2015 ◽  
Vol 26 (2) ◽  
pp. 161-210 ◽  
Author(s):  
Shoichi Iwasaki
Keyword(s):  
Written Language ◽  
Linguistic Knowledge ◽  
Cognitive Organization ◽  
Online Processing ◽  
Verbal Tasks ◽  
Abstract Level ◽  
Media Types ◽  
Graph Constraints ◽  
Language Environment ◽  
Past Experiences

AbstractBy using the concept of ‘multiple grammars,’ this paper develops the view of an individual speaker’s cognitive organization of grammar. Although conversation, one type of spoken language environment, plays a crucial role in the emergence of grammar, for some speakers in a literate society, the written language environment may also contribute to developing a grammar. The two language environments are expected to provide unique incentives to shaping grammar differently as they diverge greatly in terms of media types (sound vs graph), constraints (online processing vs detachment), and purposes (interaction vs ideational formation), among others. At the same time, speakers may come in contact with and acquire additional sets of grammar for specific genres. Though the grammars acquired in different genre environments may be merged at the most abstract level, each grammar contains genre-specific formulaic expressions and grammatical resources with varying degrees of granularity. Speakers may conduct their routine linguistic activities in an informal conversation by employing reusable formulaic expressions of various types and rudimentary combinatory algorithms, but when they engage in more complex verbal tasks (politicians engaging in a debate, interviewees reconstructing past experiences), they may employ more abstract grammatical resources including those that were acquired from written language. The paper explores these suggestions by performing text and statistical analyses of several Japanese discourse samples.

scholarly journals Modeling cellular network traffic with mobile call graph constraints

2011 ◽  
Author(s):  
Junwhan Kim ◽  
V. S. Anil Kumar ◽  
Achla Marathe ◽  
Guanhong Pei ◽  
Sudip Saha ◽  
...  
Keyword(s):  
Network Traffic ◽  
Cellular Network ◽  
Call Graph ◽  
Graph Constraints
Sign in / Sign up

Export Citation Format

Share Document