ATGT: ASM Tests Generation Tool. Pagina 1 - Curriculum vitae di Rinzivillo Salvatore FORMATO EUROPEO PER IL CURRICULUM VITAE INFORMAZIONI PERSONALI Nome Rinzivillo Salvatore Indirizzo VIA GORGIA N. 9, 93012, Gela Telefono 0933/912667 Fax 0933/912667 E-mail ecoconsultsrl@tiscali.it Nazionalità Italiana Data di nascita 07/05/1957 ESPERIENZA LAVORATIVA • Date (da – a) Dal 1987 ad oggi • Nome e indirizzo del datore … Proceedings, LNCS 2589 (2003) Angelo Gargantini and Elvinia Riccobene ASM-based Testing: Coverage … It supports several coverage criteria (structural, fault based and combinatorial) and two model checkers …
We're upgrading the ACM DL, and would like your input. Gargantini, Angelo, Riccobene, Elvinia, and Rinzivillo, Salvatore Using Spin to Generate Tests from ASM Specifications in ASM 2003 - Taormina, Italy, March 2003. Angelo Gargantini and Elvinia Riccobene and Salvatore Rinzivillo Using Spin to Generate Tests from ASM Specifications in ASM 2003 - Taormina, Italy, March 2003. Please sign up to review new features, functionality and page designs. Education Ph.D. Computer Science, University of British Columbia, Vancouver, Canada, 2007 ATGT is a tool for automatically generating test sequences from ASM specifications. Versions### ATGT come in two flavours (follow the links for further information, download, documentation, examples and so on): atgt_gui: a tool with a graphical user interface.
Salvatore Rinzivillo, Roberto Trasarti Unveiling the complexity of human mobility by querying and mining massive trajectory data The VLDB Jour-nal, volume 20, number 5, 2011, pages 695-719 [17] Alisson Loy, Vania Bogorny, Chiara Renso, Luis Otavio Alvares An algo-rithm to identify avoidance behavior in moving object trajectories Journal
Curriculum Vita Name: Hui (Wendy) Wang Department: Computer Science Current Rank: Associate Professor Institution: Stevens Institute of Technology, Hoboken, NJ Research Interest Cloud data security, data privacy, data mining and machine learning.