author-photo

Mauro Santoro

University of Milano-Bicocca

15

Papers

245

Citations

Citation Trend

Filter By

Papers (10) Sort By

Journal Conference Others

GK-Tail+ An Efficient Approach to Learn Software Models

2017 IEEE Transactions on Software Engineering
Show All
- Source
- Cite
- Save
Citations (19)
G-RankTest: Dynamic Analysis and Testing of Upgrades in LabVIEW Software

2015
Show All
- Source
- Cite
- Save
Citations (1)
Towards an engineering methodology for multi-model scientific simulations

2015 HiPC | IEEE International Conference on High Performance Computing, Data, and Analytics
Show All
- Source
- Cite
- Save
Citations (1)
Link: exploiting the web of data to generate test inputs

2014 ISSTA | International Symposium on Software Testing and Analysis
Show All
- Source
- Cite
- Save
Citations (17)
Automatic testing of GUI-based applications

2014 Software Testing, Verification & Reliability
Show All
- Source
- Cite
- Save
Citations (20)
Learning extended FSA from software: An empirical assessment

2012 Journal of Systems and Software
Show All
- Source
- Cite
- Save
Citations (53)
AutoBlackTest: a tool for automatic black-box testing

2011 ICSE | International Conference on Software Engineering
Show All
- Source
- Cite
- Save
Citations (30)
Mining Finite-State Automata with Annotations

2011
Show All
- Source
- Cite
- Save
Citations (4)
SEIM: static extraction of interaction models

2010 PESOS | Principles of Engineering Service-Oriented Systems
Show All
- Source
- Cite
- Save
Citations (9)
Detecting precise behavioral models

2009 Foundations of Software Engineering
- Mauro Santoro
Show All
- Source
- Cite
- Save
Citations (2)