Bicocca Open Archive

Logo unimib boa

Babenko, A., Mariani, L., Pastore, F. (2013). AVA: Automata Violations Analyzer [Software].

AVA: Automata Violations Analyzer

MARIANI, LEONARDO;PASTORE, FABRIZIO
2013
Software
Dynamic analysis, mining, model generation, anomaly detection, failure interpretation, debugging
English
2013
http://www.lta.disco.unimib.it/tools/ava/
Babenko, A., Mariani, L., Pastore, F. (2013). AVA: Automata Violations Analyzer [Software].
none
99 - Altro
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/10281/57727
Citazioni
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
Social impact