Structural coverage of feasible code. - Mauro Baluda; Pietro Braione; Giovanni Denaro; Mauro Pezzè (AST, 2010)

Automatic structural testing with abstraction refinement and coarsening. - Mauro Baluda (SIGSOFT FSE, 2011)

Enhancing structural software coverage by incrementally computing branch executability. - Mauro Baluda; Pietro Braione; Giovanni Denaro; Mauro Pezzè (Softw. Qual. J., 2011)

Enabling Bring-Your-Own-Device using mobile application instrumentation. - Paul C. Castro; Joe W. Ligman; Marco Pistoia; John Ponzo; Gegi Thomas; Stephen P. Wood; Mauro Baluda (IBM J. Res. Dev., 2013)

Static/Dynamic Test Case Generation For Software Upgrades via ARC-B and Deltatest. - Pietro Braione; Giovanni Denaro; Oliviero Riganelli; Mauro Baluda; Ali Muhammad (Validation of Evolving Software, 2015)

EvoSE: evolutionary symbolic execution. - Mauro Baluda (A-TEST@SIGSOFT FSE, 2015)

A framework for automatic anomaly detection in mobile applications. - Mauro Baluda; Marco Pistoia; Paul C. Castro; Omer Tripp (MOBILESoft, 2016)

Bidirectional Symbolic Analysis for Effective Branch Testing. - Mauro Baluda; Giovanni Denaro; Mauro Pezzè (IEEE Trans. Software Eng., 2016)