Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Viviana Mascardi
conf.researchr.org general profile
ECOOP and ISSTA 2021 profile
ECOOP and ISSTA 2023 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
‹Programming› 2019 profile
Registered user since Mon 5 Jul 2021
Name:
Viviana Mascardi
Affiliation:
DIBRIS, University of Genova, Italy
Contributions
2023
VORTEX
Author of RV4Rasa: a formalism-agnostic Runtime Verification framework for verifying ChatBots in Rasa within the VORTEX 2023-track
FTfJP
Author of Runtime verification of hash code in mutable classes within the FTfJP 2023-track
2021
VORTEX
Author of Test’n’Mo: A Collaborative Platform for Human Testers and Intelligent Monitoring Agents within the VORTEX-track
2019
ProWeb
Author of Orchestrated Crowdsourced Testing of a Mobile Web Application: A Case Study within the ProWeb'19-track
2017
FTfJP
Author of Parametric trace expressions for runtime verification of Java-like programs within the FTfJP 2017-track
Share
x
Sat 7 Dec 19:37