Skip to content

Latest commit

 

History

History
33 lines (26 loc) · 1.46 KB

README.md

File metadata and controls

33 lines (26 loc) · 1.46 KB

Sosiefier

Sosiefier is a project that aims at exploring the space of sosie of java programs. (Sosie means here a program variant that passes the original test suit.) It can be used to:

  • Explore java sources in order to build source transformations
  • Apply transformation and run tests in order to determine if the variant obtained is a sosie or not.
  • Chain these operations Project > Transformation exploration > apply transformation > build & run tests > results

Reference: "A Journey Among Java Neutral Program Variants", In Journal Genetic Programming and Evolvable Machines, Springer, 2019.

@article{arXiv-1901.02533,
 title = {A Journey Among Java Neutral Program Variants},
 journal = {Journal Genetic Programming and Evolvable Machines, Springer},
 year = {2019},
 doi = {10.1007/s10710-019-09355-3},
 author = {Nicolas Harrand and Simon Allier and Marcelino Rodriguez-Cancio and Martin Monperrus and Benoit Baudry},
 url = {http://arxiv.org/pdf/1901.02533},
}

Architecture

  • Transformation: Describe a source transformation.
  • Query: Explore a program to find transofrmations. (In order to test your query see generator/src/test/java/fr/inria/diversify/transformation/query/LoopFlipQueryTest.java)
  • Runner: Behavior to execute whith a set of transformations.
  • JSON input: Read a transformation from a json file

Configuration Files

See examples in ./configurationFiles

See also Exemple_README.md