Works matching IS 14332779 AND DT 2021 AND VI 23 AND IP 6

Results: 15

TOOLympics II: competitions on formal methods: A Special Issue for TOOLympics 2019.

Published in:

International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 6, p. 879, doi. 10.1007/s10009-021-00631-1

By:

Beyer, Dirk;
Huisman, Marieke;
Kordon, Fabrice;
Steffen, Bernhard

Publication type:

Article

CoVeriTest: interleaving value and predicate analysis for test-case generation.

Published in:

International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 6, p. 847, doi. 10.1007/s10009-020-00572-1

By:

Jakobs, Marie-Christine

Publication type:

Article

SL-COMP: competition of solvers for separation logic: Report on the Third Edition.

Published in:

International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 6, p. 895, doi. 10.1007/s10009-021-00628-w

By:

Sighireanu, Mihaela

Publication type:

Article

CoCo 2019: report on the eighth confluence competition.

Published in:

International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 6, p. 905, doi. 10.1007/s10009-021-00620-4

By:

Middeldorp, Aart;
Nagele, Julian;
Shintani, Kiraku

Publication type:

Article

First international competition on software testing.

Published in:

International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 6, p. 833, doi. 10.1007/s10009-021-00613-3

By:

Beyer, Dirk

Publication type:

Article

TOOLympics I: Competition on software testing: A special issue for Test-Comp 2019.

Published in:

International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 6, p. 829, doi. 10.1007/s10009-021-00611-5

By:

Beyer, Dirk;
Huisman, Marieke

Publication type:

Article

VerifyThis 2019: a program verification competition.

Published in:

International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 6, p. 883, doi. 10.1007/s10009-021-00619-x

By:

Dross, Claire;
Furia, Carlo A;
Huisman, Marieke;
Monahan, Rosemary;
Müller, Peter

Publication type:

Article

The RERS challenge: towards controllable and scalable benchmark synthesis.

Published in:

International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 6, p. 917, doi. 10.1007/s10009-021-00617-z

By:

Howar, Falk;
Jasper, Marc;
Mues, Malte;
Schmidt, David;
Steffen, Bernhard

Publication type:

Article

Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019.

Published in:

International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 6, p. 931, doi. 10.1007/s10009-021-00615-1

By:

Kordon, Fabrice;
Hillah, Lom Messan;
Hulin-Hubard, Francis;
Jezequel, Loïg;
Paviot-Adet, Emmanuel

Publication type:

Article

ESBMC 6.1: automated test case generation using bounded model checking.

Published in:

International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 6, p. 857, doi. 10.1007/s10009-020-00571-2

By:

Gadelha, Mikhail R.;
Menezes, Rafael S.;
Cordeiro, Lucas C.

Publication type:

Article

CPA/Tiger-MGP: test-goal set partitioning for efficient multi-goal test-suite generation.

Published in:

International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 6, p. 853, doi. 10.1007/s10009-020-00574-z

By:

Ruland, Sebastian;
Lochau, Malte;
Fehse, Oliver;
Schürr, Andy

Publication type:

Article

Symbiotic 6: generating test cases by slicing and symbolic execution.

Published in:

International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 6, p. 875, doi. 10.1007/s10009-020-00573-0

By:

Chalupa, Marek;
Vitovská, Martina;
Jašek, Tomáš;
Šimáček, Michael;
Strejček, Jan

Publication type:

Article

KLEE symbolic execution engine in 2019.

Published in:

International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 6, p. 867, doi. 10.1007/s10009-020-00570-3

By:

Cadar, Cristian;
Nowack, Martin

Publication type:

Article

FairFuzz-TC: a fuzzer targeting rare branches.

Published in:

International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 6, p. 863, doi. 10.1007/s10009-020-00569-w

By:

Lemieux, Caroline;
Sen, Koushik

Publication type:

Article

Plain random test generation with PRTest.

Published in:

International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 6, p. 871, doi. 10.1007/s10009-020-00568-x

By:

Lemberger, Thomas

Publication type:

Article