57 citations
- University of California, MercedUS9 papers
- AGH University of KrakowPL7 papers
- Donghua UniversityCN4 papers
- École Polytechnique Fédérale de LausanneCH4 papers
- Technical University of MunichDE3 papers
- Centre National de la Recherche ScientifiqueFR2 papers
- Institut national de recherche en sciences et technologies du numériqueFR2 papers
- Institut Polytechnique de ParisFR2 papers
- Intelligent Systems Research (United States)US2 papers
- LIP6FR2 papers
- Nanyang Technological UniversitySG2 papers
- RWTH Aachen UniversityDE2 papers
5 papers · 1 filter
Software Artifact Mining in Software Engineering Conferences: A Meta-Analysis
Zeinab Abou Khalil, Stefano Zacchiroli
Background: Software development results in the production of various types of artifacts: source code, version control system metadata, bug reports, mailing list conversations, tes…
A Large-scale Dataset of (Open Source) License Text Variants
Stefano Zacchiroli
We introduce a large-scale dataset of the complete texts of free/open source software (FOSS) license variants. To assemble it we have collected from the Software Heritage archive-t…
Geographic Diversity in Public Code Contributions
Davide Rossi, Stefano Zacchiroli
We conduct an exploratory, large-scale, longitudinal study of 50 years of commits to publicly available version control system repositories, in order to characterize the geographic…
Presentation Proposal: Towards Efficient Data-flow Test Data Generation Using KLEE
Chengyu Zhang, Ting Su, Yichen Yan +2
Dataflow coverage, one of the white-box testing criteria, focuses on the relations between variable definitions and their uses.Several empirical studies have proved data-flow testi…
Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software
Gordon J. Pace, Anders P. Ravn
The ability to negotiate contracts for a wide range of aspects and to provide services conforming to them is a most pressing need in service-oriented architectures. High-level mode…