Sciweavers

ICSE
2012
IEEE-ACM
11 years 6 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
SDM
2012
SIAM
297views Data Mining» more  SDM 2012»
11 years 6 months ago
A Flexible Open-Source Toolbox for Scalable Complex Graph Analysis
The Knowledge Discovery Toolbox (KDT) enables domain experts to perform complex analyses of huge datasets on supercomputers using a high-level language without grappling with the ...
Adam Lugowski, David M. Alber, Aydin Buluç,...
IGARSS
2009
13 years 1 months ago
The Use of ORFEO ToolBox in the Context of Map Updating
This paper presents experiments with the ORFEO ToolBox (OTB) developed by the CNES in the context of the Brussels project ARMURS about map updating. Depending on the availability ...
Christophe Simler, Charles Beumier, Christine Leig...
ICSE
2009
IEEE-ACM
13 years 10 months ago
Semantics-based code search
Our goal is to use the vast repositories of available open source code to generate specific functions or classes that meet a user’s specifications. The key words here are spec...
Steven P. Reiss