Sikraken
10.5281/zenodo.17611399 , 10.5281/zenodo.17578872 , 10.5281/zenodo.13958168 , 10.5281/zenodo.17560023 , 10.5281/zenodo.14174689 , 10.5281/zenodo.13900207 , 10.5281/zenodo.17954695 , 10.5281/zenodo.17571670 , 10.5281/zenodo.14176165 , 10.5281/zenodo.13947247 , 10.5281/zenodo.14014796 , 10.5281/zenodo.17993010 , 10.5281/zenodo.17412076 , 10.5281/zenodo.14194599 , 10.5281/zenodo.17526508 , 10.5281/zenodo.14312504 , 10.5281/zenodo.17391901 , 10.5281/zenodo.18020660 , 10.5281/zenodo.13900206 , 10.5281/zenodo.14293481 , 10.5281/zenodo.14014707 , 10.5281/zenodo.18035841 , 10.5281/zenodo.17526092 , 10.5281/zenodo.14343769 , 10.5281/zenodo.14028912 , 10.5281/zenodo.17674412 , 10.5281/zenodo.17955332 , 10.5281/zenodo.17559884 , 10.5281/zenodo.17391078 , 10.5281/zenodo.18062402 , 10.5281/zenodo.17526188 , 10.5281/zenodo.14238880 , 10.5281/zenodo.14028941 , 10.5281/zenodo.17689189 , 10.5281/zenodo.17391962 , 10.5281/zenodo.14014567
10.5281/zenodo.17611399 , 10.5281/zenodo.17578872 , 10.5281/zenodo.13958168 , 10.5281/zenodo.17560023 , 10.5281/zenodo.14174689 , 10.5281/zenodo.13900207 , 10.5281/zenodo.17954695 , 10.5281/zenodo.17571670 , 10.5281/zenodo.14176165 , 10.5281/zenodo.13947247 , 10.5281/zenodo.14014796 , 10.5281/zenodo.17993010 , 10.5281/zenodo.17412076 , 10.5281/zenodo.14194599 , 10.5281/zenodo.17526508 , 10.5281/zenodo.14312504 , 10.5281/zenodo.17391901 , 10.5281/zenodo.18020660 , 10.5281/zenodo.13900206 , 10.5281/zenodo.14293481 , 10.5281/zenodo.14014707 , 10.5281/zenodo.18035841 , 10.5281/zenodo.17526092 , 10.5281/zenodo.14343769 , 10.5281/zenodo.14028912 , 10.5281/zenodo.17674412 , 10.5281/zenodo.17955332 , 10.5281/zenodo.17559884 , 10.5281/zenodo.17391078 , 10.5281/zenodo.18062402 , 10.5281/zenodo.17526188 , 10.5281/zenodo.14238880 , 10.5281/zenodo.14028941 , 10.5281/zenodo.17689189 , 10.5281/zenodo.17391962 , 10.5281/zenodo.14014567
Sikraken
Sikraken is a new test data generator project for C code started in June 2024 by Dr Christophe Meudec, echancrure@gmail.com. It aims to achieve maximal 'branch' coverage. It is a side project developed in an agile way by a team of one, part-time; so don't expect miracles. It reuses bits and pieces from other projects: a parser for C using Flex/Bison; a symbolic executor written in Prolog (ECLiPSe flavour); a solver PTC-Solver that uses constraint logic programming (ECLiPSe flavour). The initial goal is to move towards tackling Test-Comp benchmarks in an agile way. Another commitment is to keep the Sikraken Development Guide Google Docs useful, uptodate and tidy. Development Log.
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).0 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Average influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Average impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
Citations provided by BIP!Popularity provided by BIP!