25 search results - page 2 / 5 » A baseline method for search-based software engineering |
GECCO
2011
Springer
12 years 8 months ago
2011
Springer
Software projects often fail because stakeholder communication and involvement are inadequate. This paper proposes a novel method to understand project social networks and their c...
ICSE
2008
IEEE-ACM
14 years 4 months ago
2008
IEEE-ACM
Several tools and methods for source code quality assurance based on static analysis finally reached a state when they are applicable in practice and recognized by the industry. H...
ASPLOS
2011
ACM
12 years 8 months ago
2011
ACM
Graphics processing units (GPUs) provide a low cost platform for accelerating high performance computations. The introduction of new programming languages, such as CUDA and OpenCL...
GECCO
2006
Springer
13 years 8 months ago
2006
Springer
This poster paper outlines a method for a search based approach to the development of provably correct protocols. Categories and Subject Descriptors C.2.2 [Computer Communication ...
ICSE
2008
IEEE-ACM
14 years 5 months ago
2008
IEEE-ACM
This paper describes Juzi, a tool for automatic repair of complex data structures. Juzi takes a Java class representing the data structure as well as a predicate method that speci...