1399 search results - page 223 / 280 » Verification of Test Suites |
FASE
2010
Springer
14 years 6 months ago
2010
Springer
This paper1 provides a motivation for the application of search based optimization to Software Engineering, an area that has come to be known as Search Based Software Engineering (...
VMCAI
2009
Springer
14 years 6 months ago
2009
Springer
This paper describes the methods used in Empire, a tool to detect concurrency-related bugs, namely atomic-set serializability violations in Java programs. The correctness criterion...
CEC
2009
IEEE
14 years 6 months ago
2009
IEEE
— We extend the Evolution Strategy with Covariance Matrix Adaptation (CMA-ES) by collaborative concepts from Particle Swarm Optimization (PSO). The proposed Particle Swarm CMA-ES...
ICDAR
2009
IEEE
14 years 5 months ago
2009
IEEE
Scanned document images are nowadays becoming available in increasingly higher resolutions. Meanwhile, the variations in image quality within typical document collections increase...
BPM
2009
Springer
14 years 5 months ago
2009
Springer
The number of BPM products available has increased substantially in the last years, so that choosing among these products became a difficult task for potential BPM users. This pape...