1. What are Software Engineers asking about Android Testing on Stack Overflow?. Villanes, Isabel K.; Ascate, Silvia M.; Gomes, Josias; Arilo Claudio Dias Neto; the 31st Brazilian Symposium, 2017. Completo.

  2. Hearing the Voice of Developers in Mobile Software Ecosystems. FontÃo, Awdren; Lima, Fabricio; Ábia, Bruno; Dos Santos, Rodrigo Pereira; Arilo Claudio Dias Neto; the 31st Brazilian Symposium, 2017. Completo.

  3. Tester Experience: Concept, Issues and Definition. Ekwoge, Oswald Mesumbe; Fontao, Awdren; Arilo Claudio Dias Neto; 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC), 2017. Completo.

  4. Business-IT Alignment Research Field - A Systematic Literature Review. SpÓsito, Marcos AndrÉ Fernandes; Arilo Claudio Dias Neto; Barreto, Raimundo Da Silva; 18th International Conference on Enterprise Information Systems, 2016. Completo.

  5. Simulação de Ecossistemas de Software Móvel: Estado da Arte, Desafios e Oportunidades. Allan Bezerra; Awdren De Lima Fontão; Arilo Claudio Dias Neto; Experimental Software Engineering Latin American Workshop, 2016. Completo.

  6. Um Estudo de Caso para Avaliação de um Modelo para Teste de Usabilidade em Aplicação Móvel. Ingrid Do Nascimento Mendes; Arilo Claudio Dias Neto; Rodrigo Dos Anjos Cruz Reis; Iberoamerican Congress of Software Engineering, 2016. Completo.

  7. MSECO-DEV: Application Development Process in Mobile Software Ecosystems. FontÃo, Awdren; Santos, Rodrigo; Filho, Jackson FeijÓ; Arilo Claudio Dias Neto; The 28th International Conference on Software Engineering and Knowledge Engineering, 2016. Completo.

  8. JoVeTest - Jogo da Velha para Auxiliar no Ensino e Estudo de Teste de Software. Ana Karoline Barbosa; Larissa L. E. Neves; Arilo Claudio Dias Neto; IX Fórum de Educação em Engenharia de Software, 2016. Completo.

  9. Cloud-Based Mobile App Testing Framework. Rojas, Isabel K. Villanes; Meireles, Silvia; Arilo Claudio Dias Neto; the 1st Brazilian Symposium, 2016. Completo.

  10. Relevance and Impact of Critical Factors of Success in Software Test Automation lifecycle. Rodrigues, Anderson; Arilo Claudio Dias Neto; the 1st Brazilian Symposium, 2016. Completo.

  11. An Empirical Analysis of Mobile Apps? Popularity Metrics in Mobile Software Ecosystems. Ludymila Lobo Aguiar Gomes; Awdren De Lima Fontão; Allan Bezerra; Arilo Claudio Dias Neto; Simpósio Brasileiro de Qualidade de Software, 2016. Completo.

  12. Explorando a Personalidade do Desenvolvedor em Ecossistemas de Software Móvel. Bruno Pedraça; Bruno Bonifácio; Priscila Fernandes; Awdren De Lima Fontão; Arilo Claudio Dias Neto; I Workshop sobre Aspectos Sociais, Humanos e Econômicos de Software, 2016. Completo.

  13. Automated Mobile Testing as a Service (AM-TaaS). Villanes, Isabel Karina; Costa, Erick Alexandre Bezerra; Arilo Claudio Dias Neto; 2015 IEEE World Congress on Services (SERVICES), 2015. Completo.

  14. TAPN: Test Automations Pyramid of Needs. Anderson Rodrigues; Allan Bezerra; Arilo Claudio Dias Neto; Simpósio Brasileiro de Qualidade de Software, 2015. Completo.

  15. Usability Evaluation Approaches for (Ubiquitous) Mobile Applications: A Systematic Mapping Study. Rodrigo Dos Anjos Cruz Reis; Awdren De Lima Fontão; Ludymila Lobo Aguiar Gomes; Arilo Claudio Dias Neto; International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, 2015. Completo.

  16. Mobile Software Ecosystem (MSECO): A Systematic Mapping Study. Awdren De Lima Fontão; Rodrigo Santos; Arilo Claudio Dias Neto; Annual International Computers, Software & Applications Conference, 2015. Completo.

  17. MSECO-SUP: Support Process in Mobile Software Ecosystems. Awdren De Lima Fontão; Rodrigo Santos; Arilo Claudio Dias Neto; Simpósio Brasileiro de Engenharia de Software, 2015. Completo.

  18. Lições Aprendidas na Aplicação de Critérios de Testes Funcionais Tradicionais e Adaptados em um Jogo Comercial Desenvolvido para a Plataforma Móvel. Luana Lobão; Marcos G. A. Da Costa; Andreza M. F. V. De Castro; Arilo Claudio Dias Neto; Congresso Brasileiro de Software: Trilha da Indústria, 2015. Resumo.

  19. MTControol: Ferramenta de Apoio à Recomendação e Controle de Critérios de Teste em Aplicações Móveis. Juliana Pereira Do Nascimento; Jonathas Silva Dos Santos; Arilo Claudio Dias Neto; Congresso Brasileiro de Software: Sessão de Ferramentas, 2015. Completo.

  20. (Re)Evaluating the Influence of Contextualized Examples in Teaching an Introductory Software Engineering Course in Brazil. Arilo Claudio Dias Neto; Rasha Osman; Fórum de Educação em Engenharia de Software, 2015. Resumo.

  21. Seleção de Elementos de Elicitação de Requisitos utilizando Algoritmos Evolutivos Multiobjetivo. Renata Magalhães Rêgo; Rosiane De Freitas Rodrigues; Arilo Claudio Dias Neto; Workshop de Engenharia de Software Baseada em Busca, 2015. Completo.

  22. Um Estudo Exploratório sobre a Aplicação de Operadores de Mutação Java em Aplicações Android. Jonathas Silva Dos Santos; Auri Marcelo Rizzo Vincenzi; Arilo Claudio Dias Neto; Brazilian Workshop on Systematic and Automated Software Testing, 2015. Completo.

  23. Um Relato de Experiência do Uso de Programação de Jogos para a Melhoria do Raciocínio Lógico em Crianças. Larissa L. E. Neves; Guibson Souza; Allan Bezerra; Raimundo Da Silva Barreto; Arilo Claudio Dias Neto; XX Conferência Internacional sobre Informática na Educação, 2015. Completo.

  24. MSECO Skill: Construção de Competências de Desenvolvedores em Ecossistemas de Software Móvel. Awdren De Lima Fontão; Bruno Bonifácio; Arilo Claudio Dias Neto; Allan Bezerra; Rodrigo Santos; Ibero-American Conference on Software Engineering, 2014. Completo.

  25. An Approach to Perform Automated Functional Testing in Database-Driven Applications. Andreza M. F. V. De Castro; Awdren De Lima Fontão; Arilo Claudio Dias Neto; Ibero-American Conference on Software Engineering, 2014. Completo.

  26. Motivating by examples: An empirical study of teaching an introductory software engineering course in Brazil. Rasha Osman; Arilo Claudio Dias Neto; IEEE Annual International Computer Software and Applications Conference, 2014. Completo.

  27. Contribuições à Qualidade de um Produto com Testadores de Diferentes Perfis: Um Relato de Experiência. Mirian Souza; Ellen Barroso; Andréia Vieira; Adriane Almeida; Lucas Gomes; Arilo Claudio Dias Neto; Simpósio Brasileiro de Qualidade de Software, 2014. Completo.

  28. A Systematic Mapping on Model Based Testing applied to Web Systems. Silvia Regina Assis Meireles; Arilo Claudio Dias Neto; Brazilian Workshop on Systematic and Automated Software Testing, 2014. Completo.

  29. A Framework to Support the Selection of Software Technologies by Search-Based Strategy. Aurélio Da Silva Grande; Rosiane De Freitas Rodrigues; Arilo Claudio Dias Neto; IEEE 26th International Conference on Tools with Artificial Intelligence (ICTAI 2014), 2014. Completo.

  30. Processos de Apoio Gerencial Integrados ao Processo de Teste de Software. Jeanne De Castro Trovão; Arilo Claudio Dias Neto; X Workshop Anual do MPS, 2014. Completo.

  31. Mapeamento Sistemático sobre Métricas no Contexto de Métodos Ágeis aplicadas a Teste de Software. Thaynã Gonçalves Mota; Arilo Claudio Dias Neto; X Workshop Anual do MPS, 2014. Completo.

  32. MTControol: Ferramenta de Apoio à Gestão de Testes de Aplicativos Móveis Baseada nas Diretrizes do AQuA. Juliana Pereira Do Nascimento; Jonathas Silva Dos Santos; Arilo Claudio Dias Neto; X Workshop Anual do MPS, 2014. Completo.

  33. ARDev: A Methodology Based on Scrum Principles to Support Research Management on Software Technologies. Daniella Bezerra; Arilo Claudio Dias Neto; Raimundo Da Silva Barreto; Annual International Conference on Computer Science and Software Engineering, 2014. Completo.

  34. Extension of Selenium RC Tool to Perform Automated Testing with Databases in Web Applications. Andreza M. F. V. De Castro; Gisele Aguiar Macedo; Eliane Collins; Arilo Claudio Dias Neto; Workshop on Automation of Software Test, 2013. Completo.

  35. Uma Investigação sobre Recomendações de Melhoria Baseadas em Aspectos Culturais para Apoiar Iniciativas de Melhoria de Processo de Software. Odette Mestrinho Passos; Arilo Claudio Dias Neto; Raimundo Da Silva Barreto; Simpósio Brasileiro de Qualidade de Software, 2013. Completo.

  36. TestCheck ? Uma Abordagem Baseada em Checklist para Inspecionar Artefatos de Teste de Software. Jardelane Brito; Arilo Claudio Dias Neto; Concurso de Teses e Dissertações em Qualidade de Software, 2013. Completo.

  37. Gerenciamento de Testes em Projetos Distribuídos de Software. Maia, Nayane; Arilo Claudio Dias Neto; Workshop de Teses e Dissertações em Qualidade de Software, 2013. Resumo.

  38. Proposta para Especificação de Atividades Gerenciais de Apoio ao Processo de Teste de Software. Jeanne De Castro Trovão; Arilo Claudio Dias Neto; Workshop de Teses e Dissertações em Qualidade de Software, 2013. Resumo.

  39. Medição e Análise Aplicada a Processos de Testes Ágeis. Thaynã Gonçalves Mota; Arilo Claudio Dias Neto; Workshop de Teses e Dissertações em Qualidade de Software, 2013. Resumo.

  40. Mapeamento da Comunidade Brasileira de SBSE. Wesley Assunção; Márcio De Oliveira Barros; Thelma Colanzi; Arilo Claudio Dias Neto; Matheus Paixão; Jerffeson Souza; Silvia Vergilio; Workshop de Engenharia de Software Baseada em Busca, 2013. Completo.

  41. A Framework for Selection of Software Technologies using Search-based Strategies. Aurélio Da Silva Grande; Rosiane De Freitas Rodrigues; Arilo Claudio Dias Neto; Workshop de Engenharia de Software Baseada em Busca, 2013. Resumo.

  42. Elementos que Impactam o Planejamento de Testes em Ambientes de Desenvolvimento Distribuído no Contexto de Ecossistemas de Software. Nayane Maia; Rodrigo Santos; Elisa Huzita; Arilo Claudio Dias Neto; Claudia Werner; Workshop de Desenvolvimento Distribuído de Software, 2013. Completo.

  43. Uma Investigação sobre a Relevância de Valores Organizacionais em Iniciativas de Melhoria de Processo de Software. Odette Mestrinho Passos; Arilo Claudio Dias Neto; Raimundo Da Silva Barreto; IX Workshop Anual do MPS, 2013. Completo.

  44. Conduzindo Estudos Experimentais para Avaliação de uma Técnica de Inspeção de Artefatos de Teste de Software. Jardelane Brito; Arilo Claudio Dias Neto; Experimental Software Engineering Latin American Workshop, 2012. Completo.

  45. Understanding Programming Bugs in ANSI-C Software Using Bounded Model Checking Counter-Examples. Herbert Rocha; Raimundo Da Silva Barreto; Lucas Cordeiro; Arilo Claudio Dias Neto; International Conference on Integrated Formal Methods, 2012. Completo.

  46. Assessing the Relevance of Organizational Culture in Software Process Improvement Initiatives. Odette Mestrinho Passos; Arilo Claudio Dias Neto; Raimundo Da Silva Barreto; IberoAmerican Conference on Software Engineering, 2012. Completo.

  47. TestCheck ? Uma Abordagem Baseada em Checklist para Inspecionar Artefatos de Teste de Software. Jardelane Brito; Jeanne De Castro Trovão; Arilo Claudio Dias Neto; Simpósio Brasileiro de Qualidade de Software, 2012. Completo.

  48. Aplicando Testes Ágeis com Equipes Distribuídas: Um Relato de Experiência. Nayane Maia; Gisele Aguiar Macedo; Eliane Collins; Arilo Claudio Dias Neto; Simpósio Brasileiro de Qualidade de Software, 2012. Completo.

  49. Providing trade-off techniques subsets to improve software testing effectiveness: using evolutionary algorithm to support software testing techniques selection by a web tool. Aurélio Da Silva Grande; Arilo Claudio Dias Neto; Rosiane De Freitas Rodrigues; Simpósio Brasileiro de Inteligência Artificial, 2012. Completo.

  50. An Industrial Experience on the Application of Distributed Testing in an Agile Software Development Environment. Collins, Eliane; Macedo, Gisele; Maia, Nayane; Arilo Claudio Dias Neto; 2012 7th IEEE International Conference on Global Software Engineering (ICGSE), 2012. Completo.

  51. Strategies for Agile Software Testing Automation: An Industrial Experience. Collins, Eliane; Arilo Claudio Dias Neto; Lucena Jr., Vicente F. De; 2012 IEEE 36th IEEE Annual Computer Software and Applications Conference Workshops (COMPSACW), 2012. Completo.

  52. Porantim-Opt: Optimizing the Combined Selection of Model-based Testing Techniques. Arilo Claudio Dias Neto; Rosiane De Freitas Rodrigues; Guilherme Horta Travassos; 4th International Workshop on Search-Based Software Testing, 2011. Completo.

  53. Desenvolvendo uma Abordagem Sistemática para Avaliação dos Estudos Experimentais em Search-Based Software Engineering. Márcio De Oliveira Barros; Arilo Claudio Dias Neto; Workshop de Engenharia de Software Baseada em Busca (WESB), 2011. Completo.

  54. Uma Proposta de Framework de Apoio à Seleção de Tecnologias de Software aplicando Estratégias de Busca. Arilo Claudio Dias Neto; Rosiane De Freitas Rodrigues; Workshop de Engenharia de Software Baseada em Busca (WESB), 2011. Completo.

  55. Developing Software Technologies through Experimentation: Experiences from the Battlefield. Arilo Claudio Dias Neto; Rodrigo Oliveira Spínola; Guilherme Horta Travassos; XIII Congresso Iberoamericano en, 2010. Completo.

  56. Evolving a Computerized Infrastructure to support the Selection of Model-Based Testing Techniques. Arilo Claudio Dias Neto; Guilherme Horta Travassos; IFIP International Conference on Testing Software and Systems (ICTSS'10), 2010. Resumo.

  57. Otimizando a Seleção Combinada de Técnicas de Teste Baseado em Modelos através da Determinação do Menor Conjunto Dominante Multiobjetivo. Arilo Claudio Dias Neto; Rosiane De Freitas Rodrigues; Workshop de Otimização em Engenharia de Software (WOES), 2010. Completo.

  58. Porantim: An Approach to Support the Combination and Selection of Model-Based Testing Techniques. Arilo Claudio Dias Neto; Guilherme Horta Travassos; Workshop on the Automation of Software Test, 2009. Completo.

  59. Evaluation of {model-based} Testing Techniques Selection Approaches: an External Replication. Arilo Claudio Dias Neto; Guilherme Horta Travassos; International Symposium on Empirical Software Engineering and Measurement (ESEM), 2009. Completo.

  60. An Environment to Support Large Scale Experimentation in Software Engineering. Guilherme Horta Travassos; Paulo Sérgio Santos; Paula Gomes Mian; Arilo Claudio Dias Neto; Jorge Biolchini; International Conference on Engineering of Complex Computer Systems, 2008. Completo.

  61. Supporting the Selection of Model-based Testing Approaches for Software Projects. Arilo Claudio Dias Neto; Guilherme Horta Travassos; Workshop on Automation of Software Test, 2008. Resumo.

  62. Estratégia para Apoiar a Seleção de Abordagens de Teste Baseado em Modelos para Projetos de Software. Arilo Claudio Dias Neto; Guilherme Horta Travassos; Simpósio Brasileiro de Qualidade de Software, 2008. Completo.

  63. Uma Estratégia de Apoio à Seleção de Abordagens de Teste Baseado em Modelos para Projetos de Software. Arilo Claudio Dias Neto; Guilherme Horta Travassos; Workshop de Testes e Dissertações em Qualidade de Sofware, 2008. Completo.

  64. Surveying Model Based Testing Approaches Characterization Attributes. Arilo Claudio Dias Neto; Guilherme Horta Travassos; International Symposium on Empirical Software Engineering and Measurement (ESEM), 2008. Resumo.

  65. Abordagem para Desenvolver Tecnologia de Software com Apoio de Estudos Secundários e Primários. Rodrigo Oliveira Spínola; Arilo Claudio Dias Neto; Guilherme Horta Travassos; EXPERIMENTAL SOFTWARE ENGINEERING LATIN AMERICAN WORKSHOP, 2008. Completo.

  66. Inspeções de Requisitos de Software em Desenvolvimento Incremental: Uma Experiência Prática. Marcos Kalinowski; Rodrigo Oliveira Spínola; Arilo Claudio Dias Neto; Andrew Bott; Guilherme Horta Travassos; Simpósio Brasileiro de Qualidade de Software, 2007. Completo.

  67. Estratégia de Teste de Software no Desenvolvimento Incremental de um Sistema de Informação. Arilo Claudio Dias Neto; Rodrigo Oliveira Spínola; Andrew Bott; Guilherme Horta Travassos; Workshop on Systematic and Automated Software Testing, 2007. Completo.

  68. A Survey on Model-based Testing Approaches: A Systematic Review. Arilo Claudio Dias Neto; Rajesh Subramanyan; Marlon Vieira; Guilherme Horta Travassos; Workshop on Empirical Assessment of Software Engineering Languages and Technologies, 2007. Completo.

  69. Maraká: Uma Infra-estrutura Computacional para Apoiar o Planejamento e Controle de Testes de Software. Arilo Claudio Dias Neto; Guilherme Horta Travassos; Simpósio Brasileiro de Qualidade de Software, 2006. Completo.

  70. Caracterização do Estado da Prática das Atividades de Teste em um Cenário de Desenvolvimento de Software Brasileiro. Arilo Claudio Dias Neto; Ana Candida Cruz Natali; Ana Regina Cavalcanti Da Rocha; Guilherme Horta Travassos; Simpósio Brasileiro de Qualidade de Software, 2006. Completo.

  71. Heurísticas para Identificação da Ordem de Integração das Classes em Testes aplicados a Software OO. Gladys Pereira Lima; Arilo Claudio Dias Neto; Guilherme Horta Travassos; LATIN-AMERICAN CONFERENCE ON INFORMATICS, 2006. Completo.

  72. Uma Infra-estrutura para Apoiar o Planejamento e Controle de Teste de Software. Arilo Claudio Dias Neto; Guilherme Horta Travassos; III Workshop de Teses e Dissertações em Qualidade de Software, 2005. Completo.

  73. FAROL: Uma Ferramenta de Apoio à Aplicação de Heurísticas de Ordenação de Classes para Teste de Integração. Arilo Claudio Dias Neto; Guilherme Horta Travassos; XII Sessão de Ferramentas - SBES, 2005. Completo.

  74. Abordagens para Integração de Componentes Aplicadas na Componentização de Sistemas Legados. Marco Antônio Araújo; Reinaldo Cabral Silva Filho; Arilo Claudio Dias Neto; Wladmir Araújo Chapetta; Guilherme Horta Travassos; Workshop de Desenvolvimento Baseado em Componentes, 2005. Completo.

  75. Toward a Computerized Infrastructure for Software Testing Planning and Control. Arilo Claudio Dias Neto; Guilherme Horta Travassos; IEEE LATIN-AMERICAN TEST WORKSHOP, 2005. Resumo.

  76. Infrastructure for Software Engineering Experiments Definition and Planning. Arilo Claudio Dias Neto; Rafael Ferreira Barcelos; Wladmir Araújo Chapetta; Paulo Sérgio Santos; Sômulo Nogueira Mafra; Guilherme Horta Travassos; 1ST EXPERIMENTAL SOFTWARE ENGINEERING LATIN AMERICAN WORKSHOP, 2004. Completo.

  77. Empirical Study of Class Integration Testing Order Heuristics. Gladys Pereira Lima; Arilo Claudio Dias Neto; Guilherme Horta Travassos; EXPERIMENTAL SOFTWARE ENGINEERING LATIN AMERICAN WORKSHOP, 2004. Completo.

  1. Toward the characterization of software testing practices in South America: looking at Brazil and Uruguay. Arilo Claudio Dias Neto; Matalonga, Santiago; Solari, MartÍn; Robiolo, Gabriela; Travassos, Guilherme Horta; Software Quality Journal,

  2. Cobertura do Alinhamento Estratégico de TI e Negócios das Organizações pelo MR-MPS-SV:2012 e pelo MR-MPS-SV:2015. SpÓsito, Marcos AndrÉ Fernandes; Arilo Claudio Dias Neto; Raimundo Da Silva Barreto; iSys: Revista Brasileira de Sistemas de Informação,

  3. Software engineering research in Brazil from the perspective of young researchers: a panorama of the last decade. Arilo Claudio Dias Neto; Prikladnicki, Rafael; Barros, MÁrcio De O.; Murta, Leonardo G. P.; Journal of the Brazilian Computer Society (Impresso),

  4. Especificação de Processos de Apoio Gerencial ao Processo de Testes de Software. Jeanne De Castro TrovÃo; Arilo Claudio Dias Neto; iSys: Revista Brasileira de Sistemas de Informação,

  5. A mapping study of the Brazilian SBSE community. AssunÇÃo, Wesley Kg; Barros, MÁrcio De; Colanzi, Thelma E; Arilo Claudio Dias Neto; PaixÃo, Matheus He; De Souza, Jerffeson T; Vergilio, Silvia R; Journal of Software Engineering Research and Development,

  6. Supporting the Combined Selection of Model-based Testing Techniques. Arilo Claudio Dias Neto; Travassos, Guilherme; IEEE Transactions on Software Engineering,

  7. Casos de Teste: Aprimore seus casos e procedimentos de teste. Arilo Claudio Dias Neto; Engenharia de Software Magazine,

  8. Conducting Empirical Studies to Evaluate a Technique to Inspect Software Testing Artifacts. Jardelane Brito; Arilo Claudio Dias Neto; CLEI Electronic Journal,

  9. Relevant Organizational Values in the Implementation of Software Process Improvement Initiatives. Odette Mestrinho Passos; Arilo Claudio Dias Neto; Raimundo Da Silva Barreto; CLEI Electronic Journal,

  10. Automação de testes funcionais para aplicações da plataforma Android. Jeanne De Castro Trovão; Arilo Claudio Dias Neto; Engenharia de Software Magazine,

  11. Organizational Culture and Success in SPI Initiatives. Odette Mestrinho Passos; Arilo Claudio Dias Neto; Raimundo Da Silva Barreto; IEEE Software,

  12. A Picture from the Model-Based Testing Area: Concepts, Techniques, and Challenges. Arilo Claudio Dias Neto; Guilherme Horta Travassos; Advances in Computers,

  13. Model-based testing approaches selection for software projects. Arilo Claudio Dias Neto; Travassos, Guilherme Horta; Information and Software Technology,

  14. Improving Evidence about Software Technologies: A Look at Model-Based Testing. Arilo Claudio Dias Neto; Subramanyan, Rajesh; Vieira, Marlon; Travassos, Guilherme Horta; Shull, Forrest; IEEE Software,

  15. Heuristics for the Identification of Class Integration Order in Object-Oriented Software Testing. Gladys Pereira Lima; Arilo Claudio Dias Neto; Guilherme Horta Travassos; CLEI Electronic Journal,

  1. Towards a Guideline-Based Approach to Govern Developers in Mobile Software Ecosystems. Lecture Notes in Computer Science, 2017.

  2. Teste em Dispositivos Móveis. Teste em Dispositivos Móveis, 2016.

  3. A Process-Based Approach to Test Usability of Multi-platform Mobile Applications. Lecture Notes in Computer Science, 2016.