Fuzzing Class Specifications

Authors

  • Facundo Molina Universidad Nacional de Rıo Cuarto, Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET), Argentina
  • Marcelo d’Amorim Universidade Federal de Pernambuco, Brasil
  • Nazareno Aguirre Universidad Nacional de Rıo Cuarto, Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET), Argentina

Abstract

Expressing class specifications via executable constraints is important for various software engineering tasks such as test generation, bug finding and automated debugging, but developers rarely write them. Techniques that infer specifications from code exist to fill this gap, but they are designed to support specific kinds of assertions and are difficult to adapt to support different assertion languages, e.g., to add support for quantification, or additional comparison operators, such as membership or containment.

Downloads

Downloads

Published

2022-12-15

Issue

Vol. 8 No. 3 (2022): ASSE 2022 - Simposio Argentino de Ingeniería de Software

Section

ASSE - Argentine Symposium on Software Engineering

License

Copyright (c) 2022 Facundo Molina, Marcelo d’Amorim, Nazareno Aguirre

Creative Commons License

This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.

Acorde a estos términos, el material se puede compartir (copiar y redistribuir en cualquier medio o formato) y adaptar (remezclar, transformar y crear a partir del material otra obra), siempre que a) se cite la autoría y la fuente original de su publicación (revista y URL de la obra), b) no se use para fines comerciales y c) se mantengan los mismos términos de la licencia.