Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID15th TAP@STAF 2021: Virtual Event
- Frédéric Loulergue
, Franz Wotawa:
Tests and Proofs - 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21-22, 2021, Proceedings. Lecture Notes in Computer Science 12740, Springer 2021, ISBN 978-3-030-79378-4
Learning, Test Resource Allocation and Benchmarks
- Karl Meinke, Hojat Khosrowjerdi:
Use Case Testing: A Constrained Active Machine Learning Approach. 3-21 - Clovis Eberhart, Akihisa Yamada, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa:
Architecture-Guided Test Resource Allocation via Logic. 22-38 - Étienne André, Dylan Marinho, Jaco van de Pol:
A Benchmarks Library for Extended Parametric Timed Automata. 39-50
Testing
- Dominik Diner, Gordon Fraser, Sebastian Schweikl, Andreas Stahlbauer:
Generating Timed UI Tests from Counterexamples. 53-71 - Amirfarhad Nilizadeh, Gary T. Leavens, Corina S. Pasareanu:
Using a Guided Fuzzer and Preconditions to Achieve Branch Coverage with Valid Inputs. 72-84 - Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro:
FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs. 85-105
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-10-03 00:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
