Fuzzing Class Specifications

Autores/as

  • 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

Resumen

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.

Descargas

Descargas

Publicado

2022-12-15

Número

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

Sección

ASSE - Argentine Symposium on Software Engineering

Licencia

Derechos de autor 2022 Facundo Molina, Marcelo d’Amorim, Nazareno Aguirre

Creative Commons License

Esta obra está bajo una licencia internacional Creative Commons Atribución-NoComercial-CompartirIgual 4.0.

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.