Andrea Calvagna

Gabriella Verga

Comput., November, 2023

Using Knowledge Awareness to Improve Safety of Autonomous Driving.

[BibT_eX]

[DOI]

Arabinda Ghosh

Sadegh Soudjani

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2023

Multi-thread Combinatorial Test Generation with SMT solvers.

[BibT_eX]

[DOI]

Andrea Bombarda

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

2021

A (Reverse) Mutation Testing Approach to Automatically generate parallel C/C++ Code.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2021

Automatic Generation of Parallel Java Programs and their Validation using Combinatorial Testing Suites.

[BibT_eX]

[DOI]

Proceedings of the 6th IEEE International Conference on Computer and Communication Systems, 2021

2019

Validation of Safety Critical Collaboration Systems (VSC) at WETICE 2019: Track Report.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2019

2017

VSC Track Report.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2017

2016

VSC Track at WETICE 2016: Summary Report and Preface.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2016

2015

VSC 2015 Track Report: Validating Software for Critical Systems.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2015

Random versus combinatorial effectiveness in software conformance testing: a case study.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

A Framework for Incremental Covering Arrays Construction.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering in Intelligent Systems, 2015

2014

Track Report of Validating Software for Critical Systems (VSC 2014).

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

Assessing the Correctness of JVM Implementations.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

Combinatorial Interaction Testing of a Java Card Static Verifier.

[BibT_eX]

[DOI]

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

2013

Combinatorial Validation Testing of Java Card Byte Code Verifiers.

[BibT_eX]

[DOI]

Proceedings of the 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2013

VSC Track Report.

[BibT_eX]

[DOI]

Proceedings of the 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2013

Combinatorial Testing for Feature Models Using CitLab.

[BibT_eX]

[DOI]

Paolo Vavassori

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Combinatorial Interaction Testing with CITLAB.

[BibT_eX]

[DOI]

Paolo Vavassori

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Delivering Dependable Reusable Components by Expressing and Enforcing Design Decisions.

[BibT_eX]

[DOI]

Proceedings of the IEEE 37th Annual Computer Software and Applications Conference, 2013

Incrementally Applicable t-Wise Combinatorial Test Suites for High-Strength Interaction Testing.

[BibT_eX]

[DOI]

Proceedings of the IEEE 37th Annual Computer Software and Applications Conference, 2013

Automated Conformance Testing of Java Virtual Machines.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Complex, 2013

2012

T-wise combinatorial interaction test suites construction based on coverage inheritance.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2012

A Novel Approach to Effective Parallel Computing of t-Wise Covering Arrays.

[BibT_eX]

[DOI]

Giuseppe Pappalardo

Proceedings of the 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2012

2010

A Formal Logic Approach to Constrained Combinatorial Testing.

[BibT_eX]

[DOI]

J. Autom. Reason., 2010

2009

Building T-wise Combinatorial Interaction Test Suites by Means of Grid Computing.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2009

Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 3rd International Conference, 2009

IPO-s: Incremental Generation of Combinatorial Interaction Test Data Based on Symmetries of Covering Arrays.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

2008

A Logic-Based Approach to Combinatorial Testing with Constraints.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 2nd International Conference, 2008

2007

Communication Networks Twofold control loop network-level congestion control.

[BibT_eX]

[DOI]

Giuseppe Tropea

Eur. Trans. Telecommun., 2007

2005

A cost-based approach to vertical handover policies between WiFi and GPRS.

[BibT_eX]

[DOI]

Wirel. Commun. Mob. Comput., 2005

Mobility and quality of service across heterogeneous wireless networks.

[BibT_eX]

[DOI]

Aurelio La Corte

Sabrina Sicari

Comput. Networks, 2005

2004

Design of a multimedia content-delivery service architecture for 3rd generation networks.

[BibT_eX]

[DOI]

Comput. Sci. Inf. Syst., 2004

A user-centric analysis of vertical handovers.

[BibT_eX]

[DOI]

Proceedings of the 2nd ACM International Workshop on Wireless Mobile Applications and Services on WLAN Hotspots, 2004

Design and development of a JXTA middleware for mobile ad-hoc networks.

[BibT_eX]

Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks, 2004

Effects of the Vertical Handover Policy on the Performance of Internet Applications.

[BibT_eX]

[DOI]

Proceedings of the Universal Multiservice Networks: Third European Conference, 2004

2003

WiFi Bridge: Wireless Mobility Framework Supporting Session Continuity.

[BibT_eX]

[DOI]

Giacomo Morabito

Aurelio La Corte

Proceedings of the First IEEE International Conference on Pervasive Computing and Communications (PerCom'03), 2003

Expeerience: A Jxta Middleware for Mobile Ad-Hoc Networks.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Peer-to-Peer Computing (P2P 2003), 2003

WiFi mobility framework supporting GPRS roaming: design and implementation.

[BibT_eX]

[DOI]

Giacomo Morabito

Giuseppe Pappalardo

Proceedings of IEEE International Conference on Communications, 2003

2002

Virtual Home Environment for Multimedia Services in 3rd Generation Networks.

[BibT_eX]

[DOI]

Orazio Tomarchio

Proceedings of the NETWORKING 2002, 2002

2000

Design and implementation of a low-cost/high-performance Video on Demand server.

[BibT_eX]

[DOI]

Antonio Puliafito

Lorenzo Vita

Microprocess. Microsystems, 2000

Design of a Media Service Provider Architecture for the Internet.

[BibT_eX]

[DOI]

Antonio Puliafito

Orazio Tomarchio

Proceedings of the Fifth IEEE Symposium on Computers and Communications (ISCC 2000), 2000

1999

A low-cost/high-performance server for video on demand.

[BibT_eX]

[DOI]