Publications

(2019). Why do developers take breaks from contributing to OSS projects? A preliminary analysis. CoRR.

PDF

(2019). What Attracts Newcomers to Onboard on OSS Projects? TL;DR: Popularity. Open Source Systems - 15th IFIP WG 2.13 International Conference, OSS 2019, Montreal, QC, Canada, May 26-27, 2019, Proceedings.

PDF DOI

(2019). Training software engineers using open-source software: the students' perspective. Proceedings of the 41st International Conference on Software Engineering: Software Engineering Education and Training, ICSE (SEET) 2019, Montreal, QC, Canada, May 25-31, 2019.

PDF

(2019). Towards Full Proof Automation in Frama-C Using Auto-active Verification. NASA Formal Methods - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings.

PDF DOI

(2019). Should I stale or should I close?: an analysis of a bot that closes abandoned issues and pull requests. Proceedings of the 1st International Workshop on Bots in Software Engineering, BotSE@ICSE 2019, Montreal, QC, Canada, May 28, 2019..

PDF

(2019). Pedagogical Content for Professors of Introductory Programming Courses. Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education, Aberdeen, Scotland, UK, July 15-17, 2019..

PDF DOI

(2019). Passages. ACM SIGSOFT Software Engineering Notes.

PDF DOI

(2019). Parallel programming with Coq: map and reduce skeletons on trees. Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, SAC 2019, Limassol, Cyprus, April 8-12, 2019.

PDF DOI

(2019). Overcoming Social Barriers When Contributing to Open Source Software Projects. Computer Supported Cooperative Work.

PDF DOI

(2019). Logic against ghosts: comparison of two proof approaches for a list module. Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, SAC 2019, Limassol, Cyprus, April 8-12, 2019.

PDF DOI

(2019). Let Me In: Guidelines for the Successful Onboarding of Newcomers to Open Source Projects. IEEE Software.

PDF DOI

(2019). How should my chatbot interact? A survey on human-chatbot interaction design. CoRR.

PDF

(2018). Who gets a patch accepted first?: comparing the contributions of employees and volunteers. Proceedings of the 11th International Workshop on Cooperative and Human Aspects of Software Engineering, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018.

PDF DOI

(2018). Who drives company-owned OSS projects: internal or external members?. J. Braz. Comp. Soc..

PDF DOI

(2018). When students become contributors: leveraging OSS contributions in software engineering courses. Proceedings of the XXXII Brazilian Symposium on Software Engineering, SBES 2018, Sao Carlos, Brazil, September 17-21, 2018.

PDF DOI

(2018). What are the differences between group and individual modeling when learning UML?. Proceedings of the XXXII Brazilian Symposium on Software Engineering, SBES 2018, Sao Carlos, Brazil, September 17-21, 2018.

PDF DOI

(2018). Verified Programs for Frequent Itemset Mining. 2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation, SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2018, Guangzhou, China, October 8-12, 2018.

PDF DOI

(2018). Using Awareness Information to Enhance Online Discussion Forums: A Systematic Mapping Study. IEEE Frontiers in Education Conference, FIE 2018, San Jose, CA, USA, October 3-6, 2018.

PDF DOI

(2018). User engagement in an open collaboration community after the insertion of a game design element: An online field experiment. 24th Americas Conference on Information Systems, AMCIS 2018, New Orleans, LA, USA, August 16-18, 2018.

PDF

(2018). Tutorial: Secure Your Things: Secure Development of IoT Software with Frama-C. 2018 IEEE Cybersecurity Development, SecDev 2018, Cambridge, MA, USA, September 30 - October 2, 2018.

PDF DOI

(2018). Tutorial: DeepState: Bringing Vulnerability Detection Tools into the Development Cycle. 2018 IEEE Cybersecurity Development, SecDev 2018, Cambridge, MA, USA, September 30 - October 2, 2018.

PDF DOI

(2018). Towards the Generation of Correct Java Programs (Research Poster). 2018 International Conference on High Performance Computing & Simulation, HPCS 2018, Orleans, France, July 16-20, 2018.

PDF DOI

(2018). The Power of Bots: Characterizing and Understanding Bots in OSS Projects. PACMHCI.

PDF DOI

(2018). Target Selection for Test-Based Resource Adaptation. 2018 IEEE International Conference on Software Quality, Reliability and Security, QRS 2018, Lisbon, Portugal, July 16-20, 2018.

PDF DOI

(2018). TSTL: the template scripting testing language. STTT.

PDF DOI

(2018). Strong Security Guarantees: From Alloy to Coq (Research Poster). 2018 International Conference on High Performance Computing & Simulation, HPCS 2018, Orleans, France, July 16-20, 2018.

PDF DOI

(2018). Software Platforms for Smart Cities: Concepts, Requirements, Challenges, and a Unified Reference Architecture. ACM Comput. Surv..

PDF DOI

(2018). Single or Multiple Conversational Agents?: An Interactional Coherence Comparison. Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems, CHI 2018, Montreal, QC, Canada, April 21-26, 2018.

PDF DOI

(2018). Relations Between Actions Performed by Users and Their Engagement. Collaboration and Technology - 24th International Conference, CRIWG 2018, Costa de Caparica, Portugal, September 5-7, 2018, Proceedings.

PDF DOI

(2018). Reduce Before You Localize: Delta-Debugging and Spectrum-Based Fault Localization. 2018 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Memphis, TN, USA, October 15-18, 2018.

PDF DOI

(2018). Passages. ACM SIGSOFT Software Engineering Notes.

PDF DOI

(2018). Passages. ACM SIGSOFT Software Engineering Notes.

PDF DOI

(2018). Passages. ACM SIGSOFT Software Engineering Notes.

PDF DOI

(2018). Passages. ACM SIGSOFT Software Engineering Notes.

PDF DOI

(2018). Parallel Programming with OCaml: A Tutorial. 2018 International Conference on High Performance Computing & Simulation, HPCS 2018, Orleans, France, July 16-20, 2018.

PDF DOI

(2018). On the challenges of open-sourcing proprietary software projects. Empirical Software Engineering.

PDF DOI

(2018). Newcomers' Barriers. . . Is That All? An Analysis of Mentors' and Newcomers' Barriers in OSS Projects. Computer Supported Cooperative Work.

PDF DOI

(2018). MMFilter : A CHR-Based Solver for Generation of Executions under Weak Memory Models. Computer Languages, Systems & Structures.

PDF DOI

(2018). Leaving Behind the Software History When Transitioning to Open Source: Reasons and Implications. Open Source Systems: Enterprise Software and Solutions - 14th IFIP WG 2.13 International Conference, OSS 2018, Athens, Greece, June 8-10, 2018, Proceedings.

PDF DOI

(2018). Interactive Bulk Synchronous Parallel Functional Programming in a Browser. 2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation, SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2018, Guangzhou, China, October 8-12, 2018.

PDF DOI

(2018). Impacts of coding practices on readability. Proceedings of the 26th Conference on Program Comprehension, ICPC 2018, Gothenburg, Sweden, May 27-28, 2018.

PDF DOI

(2018). How verified (or tested) is my code? Falsification-driven verification and testing. Autom. Softw. Eng..

PDF DOI

(2018). How modern news aggregators help development communities shape and share knowledge. Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018.

PDF DOI

(2018). Ghosts for Lists: From Axiomatic to Executable Specifications. Tests and Proofs - 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings.

PDF DOI

(2018). Ghosts for Lists: A Critical Module of Contiki Verified in Frama-C. NASA Formal Methods - 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings.

PDF DOI

(2018). Competence, Collaboration, and Time Management: Barriers and Recommendations for Crowdworkers. 5th IEEE/ACM International Workshop on Crowd Sourcing in Software Engineering, CSI-SE@ICSE 2018, Gothenburg, Sweden, May 27 - June 3, 2018.

PDF DOI

(2018). Code smells for Model-View-Controller architectures. Empirical Software Engineering.

PDF DOI

(2018). Characterizing the hyperspecialists in the context of crowdsourcing software development. J. Braz. Comp. Soc..

PDF DOI

(2018). Causal Distance-Metric-Based Assistance for Debugging after Compiler Fuzzing. 29th IEEE International Symposium on Software Reliability Engineering, ISSRE 2018, Memphis, TN, USA, October 15-18, 2018.

PDF DOI

(2018). An extensible, regular-expression-based tool for multi-language mutant generation. Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018.

PDF DOI

(2018). An empirical study on task documentation in software crowdsourcing: the case of the topcoder platform. Proceedings of the XXXII Brazilian Symposium on Software Engineering, SBES 2018, Sao Carlos, Brazil, September 17-21, 2018.

PDF DOI

(2018). Almost there: a study on quasi-contributors in open source software projects. Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018.

PDF DOI

(2018). A Lesson on Verification of IoT Software with Frama-C. 2018 International Conference on High Performance Computing & Simulation, HPCS 2018, Orleans, France, July 16-20, 2018.

PDF DOI

(2018). A Gamification Proposal to Support the Onboarding of Newcomers in the FLOSScoach Portal. Proceedings of the 17th Brazilian Symposium on Human Factors in Computing Systems, IHC 2018, Belém, Brazil, October 22-26, 2018.

PDF DOI

(2018). A Cloud Brokerage Solution: Formal Methods Meet Security in Cloud Federations. 2018 International Conference on High Performance Computing & Simulation, HPCS 2018, Orleans, France, July 16-20, 2018.

PDF DOI

(2017). Using contextual information to predict co-changes. Journal of Systems and Software.

PDF DOI

(2017). Using Gamification to Orient and Motivate Students to Contribute to OSS Projects. 10th IEEE/ACM International Workshop on Cooperative and Human Aspects of Software Engineering, CHASE@ICSE 2017, Buenos Aires, Argentina, May 23, 2017.

PDF DOI

(2017). Tweaking Association Rules to Optimize Software Change Recommendations. Proceedings of the 31st Brazilian Symposium on Software Engineering, SBES 2017, Fortaleza, CE, Brazil, September 20-22, 2017.

PDF DOI

(2017). Training Software Engineers Using Open-Source Software: The Professors' Perspective. 30th IEEE Conference on Software Engineering Education and Training, CSEE&T 2017, Savannah, GA, USA, November 7-9, 2017.

PDF DOI

(2017). Towards a Verified Parallel Implementation of Frequent Itemset Mining. 2017 International Conference on High Performance Computing & Simulation, HPCS 2017, Genoa, Italy, July 17-21, 2017.

PDF DOI

(2017). The Theory of Composite Faults. 2017 IEEE International Conference on Software Testing, Verification and Validation, ICST 2017, Tokyo, Japan, March 13-17, 2017.

PDF DOI

(2017). Students' Engagement in Open Source Projects: An Analysis of Google Summer of Code. Proceedings of the 31st Brazilian Symposium on Software Engineering, SBES 2017, Fortaleza, CE, Brazil, September 20-22, 2017.

PDF DOI

(2017). Resource Adaptation via Test-Based Software Minimization. 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2017, Tucson, AZ, USA, September 18-22, 2017.

PDF DOI

(2017). Replicated Synchronization for Imperative BSP Programs. International Conference on Computational Science, ICCS 2017, 12-14 June 2017, Zurich, Switzerland.

PDF DOI

(2017). Provenance and Pseudo-Provenance for Seeded Learning-Based Automated Test Generation. CoRR.

PDF

(2017). Passages. ACM SIGSOFT Software Engineering Notes.

PDF DOI

(2017). Passages. ACM SIGSOFT Software Engineering Notes.

PDF DOI

(2017). Passages. ACM SIGSOFT Software Engineering Notes.

PDF DOI

(2017). One test to rule them all. Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14, 2017.

PDF DOI

(2017). On-demand Developer Documentation. 2017 IEEE International Conference on Software Maintenance and Evolution, ICSME 2017, Shanghai, China, September 17-22, 2017.

PDF DOI

(2017). Mutation Reduction Strategies Considered Harmful. IEEE Trans. Reliability.

PDF DOI

(2017). Is It Better to Learn from Problems or Erroneous Examples?. 30th IEEE Conference on Software Engineering Education and Training, CSEE&T 2017, Savannah, GA, USA, November 7-9, 2017.

PDF DOI

(2017). Introduction to the Special Issue on Practical Aspects of High-Level Parallel Programming. Scalable Computing: Practice and Experience.

PDF

(2017). Implementing Algorithmic Skeletons with Bulk Synchronous Parallel ML. 18th International Conference on Parallel and Distributed Computing, Applications and Technologies, PDCAT 2017, Taipei, Taiwan, December 18-20, 2017.

PDF DOI

(2017). Imperative BSPlib-style Communications in BSML. International Conference on Computational Science, ICCS 2017, 12-14 June 2017, Zurich, Switzerland.

PDF DOI

(2017). How Long and How Much: What to Expect from Summer of Code Participants?. 2017 IEEE International Conference on Software Maintenance and Evolution, ICSME 2017, Shanghai, China, September 17-22, 2017.

PDF DOI

(2017). From Concurrent Programs to Simulating Sequential Programs: Correctness of a Transformation. Proceedings Fifth International Workshop on Verification and Program Transformation, VPT@ETAPS 2017, Uppsala, Sweden, 29th April 2017..

PDF DOI

(2017). Free and open source software development: the end of the teenage years. J. Internet Services and Applications.

PDF DOI

(2017). Formalization of a Big Graph API in Coq. 2017 International Conference on High Performance Computing & Simulation, HPCS 2017, Genoa, Italy, July 17-21, 2017.

PDF DOI

(2017). Does choice of mutation tool matter?. Software Quality Journal.

PDF DOI

(2017). Calculating Parallel Programs in Coq Using List Homomorphisms. International Journal of Parallel Programming.

PDF DOI

(2017). Barriers Faced by Newcomers to Software-Crowdsourcing Projects. IEEE Software.

PDF DOI

(2017). Automated Generation of BSP Automata. Parallel Processing Letters.

PDF DOI

(2017). Applying Mutation Analysis on Kernel Test Suites: An Experience Report. 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2017, Tokyo, Japan, March 13-17, 2017.

PDF DOI

(2017). A suite of tools for making effective use of automatically generated tests. Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14, 2017.

PDF DOI

(2017). A Verified Accumulate Algorithmic Skeleton. Fifth International Symposium on Computing and Networking, CANDAR 2017, Aomori, Japan, November 19-22, 2017.

PDF DOI

(2017). A Java Framework for High Level Parallel Programming Using Powerlists. 18th International Conference on Parallel and Distributed Computing, Applications and Technologies, PDCAT 2017, Taipei, Taiwan, December 18-20, 2017.

PDF DOI

(2017). A BSPlib-style API for Bulk Synchronous Parallel ML. Scalable Computing: Practice and Experience.

PDF

(2016). Why is programming so difficult to learn?: Patterns of Difficulties Related to Programming Learning Mid-Stage. ACM SIGSOFT Software Engineering Notes.

PDF DOI

(2016). Who is Who in the Mailing List? Comparing Six Disambiguation Heuristics to Identify Multiple Addresses of a Participant. 2016 IEEE International Conference on Software Maintenance and Evolution, ICSME 2016, Raleigh, NC, USA, October 2-7, 2016.

PDF DOI

(2016). Visual programming and automatic evaluation of exercises: An experience with a STEM course. 2016 IEEE Frontiers in Education Conference, FIE 2015, Eire, PA, USA, October 12-15, 2016.

PDF DOI

(2016). Training the future workforce through task curation in an OSS ecosystem. Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2016, Seattle, WA, USA, November 13-18, 2016.

PDF DOI

(2016). Topsy-Turvy: a smarter and faster parallelization of mutation analysis. Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, Austin, TX, USA, May 14-22, 2016 - Companion Volume.

PDF

(2016). Supporting Software Architecture Learning Using Runtime Visualization. 29th IEEE International Conference on Software Engineering Education and Training, CSEET 2016, Dallas, TX, USA, April 5-6, 2016.

PDF DOI

(2016). Software Platforms for Smart Cities: Concepts, Requirements, Challenges, and a Unified Reference Architecture. CoRR.

PDF

(2016). SATT: Tailoring Code Metric Thresholds for Different Software Architectures. 16th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2016, Raleigh, NC, USA, October 2-3, 2016.

PDF DOI

(2016). Promoting Engagement in Open Collaboration Communities by Means of Gamification. HCI International 2016 - Posters’ Extended Abstracts - 18th International Conference, HCI International 2016, Toronto, Canada, July 17-22, 2016, Proceedings, Part II.

PDF DOI

(2016). Passages. ACM SIGSOFT Software Engineering Notes.

PDF DOI

(2016). Passages. ACM SIGSOFT Software Engineering Notes.

PDF DOI

(2016). Passages. ACM SIGSOFT Software Engineering Notes.

PDF

(2016). Passages. ACM SIGSOFT Software Engineering Notes.

PDF DOI

(2016). Passages. ACM SIGSOFT Software Engineering Notes.

PDF DOI

(2016). Passages. ACM SIGSOFT Software Engineering Notes.

PDF DOI

(2016). Overcoming open source project entry barriers with a portal for newcomers. Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, Austin, TX, USA, May 14-22, 2016.

PDF DOI

(2016). On the limits of mutation reduction strategies. Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, Austin, TX, USA, May 14-22, 2016.

PDF DOI

(2016). More Common Than You Think: An In-depth Study of Casual Contributors. IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering, SANER 2016, Suita, Osaka, Japan, March 14-18, 2016 - Volume 1.

PDF DOI

(2016). Mitigating (and exploiting) test reduction slippage. Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation, A-TEST@SIGSOFT FSE 2016, Seattle, WA, USA, November 18, 2016.

PDF DOI

(2016). Measuring Effectiveness of Mutant Sets. Ninth IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2016, Chicago, IL, USA, April 11-15, 2016.

PDF DOI

(2016). Is a Picture worth a Thousand Words?: A Comparative Analysis of Using Textual and Graphical Approaches to Specify Use Cases. Proceedings of the 30th Brazilian Symposium on Software Engineering, SBES 2016, Maringá, Brazil, September 19 - 23, 2016.

PDF DOI

(2016). How Does the Shift to GitHub Impact Project Collaboration?. 2016 IEEE International Conference on Software Maintenance and Evolution, ICSME 2016, Raleigh, NC, USA, October 2-7, 2016.

PDF DOI

(2016). Generating focused random tests using directed swarm testing. Proceedings of the 25th International Symposium on Software Testing and Analysis, ISSTA 2016, Saarbrücken, Germany, July 18-20, 2016.

PDF DOI

(2016). Finding Model-Checkable Needles in Large Source Code Haystacks: Modular Bug-Finding via Static Analysis and Dynamic Invariant Discovery. CoRR.

PDF

(2016). Evaluating non-adequate test-case reduction. Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016, Singapore, September 3-7, 2016.

PDF DOI

(2016). Developers' Perceptions on Object-Oriented Design and Architectural Roles. Proceedings of the 30th Brazilian Symposium on Software Engineering, SBES 2016, Maringá, Brazil, September 19 - 23, 2016.

PDF DOI

(2016). Data Poisoning: Lightweight Soft Fault Injection for Python. CoRR.

PDF

(2016). Conc2Seq: A Frama-C Plugin for Verification of Parallel Compositions of C Programs. 16th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2016, Raleigh, NC, USA, October 2-3, 2016.

PDF DOI

(2016). Collaboration technology in teams and organizations: Introduction to the special issue. Information Systems Frontiers.

PDF DOI

(2016). Cause reduction: delta debugging, even without bugs. Softw. Test., Verif. Reliab..

PDF DOI

(2016). Can testedness be effectively measured?. Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2016, Seattle, WA, USA, November 13-18, 2016.

PDF DOI

(2016). Bounded Model Checking and Feature Omission Diversity. CoRR.

PDF

(2016). Agile Usability Patterns for User-Centered Design Final Stages. Human-Computer Interaction. Theory, Design, Development and Practice - 18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings, Part I.

PDF DOI

(2016). A Validated Set of Smells in Model-View-Controller Architectures. 2016 IEEE International Conference on Software Maintenance and Evolution, ICSME 2016, Raleigh, NC, USA, October 2-7, 2016.

PDF DOI

(2016). A Static Change Impact Analysis Approach based on Metrics and Visualizations to Support the Evolution of Workflow Repositories. Int. J. Web Service Res..

PDF DOI

(2016). A Method Dependence Relations Guided Genetic Algorithm. Search Based Software Engineering - 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings.

PDF DOI

(2016). A CHR-Based Solver for Weak Memory Behaviors. Proceedings of the 7th Workshop on Constraint Solvers in Testing, Verification, and Analysis co-located with The International Symposium on Software Testing and Analysis (ISSTA 2016), Saarbrücken, Germany, July 17th, 2016..

PDF