Concepedia

Author

Mariano M. Moscato

Buenos Aires Institute of TechnologyORCID

Also Known As

Dutle, Aaron, Mariano M. Moscato, Mariano Miguel Moscato, Mariano Moscato, Moscato, Mariano, Moscato, Mariano M.

32

Publications

272

Citations

10

H-Index

16

Concepts

All Affiliations

Buenos Aires Institute of TechnologyUniversidad de Buenos Aires
MM

About

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

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

40

2

Computer Engineering

1

1

40

3

Computer Science

1

1

40

4

Systems Engineering

1

1

40

5

Combinatorial Optimization

1

1

40

Mariano M. Moscato

×

3

Publications

62

Citations

3

H-Index

YearCitations

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

Pablo Garrido Abad, Nazareno Aguirre, Valeria Bengolea,

2013

40

Dynamite

Mariano M. Moscato, Carlos G. López Pombo, Marcelo F. Frias

ACM Transactions on Software Engineering and Methodology

2014

11

Formal analysis of the compact positionreporting algorithm

Aaron Dutle, Mariano M. Moscato, Laura Titolo,

Formal Aspects of Computing

2020

11

Page 1