Software acting on complex data structures can be challenging to test: it is difficult to generate diverse test data that satisfies structural constraints while simultaneously exhibiting properties, such as a particular size, that the test engineer ...

One of the most important issues in oil \& gas industry is the lithological identification. Lithology is the macroscopic description of the physical characteristics of a rock. This work proposes a new methodology for lithological discrimination, using ...

This paper analytically identifies the points chosen by the best black-box optimization methods, measured by assigning values to the history of points examined by stochastic optimization methods applied to randomly chosen but static (single) objective ...

Community detection is a key problem in social network analysis. We propose a two-phase algorithm for detecting community structure in social networks. First phase employs a local-search method to group together nodes that have a high chance of falling ...

The staggering increase of malware families and their diversity poses a significant threat and creates a compelling need for automatic classification techniques. In this paper, we first analyze the role of network behavior as a powerful technique to ...

Ms. Pac-Man is a challenging video game in which multiple modes of behavior are required to succeed: Ms. Pac-Man must escape ghosts when they are threats, and catch them when they are edible, in addition to eating all pills in each level. Past ...