Miguel Pinto

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 4

Top Topics

Range Sum Queries

Test Case Generation

Top Venues

Publications

Hugo López-Fernández, Miguel Pinto, Cristina P. Vieira, Pedro Duque, Miguel Reboiro-Jato, Jorge Vieira
Auto-phylo: A Pipeline Maker for Phylogenetic Studies. PACBB (2023)
Miguel Pinto, Marcelo Gonçalves, Paolo Masci, José Creissac Campos
TOM: A Model-Based GUI Testing Framework. FACS (2017)
José Creissac Campos, Camille Fayollas, Marcelo Gonçalves, Célia Martinie, David Navarre, Philippe A. Palanque, Miguel Pinto
A More Intelligent Test Case Generation Approach through Task Models Manipulation. Proc. ACM Hum. Comput. Interact. 1 (EICS) (2017)
José Creissac Campos, Camille Fayollas, Célia Martinie, David Navarre, Philippe A. Palanque, Miguel Pinto
Systematic automation of scenario-based testing of user interfaces. EICS (2016)
Mara Dionisio, Aditya Gujaran, Miguel Pinto, Augusto Esteves
Fall of Humans: Interactive Tabletop Games and Transmedia Storytelling. ITS (2015)
Miguel Pinto, Orlando Belo
Allocating Data Cubes on a Grid Environment Endorsing an Alternative Approach. SMC (2013)
Miguel Pinto, António Paulo Moreira, Aníbal Matos
Localization of Mobile Robots Using an Extended Kalman Filter in a LEGO NXT. IEEE Trans. Educ. 55 (1) (2012)