Mostrar el registro sencillo del ítem

dc.contributor.authorChicano, Francisco 
dc.contributor.authorFerreira, Marco
dc.contributor.authorAlba-Torres, Enrique 
dc.date.accessioned2015-09-07T11:18:59Z
dc.date.available2015-09-07T11:18:59Z
dc.date.created2011
dc.date.issued2015-09-07
dc.identifier.urihttp://hdl.handle.net/10630/10217
dc.descriptionChicano, F., Ferreira M., & Alba E. (2011). Comparing Metaheuristic Algorithms for Error Detection in Java Programs. In Proceedings of Search Based Software Engineering, Szeged, Hungary, September 10-12, 2011. pp. 82–96.es_ES
dc.description.abstractModel checking is a fully automatic technique for checking concurrent software properties in which the states of a concurrent system are explored in an explicit or implicit way. The main drawback of this technique is the high memory consumption, which limits the size of the programs that can be checked. In the last years, some researchers have focused on the application of guided non-complete stochastic techniques to the search of the state space of such concurrent programs. In this paper, we compare five metaheuristic algorithms for this problem. The algorithms are Simulated Annealing, Ant Colony Optimization, Particle Swarm Optimization and two variants of Genetic Algorithm. To the best of our knowledge, it is the first time that Simulated Annealing has been applied to the problem. We use in the comparison a benchmark composed of 17 Java concurrent programs. We also compare the results of these algorithms with the ones of deterministic algorithms.es_ES
dc.description.sponsorshipUniversidad de Málaga. Campus de Excelencia Internacional Andalucía Tech. This research has been partially funded by the Spanish Ministry of Science and Innovation and FEDER under contract TIN2008-06491-C04-01 (the M∗ project) and the Andalusian Government under contract P07-TIC-03044 (DIRICOM project).es_ES
dc.language.isoenges_ES
dc.rightsinfo:eu-repo/semantics/openAccesses_ES
dc.subjectIngeniería del softwarees_ES
dc.subjectAlgoritmos genéticoses_ES
dc.subject.otherModel checkinges_ES
dc.subject.otherJava PathFinderes_ES
dc.subject.otherSimulated annealinges_ES
dc.subject.otherParticle swarm optimizationes_ES
dc.subject.otherAnt colony optimizationes_ES
dc.subject.otherGenetic algorithmes_ES
dc.titleComparing metaheuristic algorithms for error detection in Java programses_ES
dc.typeinfo:eu-repo/semantics/preprintes_ES
dc.centroE.T.S.I. Informáticaes_ES
dc.relation.eventtitleSymposium on Search Based Software Engineeringes_ES
dc.relation.eventplaceSzeged, Hungaryes_ES
dc.relation.eventdateSeptember 2011es_ES
dc.identifier.orcidhttp://orcid.org/0000-0003-1259-2990es_ES
dc.cclicenseby-nc-ndes_ES


Ficheros en el ítem

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem