https://github.com/assert-kth/xperturb

perturbation analysis, correctness attraction and randomization, by KTH Royal Institute of Technology

Science Score: 13.0%

This score indicates how likely this project is to be science-related based on various indicators:

○
CITATION.cff file
○
codemeta.json file
○
.zenodo.json file
✓
DOI references
Found 1 DOI reference(s) in README
○
Academic publication links
○
Academic email domains
○
Institutional organization owner
○
JOSS paper metadata
○
Scientific vocabulary similarity
Low similarity (3.0%) to scientific vocabulary

Last synced: 10 months ago · JSON representation

Repository

perturbation analysis, correctness attraction and randomization, by KTH Royal Institute of Technology

Basic Info

Host: GitHub
Owner: ASSERT-KTH
Language: C
Default Branch: master
Homepage: https://hal.archives-ouvertes.fr/hal-01378523/file/correctness-attraction.pdf
Size: 13.5 MB

Statistics

Stars: 7
Watchers: 10
Forks: 5
Open Issues: 2
Releases: 0

Created over 10 years ago · Last pushed almost 4 years ago

https://github.com/ASSERT-KTH/xPerturb/blob/master/

# xPerturb : runtime perturbation analysis tools for correctness attraction and randomization

See  [Correctness Attraction: A Study of Stability of Software Behavior Under Runtime Perturbation](https://hal.archives-ouvertes.fr/hal-01378523/file/correctness-attraction.pdf) (Benjamin Danglot, Philippe Preux, Benoit Baudry and Martin Monperrus), In Empirical Software Engineering, Springer Verlag, 2017.

```
@article{danglot2016correctness,
 title = {{Correctness Attraction: A Study of Stability of Software Behavior Under Runtime Perturbation}},
 author = {Danglot, Benjamin and Preux, Philippe and Baudry, Benoit and Monperrus, Martin},
 journal = {{Empirical Software Engineering}},
 publisher = {{Springer Verlag}},
 year = {2017},
 doi = {10.1007/s10664-017-9571-8},
}
```

## jPerturb
Perturbation analysis for Java code: https://github.com/KTH/xPerturb/tree/master/jPerturb

## cPerturb 
Perturbation analysis for C code: https://github.com/KTH/xPerturb/tree/master/cPerturb

## llvmPerturb
Perturbation analysis for LLVM IR:https://github.com/KTH/xPerturb/tree/master/llvmPerturb

Owner

Name: ASSERT
Login: ASSERT-KTH
Kind: organization
Location: Sweden

Website: https://github.com/ASSERT-KTH/
Repositories: 87
Profile: https://github.com/ASSERT-KTH

assertEquals("Research group at KTH Royal Institute of Technology, Stockholm, Sweden", description);

ecosyste.ms

Data

Tools

Indexes

Applications

Experiments

Open Source Science

https://github.com/assert-kth/xperturb

Science Score: 13.0%

Repository

Basic Info

Statistics

https://github.com/ASSERT-KTH/xPerturb/blob/master/

Owner

GitHub Events

Total

Last Year

Dependencies