EvoSpex: An Evolutionary Algorithm for Learning Postconditions

Software reliability is a primary concern in the construction of software, and thus a fundamental component in the definition of software quality. Analyzing software reliability requires a specification of the intended behavior of the software under analysis, and at the source code level, such speci...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Molina, Facundo, Ponzio, Pablo Daniel, Aguirre, Nazareno Matías, Frias, Marcelo F.
Formato:	Objeto de conferencia Resumen
Lenguaje:	Inglés
Publicado:	2021
Materias:	Ciencias Informáticas Java Tools Genetics Software reliability Genetic algorithms Contracts Software engineering
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/140422 http://50jaiio.sadio.org.ar/pdfs/asse/ASSE-07.pdf
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

EvoSpex: An evolutionary algorithm for learning postconditions (artifact)
por: Molina, Facundo, et al.
Publicado: (2022)

Genetic algorithms in search, optimization, and machine learning /
por: Goldberg, David E. (David Edward), 1953-
Publicado: (1989)

Genetic algorithms in search, optimization, and machine learning /
por: Goldberg, David E. (David Edward), 1953-
Publicado: (1989)

Pattern discovery and model construction: an evolutionary learning and data mining approach
por: Zhou, Harry
Publicado: (2006)

Improving evolutionary algorithms performance by extending incest prevention
por: Alfonso, Hugo, et al.
Publicado: (1998)

MCPC: another approach to crossover in genetic algorithms
por: Esquivel, Susana Cecilia, et al.
Publicado: (1995)

An evolutionary algorithm to track changes of optimum value locations in dynamic environments
por: Aragón, Victoria S., et al.
Publicado: (2004)

Combining incest prevention and multiplicity in evolutionary algorithms
por: Minetti, Gabriela F., et al.
Publicado: (2001)

Contrasting main selection methods in genetic algorithms
por: Alfonso, Hugo, et al.
Publicado: (1998)

Programación en java para internet /
Publicado: (1996)

Evolutionary algorithms in theory and practice : evolution strategies, evolutionary programming, genetic algorithms /
por: Bäck, Thomas, 1963-
Publicado: (1996)

Boundary extraction through gradient-based evolutionary algorithm
por: Katz, Román, et al.
Publicado: (2003)

Incest prevention and multirecombination in evolutionary algorithms to deal with the flow shop scheduling problem
por: Bain, María Elena, et al.
Publicado: (2000)

Two new feature selection algorithms with rough sets theory
por: Caballero, Yailé, et al.
Publicado: (2006)

Java : fundamentos de programación /
por: Bishop, Judy
Publicado: (1999)

A study of alternative selection mechanisms for multiple cossover per couple in genetic algorithms
por: Esquivel, Susana Cecilia, et al.
Publicado: (1998)

Documentación y evolución de componentes reusables : Contratos de reuso con semántica de comportamiento
por: Giandini, Roxana Silvia
Publicado: (1999)

Contrasting termination criteria for genetic algorithms
por: Bermúdez, Carlos, et al.
Publicado: (1999)

Crystal structure prediction of flexible molecules using parallel genetic algorithms with a standard force field
por: Ferraro, Marta Beatriz, et al.
Publicado: (2009)

Crystal structure prediction of flexible molecules using parallel genetic algorithms with a standard force field
por: Seonah, K., et al.

A new strategy for adapting the mutation probability in genetic algorithms
por: Stark, Natalia, et al.
Publicado: (2012)

Automated Analysis of Source Code Patches using Machine Learning Algorithms
por: Castro Lechtaler, Antonio, et al.
Publicado: (2015)

Transition from exo to endo Cu absorption in CuSin clusters: A genetic algorithms density functional theory study
por: Oña, Ofelia Beatriz, et al.
Publicado: (2011)

Transition from exo to endo Cu absorption in CuSin clusters: A genetic algorithms density functional theory study
por: Oña, O.B., et al.

About speedup improvement of classical genetic algorithms using cuda environment
por: Mroginski, Javier Luis, et al.
Publicado: (2023)

Refinamiento a JAVA de casos de prueba abstractos generados por Fastest, un sistema de testing automatizado
por: Coca, Pablo D.
Publicado: (2014)

Automated workarounds from Java Program specifications based on SAT solving
por: Uva, Marcelo, et al.
Publicado: (2020)

Automated workarounds from Java program specifications based on SAT solving
por: Uva, Marcelo, et al.
Publicado: (2019)

Multi-PBil: an estimation distribution algorithm applied to multimodal optimization problems
por: Barbosa Filho, Rubens
Publicado: (2006)

Adaptive amplifier system for sensor network applications
por: Lovay, Mónica, et al.
Publicado: (2011)

Environment for the Automatic Development and Tuning of Parallel Genetic Algorithms
por: Caymes-Scutari, Paola, et al.
Publicado: (2011)

A Fuzzy Approach to Control Genetic Algorithm Parameters
por: Houat de Brito, Felipe, et al.
Publicado: (2007)

A general framework to understand parallel performance in heterogeneous clusters: Analysis of a new adaptive parallel genetic algorithm
por: Bazterra, Víctor Eduardo, et al.
Publicado: (2005)

A general framework to understand parallel performance in heterogeneous clusters: Analysis of a new adaptive parallel genetic algorithm
por: Bazterra, V.E., et al.

A New Homogeneous Pure Birth Process based Software Reliability Model
por: Barraza, Néstor Rubén
Publicado: (2016)

Genetic algorithm applied to parameter estimation of bacterial growth modeling
por: Pedrozo, Héctor Alejandro, et al.
Publicado: (2016)

Social networks and genetic algorithms to choose committees with independent members
por: Zamudio, Eduardo, et al.
Publicado: (2016)

The importance of digitized biocollections as a source of trait data and a new VertNet resource
por: Zermoglio, Paula Florencia
Publicado: (2016)

The importance of digitized biocollections as a source of trait data and a new VertNet resource
por: Guralnick, R.P., et al.

Self-adaptation of parameters for MCPC in genetic algorithms
por: Esquivel, Susana Cecilia, et al.
Publicado: (1998)