Agustín Nolasco

Orcid: 0009-0007-2748-2467

Affiliations:

National University of Río Cuarto, Córdoba, Argentina

According to our database¹, Agustín Nolasco authored at least 4 papers between 2023 and 2026.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Bibliography

2026

Improving Dynamic Specification Inference with LLM-Generated Counterexamples.

[BibT_eX]

[DOI]

CoRR, April, 2026

2024

Abstraction-Aware Inference of Metamorphic Relations (Replication Package).

[BibT_eX]

[DOI]

Dataset, February, 2024

Abstraction-Aware Inference of Metamorphic Relations.

[BibT_eX]

[DOI]

Proc. ACM Softw. Eng., 2024

2023

Specification Inference for Evolving Systems.

[BibT_eX]

[DOI]

CoRR, 2023

Agustín Nolasco

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...