Property-based Testing of Attribute Grammars

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.

Authors

Institutions

Publication Details

Published
2025-06-12
DOI
https://doi.org/10.1145/3732771.3742710
Primary Topic
Software Testing and Debugging Techniques
Type
article
Field-Weighted Citation Impact
0.00

Funders

Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Property-based Testing of Attribute Grammars

José Nuno Macedo, Marcos Viera, João Saraiva
Software Testing and Debugging Techniques
article

Property-based Testing of Attribute Grammars

José Nuno Macedo, Marcos Viera, João Saraiva
article en

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.

Universidad de la República de Uruguay (UY), INESC TEC (PT), University of Minho (PT)
Fundação para a Ciência e a Tecnologia
Openalex Percentile: Top 85%
Software Testing and Debugging Techniques
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.