Objective: Develop tools and techniques for testing the exchange protocols developed for software interoperability and for ensuring that software implementation conforms to intended specifications.
IT Areas: Formalization of specifications, test suites
Domains of Interest: healthcare, voting, biomedical, cyber physical systems (CPS)/ Internet of Things (IoT), social networks, materials