Guilherme Kisseloff Coracini

Publication Activity (10 Years)

Years Active: 2013-2019
Publications (10 Years): 1

Top Topics

Model Based Testing

Software Architecture

Computation Tree Logic

Top Venues

Adv. Eng. Softw.

Publications

Emília Villani, Rodrigo Pastl Pontes, Guilherme Kisseloff Coracini, Ana Maria Ambrosio
Integrating model checking and model based testing for industrial software development. Comput. Ind. 104 (2019)
José Marcos Silva Anjos, Guilherme Kisseloff Coracini, Emília Villani
A proposal and verification of a software architecture based on LabVIEW for a multifunctional robotic end-effector. Adv. Eng. Softw. 55 (2013)