Catálogo de publicaciones - libros

Palabras clave – provistas por la editorial

fuzzy automata; coalgebra; fuzzy language; bisimulation; composition; test data generation; genetic algorithm; specification-based testing; regression testing; mutation testing; eventual property; model checking; Maude; textual question answering; visual question answering; metamorphic testing; metamorphic relations; quality assessment; software rejuvenation; checkpointing; optimal rejuvenation-trigger timing; steady-state system availability; phase expansion; human-error factors; petri net; concurrent software systems; model-checking; data-flows; software reliability model; maximum likelihood estimation; EM algorithm; non-homogeneous Poisson process; generalized failure count data; moth flame optimization; island-based model; feature selection; software defect prediction; software reliability; search-based test case generation; branch coverage; object-oriented; deep learning; long short-term memory; project similarity and clustering; cross-project prediction; Nervos CKB; consensus protocol; UPPAAL