Publications of Test-Comp
Test-Comp 2022
-
Advances in Automatic Software Testing: Test-Comp 2022.
In Proc. FASE,
LNCS 13241,
pages 321-335,
2022.
Springer.
doi:10.1007/978-3-030-99429-7_18
Publisher's Version
PDF
BibTeX Entry
@inproceedings{TESTCOMP22, author = {D.~Beyer}, title = {Advances in Automatic Software Testing: {Test-Comp 2022}}, booktitle = {Proc.\ FASE}, pages = {321-335}, year = {2022}, series = {LNCS~13241}, publisher = {Springer}, doi = {10.1007/978-3-030-99429-7_18}, } -
FuSeBMC v.4: Smart Seed Generation for Hybrid Fuzzing (Competition Contribution).
In Proc. FASE,
LNCS 13241,
pages 336-340,
2022.
Springer.
doi:10.1007/978-3-030-99429-7_19
Publisher's Version
PDF
BibTeX Entry
@inproceedings{FUSEBMC-TESTCOMP22, author = {K.~Alshmrany and M.~Aldughaim and L.~Cordeiro and A.~Bhayat}, title = {{FuSeBMC v.4}: {S}mart Seed Generation for Hybrid Fuzzing (Competition Contribution)}, booktitle = {Proc.\ FASE}, pages = {336-340}, year = {2022}, series = {LNCS~13241}, publisher = {Springer}, doi = {10.1007/978-3-030-99429-7_19}, } -
VeriFuzz: Fuzz Centric Test Generation Tool (Competition Contribution).
In Proc. FASE,
LNCS 13241,
pages 341-346,
2022.
Springer.
doi:10.1007/978-3-030-99429-7_20
Publisher's Version
PDF
BibTeX Entry
@inproceedings{VERIFUZZ-TESTCOMP22, author = {R.~Metta and R.~K.~Medicherla and H.~Karmarkar}, title = {{VeriFuzz}: {F}uzz Centric Test Generation Tool (Competition Contribution)}, booktitle = {Proc.\ FASE}, pages = {341-346}, year = {2022}, series = {LNCS~13241}, publisher = {Springer}, doi = {10.1007/978-3-030-99429-7_20}, }
Test-Comp 2021
-
Status Report on Software Testing: Test-Comp 2021.
In Proc. FASE,
LNCS 12649,
pages 341-357,
2021.
Springer.
doi:10.1007/978-3-030-71500-7_17
Publisher's Version
PDF
BibTeX Entry
@inproceedings{TESTCOMP21, author = {D.~Beyer}, title = {Status Report on Software Testing: {Test-Comp 2021}}, booktitle = {Proc.\ FASE}, pages = {341-357}, year = {2021}, series = {LNCS~12649}, publisher = {Springer}, doi = {10.1007/978-3-030-71500-7_17}, } -
CoVeriTest with Adaptive Time Scheduling (Competition Contribution).
In Proc. FASE,
LNCS 12649,
pages 358-362,
2021.
Springer.
doi:10.1007/978-3-030-71500-7_18
Publisher's Version
PDF
BibTeX Entry
@inproceedings{COVERITEST-TESTCOMP21, author = {M.-C.~Jakobs and C.~Richter}, title = {{CoVeriTest} with Adaptive Time Scheduling (Competition Contribution)}, booktitle = {Proc.\ FASE}, pages = {358-362}, year = {2021}, series = {LNCS~12649}, publisher = {Springer}, doi = {10.1007/978-3-030-71500-7_18}, } -
FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution).
In Proc. FASE,
LNCS 12649,
pages 363-367,
2021.
Springer.
doi:10.1007/978-3-030-71500-7_19
Publisher's Version
PDF
BibTeX Entry
@inproceedings{FUSEBMC-TESTCOMP21, author = {K.~Alshmrany and R.~Menezes and M.~Gadelha and L.~Cordeiro}, title = {{FuSeBMC}: {A} White-Box Fuzzer for Finding Security Vulnerabilities in {C} Programs (Competition Contribution)}, booktitle = {Proc.\ FASE}, pages = {363-367}, year = {2021}, series = {LNCS~12649}, publisher = {Springer}, doi = {10.1007/978-3-030-71500-7_19}, } -
Symbiotic 8: Parallel and Targeted Test Generation (Competition Contribution).
In Proc. FASE,
LNCS 12649,
pages 368-372,
2021.
Springer.
doi:10.1007/978-3-030-71500-7_20
Publisher's Version
PDF
BibTeX Entry
@inproceedings{SYMBIOTIC-TESTCOMP21, author = {M.~Chalupa and J.~Novák and J.~Strejček}, title = {{Symbiotic 8}: {P}arallel and Targeted Test Generation (Competition Contribution)}, booktitle = {Proc.\ FASE}, pages = {368-372}, year = {2021}, series = {LNCS~12649}, publisher = {Springer}, doi = {10.1007/978-3-030-71500-7_20}, }
Test-Comp 2020
-
Second Competition on Software Testing: Test-Comp 2020.
In Proc. FASE,
LNCS 12076,
pages 505-519,
2020.
Springer.
doi:10.1007/978-3-030-45234-6_25
Publisher's Version
PDF
Supplement
BibTeX Entry
@inproceedings{TESTCOMP20, author = {D.~Beyer}, title = {Second Competition on Software Testing: {Test-Comp 2020}}, booktitle = {Proc.\ FASE}, pages = {505-519}, year = {2020}, series = {LNCS~12076}, publisher = {Springer}, doi = {10.1007/978-3-030-45234-6_25}, url = {https://www.sosy-lab.org/research/pub/2020-FASE.Second_Competition_on_Software_Testing_Test-Comp_2020.pdf}, } -
HybridTiger: Hybrid Model Checking and Domination-Based Partitioning for Efficient Multi-Goal Test-Suite Generation (Competition Contribution).
In Proc. FASE,
LNCS 12076,
pages 520-524,
2020.
Springer.
doi:10.1007/978-3-030-45234-6_26
Publisher's Version
PDF
BibTeX Entry
@inproceedings{HYBRIDTIGER-TESTCOMP20, author = {S.~Ruland and M.~Lochau and M.-C.~Jakobs}, title = {{HybridTiger}: {H}ybrid Model Checking and Domination-Based Partitioning for Efficient Multi-Goal Test-Suite Generation (Competition Contribution)}, booktitle = {Proc.\ FASE}, pages = {520-524}, year = {2020}, series = {LNCS~12076}, publisher = {Springer}, doi = {10.1007/978-3-030-45234-6_26}, } -
Esbmc: Scalable and Precise Test Generation Based on the Floating-Point Theory (Competition Contribution).
In Proc. FASE,
LNCS 12076,
pages 525-529,
2020.
Springer.
doi:10.1007/978-3-030-45234-6_27
Publisher's Version
PDF
BibTeX Entry
@inproceedings{ESBMCFALSI-TESTCOMP20, author = {M.~R.~Gadelha and R.~Menezes and F.~R.~Monteiro and L.~Cordeiro and D.~Nicole}, title = {{Esbmc}: {S}calable and Precise Test Generation Based on the Floating-Point Theory (Competition Contribution)}, booktitle = {Proc.\ FASE}, pages = {525-529}, year = {2020}, series = {LNCS~12076}, publisher = {Springer}, doi = {10.1007/978-3-030-45234-6_27}, } -
TracerX: Dynamic Symbolic Execution with Interpolation (Competition Contribution).
In Proc. FASE,
LNCS 12076,
pages 530-534,
2020.
Springer.
doi:10.1007/978-3-030-45234-6_28
Publisher's Version
PDF
BibTeX Entry
@inproceedings{TRACERX-TESTCOMP20, author = {J.~Jaffar and R.~Maghareh and S.~Godboley and X.-L.~Ha}, title = {{TracerX}: {D}ynamic Symbolic Execution with Interpolation (Competition Contribution)}, booktitle = {Proc.\ FASE}, pages = {530-534}, year = {2020}, series = {LNCS~12076}, publisher = {Springer}, doi = {10.1007/978-3-030-45234-6_28}, } -
Llvm-Based Hybrid Fuzzing with LibKluzzer (Competition Contribution).
In Proc. FASE,
LNCS 12076,
pages 535-539,
2020.
Springer.
doi:10.1007/978-3-030-45234-6_29
Publisher's Version
PDF
BibTeX Entry
@inproceedings{LIBKLUZZER-TESTCOMP20, author = {H.~M.~Le}, title = {{Llvm}-Based Hybrid Fuzzing with {LibKluzzer} (Competition Contribution)}, booktitle = {Proc.\ FASE}, pages = {535-539}, year = {2020}, series = {LNCS~12076}, publisher = {Springer}, doi = {10.1007/978-3-030-45234-6_29}, } -
CoVeriTest with Dynamic Partitioning of the Iteration Time Limit (Competition Contribution).
In Proc. FASE,
LNCS 12076,
pages 540-544,
2020.
Springer.
doi:10.1007/978-3-030-45234-6_30
Publisher's Version
PDF
BibTeX Entry
@inproceedings{COVERITEST-TESTCOMP20, author = {M.-C.~Jakobs}, title = {{CoVeriTest} with Dynamic Partitioning of the Iteration Time Limit (Competition Contribution)}, booktitle = {Proc.\ FASE}, pages = {540-544}, year = {2020}, series = {LNCS~12076}, publisher = {Springer}, doi = {10.1007/978-3-030-45234-6_30}, } -
Legion: Best-First Concolic Testing (Competition Contribution).
In Proc. FASE,
LNCS 12076,
pages 545-549,
2020.
Springer.
doi:10.1007/978-3-030-45234-6_31
Publisher's Version
PDF
BibTeX Entry
@inproceedings{LEGION-TESTCOMP20, author = {D.~Liu and G.~Ernst and T.~Murray and B.~Rubinstein}, title = {{Legion}: {B}est-First Concolic Testing (Competition Contribution)}, booktitle = {Proc.\ FASE}, pages = {545-549}, year = {2020}, series = {LNCS~12076}, publisher = {Springer}, doi = {10.1007/978-3-030-45234-6_31}, }
Test-Comp 2019
-
First International Competition on Software Testing (Test-Comp 2019).
Int. J. Softw. Tools Technol. Transf., 23(6):833-846,
December
2021.
Springer.
doi:10.1007/s10009-021-00613-3
Publisher's Version
PDF
Supplement
BibTeX Entry
@article{TESTCOMP19, author = {D.~Beyer}, title = {First International Competition on Software Testing ({Test-Comp 2019})}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {23}, number = {6}, pages = {833-846}, year = {2021}, publisher = {Springer}, doi = {10.1007/s10009-021-00613-3}, url = {https://www.sosy-lab.org/research/pub/2020-STTT.First_International_Competition_on_Software_Testing.pdf}, month = {December}, } -
CoVeriTest: Interleaving Value and Predicate Analysis for Test-Case Generation (Competition Contribution).
Int. J. Softw. Tools Technol. Transf., 23(6):847-851,
December
2021.
Springer.
doi:10.1007/s10009-020-00572-1
Publisher's Version
PDF
BibTeX Entry
@article{COVERITEST-TESTCOMP19, author = {M.-C.~Jakobs}, title = {{CoVeriTest}: {I}nterleaving Value and Predicate Analysis for Test-Case Generation (Competition Contribution)}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {23}, number = {6}, pages = {847-851}, year = {2021}, publisher = {Springer}, doi = {10.1007/s10009-020-00572-1}, month = {December}, } -
CPA/Tiger-MGP: Test-Goal Set Partitioning for Efficient Multi-Goal Test-Suite Generation (Competition Contribution).
Int. J. Softw. Tools Technol. Transf., 23(6):853-856,
December
2021.
Springer.
doi:10.1007/s10009-020-00574-z
Publisher's Version
PDF
BibTeX Entry
@article{CPATIGER-TESTCOMP19, author = {S.~Ruland and M.~Lochau and O.~Fehse and A.~Schürr}, title = {{CPA/Tiger-MGP}: {T}est-Goal Set Partitioning for Efficient Multi-Goal Test-Suite Generation (Competition Contribution)}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {23}, number = {6}, pages = {853-856}, year = {2021}, publisher = {Springer}, doi = {10.1007/s10009-020-00574-z}, month = {December}, } -
Esbmc 6.1: Automated Test-Case Generation using Bounded Model Checking (Competition Contribution).
Int. J. Softw. Tools Technol. Transf., 23(6):857-861,
December
2021.
Springer.
doi:10.1007/s10009-020-00571-2
Publisher's Version
PDF
BibTeX Entry
@article{ESBMC-TESTCOMP19, author = {M.~R.~Gadelha and R.~Menezes and L.~Cordeiro}, title = {{Esbmc} 6.1: {A}utomated Test-Case Generation using Bounded Model Checking (Competition Contribution)}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {23}, number = {6}, pages = {857-861}, year = {2021}, publisher = {Springer}, doi = {10.1007/s10009-020-00571-2}, month = {December}, } -
FairFuzz-TC: A Fuzzer Targeting Rare Branches (Competition Contribution).
Int. J. Softw. Tools Technol. Transf., 23(6):863-866,
December
2021.
Springer.
doi:10.1007/s10009-020-00569-w
Publisher's Version
PDF
BibTeX Entry
@article{FAIRFUZZ-TESTCOMP19, author = {C.~Lemieux and K.~Sen}, title = {{FairFuzz-TC}: {A} Fuzzer Targeting Rare Branches (Competition Contribution)}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {23}, number = {6}, pages = {863-866}, year = {2021}, publisher = {Springer}, doi = {10.1007/s10009-020-00569-w}, month = {December}, } -
Klee Symbolic Execution Engine in 2019 (Competition Contribution).
Int. J. Softw. Tools Technol. Transf., 23(6):867 - 870,
December
2021.
Springer.
doi:10.1007/s10009-020-00570-3
Publisher's Version
PDF
BibTeX Entry
@article{KLEE-TESTCOMP19, author = {C.~Cadar and M.~Nowack}, title = {{Klee} Symbolic Execution Engine in 2019 (Competition Contribution)}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {23}, number = {6}, pages = {867 - 870}, year = {2021}, publisher = {Springer}, doi = {10.1007/s10009-020-00570-3}, month = {December}, } -
Plain Random Test Generation with PRTest (Competition Contribution).
Int. J. Softw. Tools Technol. Transf., 23(6):871-873,
December
2021.
Springer.
doi:10.1007/s10009-020-00568-x
Publisher's Version
PDF
BibTeX Entry
@article{PRTEST-TESTCOMP19, author = {T.~Lemberger}, title = {Plain Random Test Generation with {PRTest} (Competition Contribution)}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {23}, number = {6}, pages = {871-873}, year = {2021}, publisher = {Springer}, doi = {10.1007/s10009-020-00568-x}, month = {December}, } -
Symbiotic 6: Generating Test-Cases by Slicing and Symbolic Execution (Competition Contribution).
Int. J. Softw. Tools Technol. Transf., 23(6):875-877,
December
2021.
Springer.
doi:10.1007/s10009-020-00573-0
Publisher's Version
PDF
BibTeX Entry
@article{SYMBIOTIC-TESTCOMP19, author = {M.~Chalupa and M.~Vitovska and T.~Jašek and M.~Šimáček and J.~Strejček}, title = {{Symbiotic} 6: {G}enerating Test-Cases by Slicing and Symbolic Execution (Competition Contribution)}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {23}, number = {6}, pages = {875-877}, year = {2021}, publisher = {Springer}, doi = {10.1007/s10009-020-00573-0}, month = {December}, }
-
Competition on Software Testing (Test-Comp).
In Proc. TACAS (3),
LNCS 11429,
pages 167-175,
2019.
Springer.
doi:10.1007/978-3-030-17502-3_11
Publisher's Version
PDF
BibTeX Entry
@inproceedings{TESTCOMP, author = {D.~Beyer}, title = {Competition on Software Testing ({Test-Comp})}, booktitle = {Proc.\ TACAS~(3)}, pages = {167-175}, year = {2019}, series = {LNCS~11429}, publisher = {Springer}, doi = {10.1007/978-3-030-17502-3_11}, }