Sciweavers

4299 search results - page 275 / 860
» Concurrent Test Generation
Sort
View
CG
2005
Springer
15 years 4 months ago
An algorithm for tetrahedral mesh generation based on conforming constrained Delaunay tetrahedralization
An unstructured tetrahedral mesh generation algorithm for 3D model with constraints is presented. To automatically generate a tetrahedral mesh for model with constraints, an advan...
Yi-Jun Yang, Jun-Hai Yong, Jia-Guang Sun
ECMDAFA
2009
Springer
109views Hardware» more  ECMDAFA 2009»
15 years 11 months ago
Uniform Random Generation of Huge Metamodel Instances
The size and the number of models is drastically increasing, preventing organizations from fully exploiting Model Driven Engineering benefits. Regarding this problem of scalabilit...
Alix Mougenot, Alexis Darrasse, Xavier Blanc, Mich...
ISCIS
2009
Springer
15 years 11 months ago
Using a SAT solver to generate checking sequences
—Methods for software testing based on Finite State Machines (FSMs) have been researched since the early 60’s. Many of these methods are about generating a checking sequence fr...
Guy-Vincent Jourdan, Hasan Ural, Hüsnü Y...
ICMCS
2007
IEEE
149views Multimedia» more  ICMCS 2007»
15 years 10 months ago
Ground-Truthed Video Generation from Symbolic Information
An algorithm is presented that automatically generates groundtruthed video from a symbolic description for an object and a specification for the movement of a handheld video camer...
Andrew Lookingbill, Emilio R. Antúnez, Bern...
GECCO
2007
Springer
175views Optimization» more  GECCO 2007»
15 years 10 months ago
Regular expression generation through grammatical evolution
This study investigates automatic regular expression generation using Grammatical Evolution. The software implementation is based on a subset of POSIX regular expression rules. Fo...
Ahmet Cetinkaya