Publications

Filter by type:
When students become contributors: leveraging OSS contributions in software engineering courses

PDF DOI

What are the differences between group and individual modeling when learning UML?

PDF DOI

Verified Programs for Frequent Itemset Mining

DOI

User engagement in an open collaboration community after the insertion of a game design element: An online field experiment

PDF

Towards the Generation of Correct Java Programs (Poster)

DOI

TSTL: the template scripting testing language

DOI

Strong Security Guarantees: from Alloy to Coq (Poster)

DOI

Soundness of a Dataflow Analysis for Memory Monitoring

Secure Your Things: Secure Development of IoT Software with Frama-C

DOI

Relations Between Actions Performed by Users and Their Engagement

PDF DOI

Passages

DOI

Parallel Programming with OCaml: A Tutorial

DOI

Newcomers' Barriers. . . Is That All? An Analysis of Mentors' and Newcomers' Barriers in OSS Projects

PDF DOI

MMFilter: A CHR-Based Solver for Generation of Executions under Weak Memory Models

DOI

Impacts of coding practices on readability

PDF DOI

How verified (or tested) is my code? Falsification-driven verification and testing

DOI

How modern news aggregators help development communities shape and share knowledge

PDF DOI

Ghosts for Lists: from Axiomatic to Executable Specifications

DOI

Ghosts for Lists: A Critical Module of Contiki Verified in Frama-C

DOI

Competence, Collaboration, and Time Management: Barriers and Recommendations for Crowdworkers

PDF

Code smells for Model-View-Controller architectures

PDF DOI

An extensible, regular-expression-based tool for multi-language mutant generation

DOI

Almost there: a study on quasi-contributors in open source software projects

PDF DOI

A Lesson on Verification of IoT Software with Frama-C

DOI

A Cloud Brokerage Solution: Formal Methods Meet Security in Cloud Federations

DOI

Using contextual information to predict co-changes

PDF DOI

Using Gamification to Orient and Motivate Students to Contribute to OSS Projects

PDF DOI

Tweaking Association Rules to Optimize Software Change Recommendations

PDF DOI

Training Software Engineers Using Open-Source Software: The Professors' Perspective

PDF DOI

The Theory of Composite Faults

DOI

Students' Engagement in Open Source Projects: An Analysis of Google Summer of Code

PDF DOI

Software Platforms for Smart Cities: Concepts, Requirements, Challenges, and a Unified Reference Architecture

PDF DOI

Resource Adaptation via Test-Based Software Minimization

DOI

Replicated Synchronization for Imperative BSP Programs

DOI

Passages

DOI

Passages

DOI

Passages

DOI

One test to rule them all

DOI

On-demand Developer Documentation

PDF DOI

Mutation Reduction Strategies Considered Harmful

DOI

Is It Better to Learn from Problems or Erroneous Examples?

PDF DOI

How Long and How Much: What to Expect from Summer of Code Participants?

PDF DOI

Free and open source software development: the end of the teenage years

PDF DOI

Formalization of a Big Graph API in Coq (Poster)

DOI

Does choice of mutation tool matter?

DOI

Concurrent Program Verification by Code Transformation: Correctness

PDF

Calculating Parallel Programs in Coq using List Homomorphisms

DOI

Barriers Faced by Newcomers to Software-Crowdsourcing Projects

PDF DOI

Automated generation of BSP automata

DOI

Applying Mutation Analysis on Kernel Test Suites: An Experience Report

DOI

A Java Framework for High Level Parallel Programming using Powerlists

DOI

conc2seq: A Frama-C Plugin for Verification of Parallel Compositions of C Programs

DOI

Who is Who in the Mailing List? Comparing Six Disambiguation Heuristics to Identify Multiple Addresses of a Participant

PDF DOI

Visual programming and automatic evaluation of exercises: An experience with a STEM course

PDF DOI

Training the future workforce through task curation in an OSS ecosystem

PDF DOI

Supporting Software Architecture Learning Using Runtime Visualization

DOI

Software Platforms for Smart Cities: Concepts, Requirements, Challenges, and a Unified Reference Architecture

PDF

SATT: Tailoring Code Metric Thresholds for Different Software Architectures

PDF DOI

Passages

DOI

Passages

PDF

Passages

DOI

Passages

DOI

Passages

DOI

Passages

DOI

Overcoming open source project entry barriers with a portal for newcomers

PDF DOI

On the limits of mutation reduction strategies

DOI

More Common Than You Think: An In-depth Study of Casual Contributors

PDF DOI

Mitigating (and exploiting) test reduction slippage

PDF

Measuring Effectiveness of Mutant Sets

DOI

Is a Picture worth a Thousand Words?: A Comparative Analysis of Using Textual and Graphical Approaches to Specify Use Cases

PDF DOI

How Does the Shift to GitHub Impact Project Collaboration?

PDF DOI

Generating focused random tests using directed swarm testing

PDF DOI

Evaluating non-adequate test-case reduction

DOI

Developers' Perceptions on Object-Oriented Design and Architectural Roles

PDF DOI

Collaboration technology in teams and organizations: Introduction to the special issue

PDF DOI

Cause reduction: delta debugging, even without bugs

DOI

Can testedness be effectively measured?

DOI

Bounded Model Checking and Feature Omission Diversity

PDF

Automated generation of BSP automata

Agile Usability Patterns for User-Centered Design Final Stages

PDF DOI

A Validated Set of Smells in Model-View-Controller Architectures

PDF DOI

A Static Change Impact Analysis Approach based on Metrics and Visualizations to Support the Evolution of Workflow Repositories

PDF DOI

A CHR-Based Solver for Weak Memory Behaviors

PDF