Synthia
Marc-Antoine Plourde,Sylvain Hallé +1 more
- 21 May 2022
TL;DR: Synthia as discussed by the authors is a Java-based data structure generation library based on the notion of "pickers", which are objects producing values of a given type on demand, and can be given as input to other pickers.
read more
Abstract: Synthia is a versatile, modular and extensible Java-based data structure generation library. It is centered on the notion of "pickers", which are objects producing values of a given type on demand. Pickers are stateful and can be given as input to other pickers; this chaining principle can generate objects whose structure follows a complex pattern. The paper describes the core principles and key features of the library, including test input shrinking, provenance tracking, and object mutation.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Retrosynthesis from transforms to predictive sustainable chemistry and nanotechnology: a brief tutorial review
Alicja Mikolajczyk,Uladzislau Zhdan,Sylvain Antoniotti,Adam Smolinski,Karolina Jagiello,Piotr Skurski,Moussab Harb,Tomasz Puzyn,Jaroslaw Polanski +8 more
TL;DR: RetroSynthesis as discussed by the authors is a tool originally developed to simplify planning the synthesis of organic molecules using a symbolic strategy involving disconnections to synthons, but it can perform better when the initial strategy is changed.
8
References
Design and analysis of computer experiments
Sonja Kuhnt,David M. Steinberg +1 more
TL;DR: The included papers present an interesting mixture of recent developments in the field as they cover fundamental research on the design of experiments, models and analysis methods as well as more applied research connected to real-life applications.
Mock objects for testing java systems Why and how developers use them, and how they evolve
TL;DR: The study reveals that the usage of mocks is highly dependent on the responsibility and the architectural concern of the class and that they tend to stay there for its whole lifetime, and that changes in production code often force the test code to also change.
Explainable Queries over Event Logs
Sylvain Hallé
- 01 Oct 2020
TL;DR: In this article, the authors describe a framework to provide explainable results for queries executed over sequences of events, where individual output values can be precisely traced back to the data elements of the log that contribute to the result.
9
Automated repair of layout bugs in Web pages with linear programming
Stéphane Jacquet,Xavier Chamberland-Thibeault,Sylvain Hallé +2 more
- 18 May 2021
TL;DR: In this article, a technique to apply corrections to a rendered page by formulating its current state and associated layout constraints into a Mixed Integer Linear Programming problem is proposed, which is used to generate a layout that satisfies the constraints, in such a way that disruptions to the original page are minimized.
5
Computer Simulations of Scientific Peer Reviewing
TL;DR: In this article, a simple mathematical model of the scientific peer reviewing process is developed, where papers and reviewers are modeled as numerical vectors, respectively representing the paper's value among multiple quality dimensions, and the importance given to these dimensions by a given reviewer.
Related Papers (5)
Axel Legay,Sean Sedwards,Louis-Marie Traonouez +2 more
- 10 Oct 2016
Christopher League,Zhong Shao,Valery Trifonov +2 more
- 07 Apr 2003