Members

*

John Georgas

Associate Professor

Marco Gerosa

Associate Professor

Alex Groce

Associate Professor

Igor Steinmacher

Assistant Professor

Ana Paula Chaves Steinmacher

Graduate Teaching Assistant

Austin Sander

Graduate Research Assistant

Jolan Philippe

Graduate Research Assistant

Salwa Souaf

Graduate Research Assistant

Arvid Jakobsson

Université d’Orléans PhD Student

Dara Ly

Université d’Orléans PhD Student

Thibaut Tachon

Université d’Orléans PhD Student

Kevin Gonzalez Castro

Undergraduate Research Assistant

Recent Publications

More Publications

(2018). A Cloud Brokerage Solution: Formal Methods Meet Security in Cloud Federations. International Conference on High Performance Computing Simulation (HPCS).

DOI

(2018). A Lesson on Verification of IoT Software with Frama-C. International Conference on High Performance Computing and Simulation (HPCS).

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). 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). 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.

DOI

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

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

(2018). Ghosts for Lists: A Critical Module of Contiki Verified in Frama-C. Nasa Formal Methods.

DOI

(2018). Ghosts for Lists: from Axiomatic to Executable Specifications. Tests and Proofs (TAP).

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

Software

BSML

Bulk Synchronous Parallel ML: A library for functional parallel programming with OCaml

DeepState

A unit test-like interface for fuzzing and symbolic execution

SyDPaCC

A set of libraries for the Coq proof assistant for the systematic development of correct parallel programs

TSTL

The Template Scripting Testing Language

universal mutator

Regexp based tool for mutating generic source code across numerous languages