Concepedia

Arianna Blasi

AB

Statistics

Publications

5

Citations

224

H-Index

5

Active since

2018

Affiliations

Università della Svizzera italiana(Current)

IMDEA Software Institute

University of Washington

University of Bern

Arianna Blasi is an author at Università della Svizzera italiana specializing in automated reasoning, engineering, and formal methods.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated ReasoningFormal VerificationSoftware Engineering

Publications per year

2018–2022

5

Publications

5

Translating code comments to procedure specifications

Arianna Blasi, Alberto Goffi, Konstantin Kuznetsov et al. · 2018 · 96 citations

Software Maintenance, Engineering, Procedure Specifications +22

A decade of code comment quality assessment: A systematic literature review

Pooja Rani, Arianna Blasi, Nataliia Stulova et al. · Journal of Systems and Software · 2022 · 42 citations · Full text

MeMo: Automatically identifying metamorphic relations in Javadoc comments for test automation

Arianna Blasi, Alessandra Gorla, Michael D. Ernst et al. · Journal of Systems and Software · 2021 · 41 citations · Full text

Engineering, Verification, Test Data Generation +17

Towards Detecting Inconsistent Comments in Java Source Code Automatically

Nataliia Stulova, Arianna Blasi, Alessandra Gorla et al. · 2020 · 24 citations

Software Maintenance, Engineering, Verification +20

Call Me Maybe: Using NLP to Automatically Generate Unit Test Cases Respecting Temporal Constraints

Arianna Blasi, Alessandra Gorla, Michael D. Ernst et al. · 2022 · 21 citations · Full text

Engineering, Correct Usage Protocol, Verification +23

1–5 of 5