The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results

Andrea Ceccarelli, Davide Basile, Andrea Bondavalli, Lorenzo Falai, Alessandro Fantechi, Sandro Ferrari, Gianluca Mandò, Nicola Nostro, Luigi Rucher. The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results. In Alexander B. Romanovsky, Elena Troubitsyna, Ilir Gashi, Erwin Schoitsch, Friedemann Bitsch, editors, Computer Safety, Reliability, and Security - SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings. Volume 11699 of Lecture Notes in Computer Science, pages 185-197, Springer, 2019. [doi]

@inproceedings{CeccarelliBBFFF19,
  title = {The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results},
  author = {Andrea Ceccarelli and Davide Basile and Andrea Bondavalli and Lorenzo Falai and Alessandro Fantechi and Sandro Ferrari and Gianluca Mandò and Nicola Nostro and Luigi Rucher},
  year = {2019},
  doi = {10.1007/978-3-030-26250-1_15},
  url = {https://doi.org/10.1007/978-3-030-26250-1_15},
  researchr = {https://researchr.org/publication/CeccarelliBBFFF19},
  cites = {0},
  citedby = {0},
  pages = {185-197},
  booktitle = {Computer Safety, Reliability, and Security - SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings},
  editor = {Alexander B. Romanovsky and Elena Troubitsyna and Ilir Gashi and Erwin Schoitsch and Friedemann Bitsch},
  volume = {11699},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-030-26250-1},
}