José Campos

Learn More
Informal settlements behave very dynamical over space and time and the number of people living in such housing areas is growing worldwide. The reasons for this dynamical behaviour are manifold and are not matter of this article. Nevertheless, informal settlements represent a status quo of housing and living conditions which is from a humanitarian point of(More)
The heuristics implement a search on p-median clusters identified on a Lagrangean/surrogate optimization process. These heuristics are based on locationallocation procedures that swap medians and vertices inside the clusters, reallocate vertices, and iterate until no more improvement is reached. Computational results consider instances from the literature(More)
Testing and debugging is the most expensive, error-prone phase in the software development life cycle. Automated testing and diagnosis of software faults can drastically improve the efficiency of this phase, this way improving the overall quality of the software. In this paper we present a toolset for automatic testing and fault localization, dubbed(More)
Writing good unit tests can be tedious and error prone, but even once they are written, the job is not done: Developers need to reason about unit tests throughout software development and evolution, in order to diagnose test failures, maintain the tests, and to understand code written by other developers. Unreadable tests are more difficult to maintain and(More)
  • 2005
An Ant Colony System (ACS) minimizer is implemented for the solution of the inverse radiative transfer problem associated to the estimation of the optical thickness, single scattering albedo and boundary surfaces diffuse reflectivities in a one-dimensional homogeneous medium. The ACS minimizer was implemented in a PC cluster using the MPI library yielding(More)
Geosensor networks comprise small electro-mechanical devices that communicate over a wireless network. These devices collect environmental measures and send them to a base station. Energy consumption and data routing are critical factors for efficient geosensor networks. The usual cluster-based data routing protocols for sensor networks group the nodes(More)
Spectrum-based Bayesian reasoning can effectively rank candidate fault locations based on passing/failing test cases, but the diagnostic quality highly depends on the size and diversity of the underlying test suite. As test suites in practice often do not exhibit the necessary properties, we present a technique to extend existing test suites with new test(More)
1 Solar-Terrestrial Environment Laboratory, Nagoya University, Toyokawa 442, Japan. zMax-Planck-Institut fur extraterrestrische Physik, D-85740 Garching, Germany. 31nstitute of Ionospheric and Space Research, National Observatory c)f Athens, 15236 Pelea I?enteli, Greece. ‘l Institute de Pesquisas Espacialk, Siio Jose dos Campos, !Mo Paulo, Brazil,(More)
Automated test generation techniques typically aim at maximising coverage of well-established structural criteria such as statement or branch coverage. In practice, generating tests only for one specific criterion may not be sufficient when testing object oriented classes, as standard structural coverage criteria do not fully capture the properties(More)