Sciweavers

91 search results - page 2 / 19
» A Systematic Framework for Grammar Testing
Sort
View
SSIRI
2010
13 years 3 months ago
A Formal Framework for Mutation Testing
— Model-based approaches, especially based on directed graphs (DG), are becoming popular for mutation testing as they enable definition of simple, nevertheless powerful, mutation...
Fevzi Belli, Mutlu Beyazit
SCESM
2006
ACM
257views Algorithms» more  SCESM 2006»
13 years 11 months ago
Test ready UML statechart models
The dynamic behavior of systems is best described by Finite-state machines. Generation of executable tests from behavioral models such as UML Statecharts offers benefits such as s...
P. V. R. Murthy, P. C. Anitha, M. Mahesh, Rajesh S...
ACL
2012
11 years 7 months ago
Exploiting Multiple Treebanks for Parsing with Quasi-synchronous Grammars
We present a simple and effective framework for exploiting multiple monolingual treebanks with different annotation guidelines for parsing. Several types of transformation pattern...
Zhenghua Li, Ting Liu, Wanxiang Che
ER
2008
Springer
110views Database» more  ER 2008»
13 years 7 months ago
What's in a Relationship: An Ontological Analysis
In a series of publications, we have proposed a foundational system of ontological categories which has been successfully used to evaluate and improve the quality of conceptual mod...
Giancarlo Guizzardi, Gerd Wagner
ETFA
2006
IEEE
13 years 11 months ago
Systematic Design and Implementation of Distributed Controllers in Industrial Automation
This paper discusses systematic approaches to the design of distributed controllers in industrial automation systems. Several design approaches are compared that lead to the distr...
Valeriy Vyatkin, Martin Hirsch 0002, Hans-Michael ...