Trusted Autonomous Vehicles: an Interactive Exhibit

Authors: Araujo, Hugo L. S., Damasceno, Carlos Diego N., Dimitrova, Rayna, Kefalidou, Genovefa, Mehtarizadeh, Mehdi, Mousavi, Mohammad Reza, Onime, Jemima, Ringert, Jan Oliver, Rojas, Jose Miguel, Verdezoto, Nervo Xavier, Wali, Syed

Source: 2019 IEEE International Conferences on Ubiquitous Computing & Communications (IUCC) and Data Science and Computational Intelligence (DSCI) and Smart Computing, Networking and Services (SmartCNS) Ubiquitous Computing & Communications (IUCC) and Data Science and Computational Intelligence (DSCI) and Smart Computing, Networking and Services (SmartCNS), 2019 IEEE International Conferences on. :386-393 Oct, 2019

Relation: 2019 IEEE International Conferences on Ubiquitous Computing & Communications (IUCC) and Data Science and Computational Intelligence (DSCI) and Smart Computing, Networking and Services (SmartCNS)

Automatic Generation of Test Cases and Test Purposes from Natural Language
Brazilian Symposium on Formal Methods

Authors: Nogueira, Sidney, Araujo, Hugo L. S., Araujo, Renata B. S., Iyoda, Juliano, Sampaio, Augusto

Source: Lecture notes in computer science. 9526:145-161

Availability: http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN601139945&indx=1&recIds=ETOCCN601139945