| Application-level anomaly detection M Baluda, PC Castro, M Pistoia, JJ Ponzo US Patent 9,141,792, 2015 | 73 | 2015 |
| 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 | 41 | 2010 |
| Bidirectional symbolic analysis for effective branch testing M Baluda, G Denaro, M Pezzč IEEE Transactions on Software Engineering 42 (5), 403-426, 2015 | 37 | 2015 |
| Application-level anomaly detection M Baluda, PC Castro, M Pistoia, JJ Ponzo US Patent 8,931,101, 2015 | 30 | 2015 |
| Enhancing structural software coverage by incrementally computing branch executability M Baluda, P Braione, G Denaro, M Pezzč Software Quality Journal 19, 725-751, 2011 | 30 | 2011 |
| EvoSE: Evolutionary symbolic execution M Baluda Proceedings of the 6th International Workshop on Automating Test Case Design …, 2015 | 10 | 2015 |
| 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 | 7 | 2013 |
| 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 | 4 | 2015 |
| Automatic structural testing with abstraction refinement and coarsening M Baluda Proceedings of the 19th ACM SIGSOFT symposium and the 13th European …, 2011 | 4 | 2011 |
| 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 | 1 | 2016 |
| Security Analysis of TrueCrypt M Baluda, A Fuchs, P Holzinger, L Nguyen, L Othmane, A Poller, J Repp, ... BSI, 2015 | 1 | 2015 |
| Sicherheitsanalyse TrueCrypt M Baluda, A Fuchs, P Holzinger, L Nguyen, LB Othmane, A Poller, J Repp, ... BSI, 2015 | | 2015 |
| Test generation for high coverage with abstraction refinement and coarsening (ARC) M Baluda | | 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ć | | |
Giovanni DenaroUniversity of Milano-BicoccaVerified email at disco.unimib.it
