Segui
Andrea Calvagna
Andrea Calvagna
Email verificata su cs.unict.it
Titolo
Citata da
Citata da
Anno
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
802008
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
742003
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
692009
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
612012
A formal logic approach to constrained combinatorial testing
A Calvagna, A Gargantini
Journal of Automated Reasoning 45, 331-358, 2010
492010
Combining satisfiability solving and heuristics to constrained combinatorial interaction testing
A Calvagna, A Gargantini
International conference on tests and proofs, 27-42, 2009
372009
Delivering dependable reusable components by expressing and enforcing design decisions
A Calvagna, E Tramontana
2013 IEEE 37th Annual Computer Software and Applications Conference …, 2013
342013
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
Combinatorial testing for feature models using citlab
A Calvagna, A Gargantini, P Vavassori
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
142013
Mobility and quality of service across heterogeneous wireless networks
A Calvagna, A La Corte, S Sicari
Computer Networks 47 (2), 203-217, 2005
142005
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
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
112023
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
Combinatorial validation testing of Java Card byte code verifiers
A Calvagna, E Tramontana
2013 Workshops on Enabling Technologies: Infrastructure for Collaborative …, 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
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20