Sciweavers

7 search results - page 1 / 2
» Restarting Automata with Structured Output And Functional Ge...
Sort
View
LATA
2010
Springer
13 years 3 months ago
Restarting Automata with Structured Output And Functional Generative Description
Martin Plátek, František Mráz, Markéta Lopatko...
GECCO
2003
Springer
148views Optimization» more  GECCO 2003»
13 years 10 months ago
Structural and Functional Sequence Test of Dynamic and State-Based Software with Evolutionary Algorithms
Evolutionary Testing (ET) has been shown to be very successful for testing real world applications [10]. The original ET approach focusesonsearching for a high coverage of the test...
André Baresel, Hartmut Pohlheim, Sadegh Sad...
NAR
2006
120views more  NAR 2006»
13 years 4 months ago
TreeDomViewer: a tool for the visualization of phylogeny and protein domain structure
Phylogenetic analysis and examination of protein domains allow accurate genome annotation and are invaluable to study proteins and protein complex evolution. However, two sequence...
Blaise T. F. Alako, Daphne Rainey, Harm Nijveen, J...
ICST
2009
IEEE
13 years 11 months ago
Optimizing Probabilities of Real-Time Test Case Execution
—Model-based test derivation for real-time system has been proven to be a hard problem for exhaustive test suites. Therefore, techniques for real-time testing do not aim to exhau...
Nicolás Wolovick, Pedro R. D'Argenio, Hongy...
DM
2008
94views more  DM 2008»
13 years 5 months ago
Discrete transformation hypergroups and transformation hypergroups with phase tolerance space
Tolerance spaces and algebraic structures with compatible tolerances play an important role in contemporary algebra and their applications. In this contribution we are presenting ...
Sárka Hosková, Jan Chvalina