1492 search results - page 26 / 299 » Testing Properties of Constraint-Graphs |
137
Voted
COMPGEOM
1987
ACM
15 years 6 months ago
1987
ACM
Calculating properties of polyhedra given only the set of the locations and neighborhoods of the vertices is easy. Possible properties include volume, surface area, and point cont...
117
click to vote
ISSRE
2008
IEEE
15 years 9 months ago
2008
IEEE
We present a novel specification-based approach for generating tests for products in a software product line. Given properties of features as first-order logic formulas, our app...
143
click to vote
TAICPART
2010
IEEE
15 years 1 months ago
2010
IEEE
We report on how the Wrangler refactoring tool has been used to improve and transform test code for Erlang systems. This has been achieved through the removal of code clones, the i...
103
click to vote
AMAI
2002
Springer
15 years 3 months ago
2002
Springer
: It is claimed that human inferential apparatus offers interesting ground in order to consider the intuitions of artificial intelligence researchers about the inference patterns a...
115
Voted
ACSD
2007
IEEE
15 years 9 months ago
2007
IEEE
In this paper we introduce executions of place/transition Petri nets with weighted inhibitor arcs (PTI-net) as enabled labeled stratified order structures (LSOs) and present a po...