A user-centric analysis of vertical handovers A Calvagna, G Di Modica Proceedings of the 2nd ACM international workshop on Wireless mobile …, 2004 | 98 | 2004 |
A logic-based approach to combinatorial testing with constraints A Calvagna, A Gargantini International conference on Tests and proofs, 66-83, 2008 | 80 | 2008 |
Expeerience: a JXTA middleware for mobile ad-hoc networks M Bisignano, A Calvagna, GD Modica, O Tomarchio Proceedings Third International Conference on Peer-to-Peer Computing …, 2003 | 74 | 2003 |
IPO-s: incremental generation of combinatorial interaction test data based on symmetries of covering arrays A Calvagna, A Gargantini 2009 International conference on software testing, verification, and …, 2009 | 69 | 2009 |
T‐wise combinatorial interaction test suites construction based on coverage inheritance A Calvagna, A Gargantini Software Testing, Verification and Reliability 22 (7), 507-526, 2012 | 61 | 2012 |
A formal logic approach to constrained combinatorial testing A Calvagna, A Gargantini Journal of Automated Reasoning 45, 331-358, 2010 | 49 | 2010 |
Combining satisfiability solving and heuristics to constrained combinatorial interaction testing A Calvagna, A Gargantini International conference on tests and proofs, 27-42, 2009 | 37 | 2009 |
Delivering dependable reusable components by expressing and enforcing design decisions A Calvagna, E Tramontana 2013 IEEE 37th Annual Computer Software and Applications Conference …, 2013 | 34 | 2013 |
Combinatorial interaction testing with CitLab A Calvagna, A Gargantini, P Vavassori 2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013 | 22 | 2013 |
Automated conformance testing of Java virtual machines A Calvagna, E Tramontana 2013 Seventh International Conference on Complex, Intelligent, and Software …, 2013 | 21 | 2013 |
Building T-wise combinatorial interaction test suites by means of grid computing A Calvagna, A Gargantini, E Tramontana 2009 18th IEEE International Workshops on Enabling Technologies …, 2009 | 15 | 2009 |
Combinatorial testing for feature models using citlab A Calvagna, A Gargantini, P Vavassori 2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013 | 14 | 2013 |
Mobility and quality of service across heterogeneous wireless networks A Calvagna, A La Corte, S Sicari Computer Networks 47 (2), 203-217, 2005 | 14 | 2005 |
Combinatorial interaction testing of a Java Card static verifier A Calvagna, A Fornaia, E Tramontana 2014 IEEE Seventh International Conference on Software Testing, Verification …, 2014 | 12 | 2014 |
Multi-thread combinatorial test generation with smt solvers A Bombarda, A Gargantini, A Calvagna Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 1698-1705, 2023 | 11 | 2023 |
Random versus combinatorial effectiveness in software conformance testing: A case study A Calvagna, A Fornaia, E Tramontana Proceedings of the 30th Annual ACM Symposium on Applied Computing, 1797-1802, 2015 | 11 | 2015 |
Combinatorial validation testing of Java Card byte code verifiers A Calvagna, E Tramontana 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative …, 2013 | 11 | 2013 |
A cost‐based approach to vertical handover policies between WiFi and GPRS A Calvagna, G Di Modica Wireless Communications and Mobile Computing 5 (6), 603-617, 2005 | 11 | 2005 |
WiFi mobility framework supporting GPRS roaming: design and implementation A Calvagna, G Morabito, A Pappalardo IEEE International Conference on Communications, 2003. ICC'03. 1, 116-120, 2003 | 11 | 2003 |
WiFi Bridge: wireless mobility framework supporting session continuity A Calvagna, G Morabito, A La Corte Proceedings of the First IEEE International Conference on Pervasive …, 2003 | 11 | 2003 |