Javascript is disabled in your browser. Please
enable Javascript
to view PeerJ.
February 2022
Table of Contents - PeerJ Computer Science
Sorted by downloads
Publication date
Downloads
Pageviews
Comp Sci
PeerJ - Medicine articles
PeerJ - Biology & Life science articles
PeerJ - General bio (stats, legal, policy, edu)
PeerJ Computer Science
PeerJ Preprints
software-engineering
theory-and-formal-methods
Login to save + alerts
February 24, 2022
starMC: an automata based CTL* model checker
Elvio Gilberto Amparore
,
Susanna Donatelli
,
Francesco Gallà
https://doi.org/10.7717/peerj-cs.823
February 11, 2022
Accelerating covering array generation by combinatorial join for industry scale software testing
Hiroshi Ukai
,
Xiao Qu
,
Hironori Washizaki
,
Yoshiaki Fukazawa
https://doi.org/10.7717/peerj-cs.720
← Previous
1
Next →
Archives - Computer Science
software-engineering
theory-and-formal-methods
2024
October
1
September
0
August
0
July
0
June
1
2023
November
1
October
0
September
1
August
1
July
0
June
0
May
0
April
0
March
1
February
1
2022
September
1
August
0
July
0
June
0
May
0
April
0
March
1
February
2
2021
2020
September
1
2019
2018
2017
2016
2015
November
1
Filter on subjects this month
software-engineering
2
theory-and-formal-methods
2
I told my colleagues that PeerJ is a journal where they need to publish if they want their paper to be published quickly and with the strict peer review expected from a good journal.
Sohath Vanegas,
PeerJ Author
View author feedback
