0 | -- | 0 | Lucas Cabral, Breno Miranda, Igor Lima, Marcelo d'Amorim. RVprio: A tool for prioritizing runtime verification violations |
0 | -- | 0 | Julien Leveau, Xavier Blanc 0001, Laurent Réveillère, Jean-Rémy Falleri, Romain Rouvoy. Fostering the diversity of exploratory testing in web applications |
0 | -- | 0 | Davide Corradini, Amedeo Zampieri, Michele Pasqua, Emanuele Viglianisi, Michael Dallago, Mariano Ceccato. Automated black-box testing of nominal and error scenarios in RESTful APIs |
0 | -- | 0 | Corina S. Pasareanu, Andreas Zeller. IEEE International Conference on Software Testing, Verification and Validation (ICST 2020) |