Sciweavers

2 search results - page 1 / 1
» make test-zesti: A symbolic execution solution for improving...
Sort
View
ICSE
2012
IEEE-ACM
11 years 7 months ago
make test-zesti: A symbolic execution solution for improving regression testing
Abstract—Software testing is an expensive and time consuming process, often involving the manual creation of comprehensive regression test suites. However, current testing method...
Paul Dan Marinescu, Cristian Cadar
GECCO
2008
Springer
145views Optimization» more  GECCO 2008»
13 years 5 months ago
Memory with memory: soft assignment in genetic programming
Based in part on observations about the incremental nature of most state changes in biological systems, we introduce the idea of Memory with Memory in Genetic Programming (GP), wh...
Nicholas Freitag McPhee, Riccardo Poli