Work

Property-based Testing of Attribute Grammars

Year: 2025

Type: conference-paper

Abstract: Software testing is an integral part of modern software development. Testing frameworks are part of the toolset of any software language allowing programmers to test their programs in order to detect bugs. Unfortunately, there is no work on testing in attribute grammars.

Source: ACM SIGPLAN International Conference on Software Language Engineering (SLE)

DOI: 10.1145/3732771.3742710

Authors: José Nuno Macedo, Marcos Viera, João Saraiva

Institutions: INESC TEC, University of Minho, Universidad de la República de Uruguay

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

Funders: Universitas Brawijaya, Fundação para a Ciência e a Tecnologia

Awards: G3461845521, INESC TEC - Instituto de Engenharia de Sistemas e Computadores, Tecnologia e Ciência (INESC TEC), G6560966372, G6997658380, G924228141