1613 search results - page 86 / 323 » Model-Driven Constraint Engineering |
135
click to vote
EICS
2009
ACM
15 years 8 months ago
2009
ACM
Complex and dynamic interaction behaviors in applications such as Virtual Reality (VR) systems are difficult to design and develop. Reasons for this include the complexity and lim...
131
click to vote
CASCON
2006
15 years 4 months ago
2006
Protocol tester is a project at RMC and Queen's that applies program transformation techniques to protocol data to evaluate the security of network applications. As part of t...
120
Voted
ISSRE
2007
IEEE
15 years 5 months ago
2007
IEEE
Constraint-Based Testing (CBT) is the process of generating test cases against a testing objective by using constraint solving techniques. In CBT, testing objectives are given und...
124
Voted
ISSTA
2009
ACM
15 years 10 months ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...
153
Voted
FSTTCS
2009
Springer
15 years 10 months ago
2009
Springer
ABSTRACT. We continue the study of bottom-up unranked tree automata with equality and disequality constraints between direct subtrees. In particular, we show that the emptiness pro...