TAP@STAF

Keyphrases

Publications

2022

volume 13361, 2022

Tests and Proofs - 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings TAP@STAF 13361 (2022)

2021

Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro
FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs. TAP@STAF (2021)
Étienne André, Dylan Marinho, Jaco van de Pol
A Benchmarks Library for Extended Parametric Timed Automata. TAP@STAF (2021)
Dominik Diner, Gordon Fraser, Sebastian Schweikl, Andreas Stahlbauer
Generating Timed UI Tests from Counterexamples. TAP@STAF (2021)
Karl Meinke, Hojat Khosrowjerdi
Use Case Testing: A Constrained Active Machine Learning Approach. TAP@STAF (2021)
Clovis Eberhart, Akihisa Yamada, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa
Architecture-Guided Test Resource Allocation via Logic. TAP@STAF (2021)
Amirfarhad Nilizadeh, Gary T. Leavens, Corina S. Pasareanu
Using a Guided Fuzzer and Preconditions to Achieve Branch Coverage with Valid Inputs. TAP@STAF (2021)

volume 12740, 2021

Tests and Proofs - 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21-22, 2021, Proceedings TAP@STAF 12740 (2021)

2020

volume 12165, 2020

Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed] TAP@STAF 12165 (2020)

2018

volume 10889, 2018

Tests and Proofs - 12th International Conference, TAP@STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings TAP@STAF 10889 (2018)

2017

volume 10375, 2017

Tests and Proofs - 11th International Conference, TAP@STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings TAP@STAF 10375 (2017)

volume 9762, 2016

Tests and Proofs - 10th International Conference, TAP@STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings TAP@STAF 9762 (2016)