Mauro Baluda
Mauro Baluda
Software Engineer at Avaloq Evolution
Verified email at avaloq.com
Title
Cited by
Cited by
Year
Structural coverage of feasible code
M Baluda, P Braione, G Denaro, M Pezzč
Proceedings of the 5th Workshop on Automation of Software Test, 59-66, 2010
362010
Enhancing structural software coverage by incrementally computing branch executability
M Baluda, P Braione, G Denaro, M Pezzč
Software Quality Journal 19 (4), 725-751, 2011
242011
Application-level anomaly detection
M Baluda, PC Castro, M Pistoia, JJ Ponzo
US Patent 9,141,792, 2015
172015
Bidirectional symbolic analysis for effective branch testing
M Baluda, G Denaro, M Pezzč
IEEE Transactions on Software Engineering 42 (5), 403-426, 2015
162015
Application-level anomaly detection
M Baluda, PC Castro, M Pistoia, JJ Ponzo
US Patent 8,931,101, 2015
112015
Enabling bring-your-own-device using mobile application instrumentation
PC Castro, JW Ligman, M Pistoia, J Ponzo, GS Thomas, SP Wood, ...
IBM Journal of Research and Development 57 (6), 7: 1-7: 11, 2013
72013
EvoSE: evolutionary symbolic execution
M Baluda
Proceedings of the 6th International Workshop on Automating Test Case Design …, 2015
42015
Automatic structural testing with abstraction refinement and coarsening
M Baluda
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European …, 2011
32011
Static/dynamic test case generation for software upgrades via ARC-B and Deltatest
P Braione, G Denaro, O Riganelli, M Baluda, A Muhammad
Validation of Evolving Software, 147-184, 2015
22015
A framework for automatic anomaly detection in mobile applications
M Baluda, M Pistoia, P Castro, O Tripp
Proceedings of the International Conference on Mobile Software Engineering …, 2016
12016
Test generation for high coverage with abstraction refinement and coarsening (ARC)
M Baluda
Universitŕ della Svizzera italiana, 2014
2014
Automatic assertion generation from model-based specifications.
M Baluda
University of Milano Bicocca, 2009
2009
Sequence Alignment Algorithms
M Baluda
University of Milano Bicocca, 2006
2006
Group 2-Test data generation
P McMinn, G Fraser, M Baluda, LJ Fülöp, V Jagannath, G Rakić
The system can't perform the operation now. Try again later.
Articles 1–14