Mauro Santoro's publications


Sort by: [Research category] [year]

Years: [2014] [2012] [2011] [2010] [2009]

2014

Leonardo Mariani and Mauro Pezze and Oliviero Riganelli and Mauro Santoro. Link: Exploiting the Web of Data to Generate Test Inputs. Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), 2014

[ PDF ] [ BIBTEX ]

L. Mariani and Mauro Pezze and Oliviero Riganelli and Mauro Santoro. Automatic testing of GUI-based applications. Wiley, Software Testing Verification and Reliability (STVR), 2014 (to appear),

[ BIBTEX ]

2012

G. Becce and L. Mariani and O. Riganelli and M. Santoro. Extracting Widget Descriptions from GUIs. Springer, proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering (FASE), 2012

[ PDF ] [ BIBTEX ]

L. Mariani and M. Pezze and O. Riganelli and M. Santoro. AutoBlackTest: Automatic Black-Box Testing of Interactive Applications. proceedings of the Fifth International Conference on Software Testing Verification and Validation (ICST), 2012

[ PDF ] [ BIBTEX ]

L. Mariani and O. Riganelli and M. Santoro and M. Ali. G-RankTest: Regression Testing of Controller Applications. proceedings of the 7th International Workshop on Automation of Software Test (AST) co-located with the ACM/IEEE 34nd International Conference on Software Engineering (ICSE), 2012

[ PDF ] [ BIBTEX ]

D. Lo and L. Mariani and M. Santoro. Learning extended FSA from software: An empirical assessment. Journal of Systems and Software, 2012, pp. 2063 - 2076,

[ PDF ] [ BIBTEX ]

2011

L. Mariani and F. Pastore and M. Pezzè and M. Santoro. Mining Finite-State Automata with Annotations. CRC Press, Mining Software Specifications: Methodologies and Applications, 2011

[ BIBTEX ]

L. Mariani and M. Pezzè and O. Riganelli and M. Santoro. AutoBlackTest: A Tool for Automatic Black-Box Testing. proceedings of the International Conference on Software Engineering (ICSE) - Tool Demo, 2011

[ PDF ] [ BIBTEX ]

Mauro Santoro. Inference of Behavioral Models that Support Program Analysis. 2011

[ BIBTEX ]

2010

Leonardo Mariani and Mauro Pezze and Oliviero Riganelli and Mauro Santoro. SEIM: Static Inference of Interaction Models. ACM/IEEE, proceedings of the 2nd International Workshop on Principles of Engineering Service Oriented Systems (PESOS) workshop colocated with the 32nd International Conference of Software Engineerng (ICSE), 2010

[ PDF ] [ BIBTEX ]

2009

M. Santoro. Detecting precise behavioral models. ACM, proceedings of the 7th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE) - Doctoral Symposium, 2009

[ BIBTEX ]