Concepedia

Mariano M. Moscato

MM

3

Publications

62

Citations

3

H-Index

2013

Active since

Affiliations

Buenos Aires Institute of Technology(Current)

Universidad de Buenos Aires

Mariano M. Moscato is an author at Buenos Aires Institute of Technology specializing in test generation, formal methods, and verification.

Top concepts

EngineeringVerificationFormal MethodsSatisfiabilityTest AutomationTest GenerationComputer ScienceProgram AnalysisSoftware TestingSoftware Analysis

Publications per year

2013–2020

3

Publications

3

Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving

Pablo Garrido Abad, Nazareno Aguirre, Valeria Bengolea et al. · 2013 · 40 citations

Engineering, Verification, Test Data Generation +21

Mariano M. Moscato, Carlos G. López Pombo, Marcelo F. Frias · ACM Transactions on Software Engineering and Methodology · 2014 · 11 citations · Full text

Formal analysis of the compact positionreporting algorithm

Aaron Dutle, Mariano M. Moscato, Laura Titolo et al. · Formal Aspects of Computing · 2020 · 11 citations · Full text

Rows per page

1–3 of 3