Catálogo de publicaciones - actas de congreso

Compartir en
redes sociales

Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering

Resumen/Descripción – provisto por la editorial

No disponible.

Palabras clave – provistas por la editorial

No disponibles.

Disponibilidad

Institución detectada	Año de publicación	Navegá	Descargá	Solicitá
No detectada	2020	ACM Digital Library

Información

Tipo de recurso:

actas de congreso

ISBN impreso

978-1-4503-7043-1

Editor responsable

Association for Computing Machinery (ACM)

País de edición

Estados Unidos

Fecha de publicación

2020-11-08

Información sobre derechos de publicación

Cobertura temática

Ciencias de la computación e información

Tabla de contenidos

Verificá que desde tu institución tengas acceso para descargar o solicitar el libro completo o alguno de sus capítulos.

doi: 10.1145/3368089.3409744

Baital: an adaptive weighted sampling approach for improved t-wise coverage

Eduard Baranov; Axel Legay; Kuldeep S. Meel

Pp. No disponible

doi: 10.1145/3368089.3409748

Boosting fuzzer efficiency: an information theoretic perspective

Marcel Böhme; Valentin J. M. Manès; Sang Kil Cha

Pp. No disponible

doi: 10.1145/3368089.3417920

Dads: dynamic slicing continuously-running distributed programs with budget constraints

Xiaoqin Fu; Haipeng Cai; Li Li

Pp. No disponible

doi: 10.1145/3368089.3409676

Dynamic slicing for deep neural networks

Ziqi Zhang; Yuanchun Li; Yao Guo; Xiangqun Chen; Yunxin Liu

Pp. No disponible

doi: 10.1145/3368089.3409730

Model-based exploration of the frontier of behaviours for deep learning system testing

Vincenzo Riccio; Paolo Tonella

Pp. No disponible

doi: 10.1145/3368089.3409741

Efficient incident identification from multi-dimensional issue reports via meta-heuristic search

Jiazhen Gu; Chuan Luo; Si Qin; Bo Qiao; Qingwei Lin; Hongyu Zhang; Ze Li; Yingnong Dang; Shaowei Cai; Wei Wu; Yangfan Zhou; Murali Chintalapati; Dongmei Zhang

Pp. No disponible

doi: 10.1145/3368089.3417047

FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain

Jincao Feng; Weikai Miao; Hanyue Zheng; Yihao Huang; Jianwen Li; Zheng Wang; Ting Su; Bin Gu; Geguang Pu; Mengfei Yang; Jifeng He

Pp. No disponible

doi: 10.1145/3368089.3417925

Enhancing developer interactions with programming screencasts through accurate code extraction

Lingfeng Bao; Shengyi Pan; Zhenchang Xing; Xin Xia; David Lo; Xiaohu Yang

Pp. No disponible

doi: 10.1145/3368089.3409726

An evaluation of methods to port legacy code to SGX enclaves

Kripa Shanker; Arun Joseph; Vinod Ganapathy

Pp. No disponible

doi: 10.1145/3368089.3417040

Towards learning visual semantics

Haipeng Cai; Shiv Raj Pant; Wen Li

Pp. No disponible