IRIS

Property-Based Test Case Generators for Free

De Angelis, Emanuele;Fioravanti, Fabio;Pettorossi, Alberto;Proietti, Maurizio
2019-01-01
2019
International Conference on Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings
Dirk Beyer, Chantal Keller (Eds.)
Inglese
TESTS AND PROOFS
9-11 October, 2019,
Porto, Portugal
ELETTRONICO
Lecture Notes in Computer Science
11823
186
206
21
978-3-030-31156-8
978-3-030-31157-5
2-s2.0-85076121861
sì
none
De Angelis, Emanuele; Fioravanti, Fabio; Palacios, Adrián; Pettorossi, Alberto; Proietti, Maurizio
273
info:eu-repo/semantics/conferenceObject
5
4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno
4.1 Contributo in Atti di convegno
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11564/710263
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 7
  • ???jsp.display-item.citation.isi??? ND
social impact