Sciweavers

945 search results - page 4 / 189
» Evolving Symbolic Controllers
Sort
View
89
Voted
KBSE
2010
IEEE
14 years 8 months ago
Test generation to expose changes in evolving programs
Software constantly undergoes changes throughout its life cycle, and thereby it evolves. As changes are introduced into a code base, we need to make sure that the effect of the ch...
Dawei Qi, Abhik Roychoudhury, Zhenkai Liang
69
Voted
RTSS
1993
IEEE
15 years 1 months ago
Symbolic Model Checking for Event-Driven Real-Time Systems
Jin Yang, Aloysius K. Mok, Farn Wang
EUROGP
2010
Springer
166views Optimization» more  EUROGP 2010»
15 years 2 months ago
Learning a Lot from Only a Little: Genetic Programming for Panel Segmentation on Sparse Sensory Evaluation Data
We describe a data mining framework that derives panelist information from sparse flavour survey data. One component of the framework executes genetic programming ensemble based s...
Katya Vladislavleva, Kalyan Veeramachaneni, Una-Ma...
HYBRID
2009
Springer
15 years 4 months ago
Optimization of Multi-agent Motion Programs with Applications to Robotic Marionettes
Abstract. In this paper, we consider the problem of generating optimized, executable control code from high-level, symbolic specifications. In particular, we construct symbolic co...
Patrick Martin, Magnus Egerstedt
FMSD
2006
77views more  FMSD 2006»
14 years 9 months ago
Data structures for symbolic multi-valued model-checking
Multi-valued logics can be effectively used to reason about incomplete and/or inconsistent systems, e.g. during early software requirements or as the systems evolve. In our earlie...
Marsha Chechik, Arie Gurfinkel, Benet Devereux, Al...