Follow
Andrea Calvagna
Andrea Calvagna
Verified email at cs.unict.it
Title
Cited by
Cited by
Year
A user-centric analysis of vertical handovers
A Calvagna, G Di Modica
Proceedings of the 2nd ACM international workshop on Wireless mobile …, 2004
982004
A logic-based approach to combinatorial testing with constraints
A Calvagna, A Gargantini
International conference on Tests and proofs, 66-83, 2008
782008
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
752003
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
652009
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
582012
A formal logic approach to constrained combinatorial testing
A Calvagna, A Gargantini
Journal of Automated Reasoning 45, 331-358, 2010
462010
Combining satisfiability solving and heuristics to constrained combinatorial interaction testing
A Calvagna, A Gargantini
International conference on tests and proofs, 27-42, 2009
352009
Delivering dependable reusable components by expressing and enforcing design decisions
A Calvagna, E Tramontana
2013 IEEE 37th Annual Computer Software and Applications Conference …, 2013
322013
Combinatorial interaction testing with CitLab
A Calvagna, A Gargantini, P Vavassori
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
222013
Automated conformance testing of Java virtual machines
A Calvagna, E Tramontana
2013 Seventh International Conference on Complex, Intelligent, and Software …, 2013
212013
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
152009
Mobility and quality of service across heterogeneous wireless networks
A Calvagna, A La Corte, S Sicari
Computer Networks 47 (2), 203-217, 2005
152005
Combinatorial testing for feature models using citlab
A Calvagna, A Gargantini, P Vavassori
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
132013
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
122014
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
122003
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
112015
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
112005
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
112003
Combinatorial validation testing of Java Card byte code verifiers
A Calvagna, E Tramontana
2013 Workshops on Enabling Technologies: Infrastructure for Collaborative …, 2013
102013
Incrementally applicable t-wise combinatorial test suites for high-strength interaction testing
A Calvagna, E Tramontana
2013 IEEE 37th Annual Computer Software and Applications Conference …, 2013
92013
The system can't perform the operation now. Try again later.
Articles 1–20