Mauro Baluda

According to our database, Mauro Baluda authored at least 8 papers between 2010 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Bidirectional Symbolic Analysis for Effective Branch Testing.

Mauro Baluda, Giovanni Denaro, Mauro Pezzè

IEEE Trans. Software Eng., 2016

A framework for automatic anomaly detection in mobile applications.

Mauro Baluda, Marco Pistoia, Paul C. Castro, Omer Tripp

Proceedings of the International Conference on Mobile Software Engineering and Systems, 2016

2015

EvoSE: evolutionary symbolic execution.

Mauro Baluda

Proceedings of the 6th International Workshop on Automating Test Case Design, 2015

Static/Dynamic Test Case Generation For Software Upgrades via ARC-B and Deltatest.

Pietro Braione, Giovanni Denaro, Oliviero Riganelli, Mauro Baluda, Ali Muhammad

Proceedings of the Validation of Evolving Software, 2015

2013

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

2011

Enhancing structural software coverage by incrementally computing branch executability.

Mauro Baluda, Pietro Braione, Giovanni Denaro, Mauro Pezzè

Softw. Qual. J., 2011

Automatic structural testing with abstraction refinement and coarsening.

Mauro Baluda

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

2010

Structural coverage of feasible code.

Mauro Baluda, Pietro Braione, Giovanni Denaro, Mauro Pezzè

Proceedings of the 5th Workshop on Automation of Software Test, 2010