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
932004
A logic-based approach to combinatorial testing with constraints
A Calvagna, A Gargantini
International Conference on Tests and Proofs, 66-83, 2008
722008
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
672003
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
462012
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
432009
A formal logic approach to constrained combinatorial testing
A Calvagna, A Gargantini
Journal of Automated Reasoning 45 (4), 331-358, 2010
382010
Combining satisfiability solving and heuristics to constrained combinatorial interaction testing
A Calvagna, A Gargantini
International conference on tests and proofs, 27-42, 2009
292009
Delivering dependable reusable components by expressing and enforcing design decisions
A Calvagna, E Tramontana
2013 IEEE 37th Annual Computer Software and Applications Conference …, 2013
272013
Combinatorial interaction testing with CitLab
A Calvagna, A Gargantini, P Vavassori
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
182013
Mobility and quality of service across heterogeneous wireless networks
A Calvagna, A La Corte, S Sicari
Computer Networks 47 (2), 203-217, 2005
142005
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
132003
Automated conformance testing of Java virtual machines
A Calvagna, E Tramontana
2013 Seventh International Conference on Complex, Intelligent, and Software …, 2013
122013
Combinatorial testing for feature models using citlab
A Calvagna, A Gargantini, P Vavassori
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
112013
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 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
112003
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
102009
Using SRI SAL model checker for combinatorial tests generation in the presence of temporal constraints
A Calvagna, A Gargantini
AFM’08: Third Workshop on Automated Formal Methods 14 July 2008 Princeton …, 2008
92008
Combinatorial validation testing of Java Card byte code verifiers
A Calvagna, E Tramontana
2013 Workshops on Enabling Technologies: Infrastructure for Collaborative …, 2013
82013
Design and development of a JXTA middleware for mobile ad-hoc networks.
M Bisignano, A Calvagna, G Di Modica, O Tomarchio
Parallel and Distributed Computing and Networks, 177-182, 2004
82004
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
72014
The system can't perform the operation now. Try again later.
Articles 1–20