FitSpec: refining property sets for functional testing R Braquehais, C Runciman Proceedings of the 9th International Symposium on Haskell, 1-12, 2016 | 18 | 2016 |
Speculate: discovering conditional equations and inequalities about black-box functions by reasoning from test results R Braquehais, C Runciman Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 40-51, 2017 | 15 | 2017 |
NAES: Natural adaptive exponential smoothing algorithm for WLAN channel prediction in mobile environment J Bezerra, R Braquehais, F Roberto, J Silva, M Fernandez, T de Araújo, ... 2008 The Fourth International Conference on Wireless and Mobile …, 2008 | 6 | 2008 |
Extrapolate: generalizing counterexamples of functional test properties R Braquehais, C Runciman Proceedings of the 29th Symposium on the Implementation and Application of …, 2017 | 5 | 2017 |
Tools for Discovery, Refinement and Generalization of Functional Properties by Enumerative Testing R Matela Braquehais University of York, 2017 | 3* | 2017 |
A method using time series analysis for IEEE 802.11 WLANs channel forecasting J Bezerra, R Braquehais, F Roberto, J Silva, M Fernandez, T de Araújo, ... Proceedings of the 2007 Euro American conference on Telematics and …, 2007 | 1 | 2007 |
Express: applications of dynamically typed Haskell expressions R Matela Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, 98-109, 2021 | | 2021 |
IP-checksum incremental update method proposal for efficient use of energy in wireless environments DSS Carneiro, PVA Pinheiro, PH Prudêncio, DNS Cavalcante, ... Proceedings of the 2007 Euro American conference on Telematics and …, 2007 | | 2007 |
Técnicas para Comutação Gigabit VM Romão, PH Prudêncio, RM Braquehais, J Celestino Jr, JLC Silva, ... Minicursos da SBRC 2006, 2006 | | 2006 |
Previsibilidade do Comportamento do Canal em Redes IEEE 802.11 JM Bezerra, F Maciel, RM Braquehais | | |