Use Case Testing: A Constrained Active Machine Leaming Approach

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	TAP (15. : 2021 : Online) Tests and Proofs
1. Verfasser:	Meinke, Karl (VerfasserIn)
Weitere Verfasser:	Khosrowjerdi, Hojat (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2021
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Titel	Jahr	Verfasser
Using a Guided Fuzzer and Preconditions to Achieve Branch Coverage with Valid Inputs	2021	Nilizadeh, Amirfarhad
Generating Timed UI Tests from Counterexamples	2021	Diner, Dominik
Architecture-Guided Test Resource Allocation via Logic	2021	Eberhart, Clovis
Use Case Testing: A Constrained Active Machine Leaming Approach	2021	Meinke, Karl
A Benchmarks Library for Extended Parametric Timed Automata	2021	Marinho,, Etienne Andre, Dylan
FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs	2021	Alshmrany, Kaled M.